346 search results - page 12 / 70 » Optimizing Terminological Reasoning for Expressive Descripti... |
CORR
2000
Springer
13 years 7 months ago
2000
Springer
JELIA
2004
Springer
14 years 23 days ago
2004
Springer
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
DLOG
2009
13 years 5 months ago
2009
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
DLOG
2007
13 years 9 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
DLOG
2001
13 years 8 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...