140 search results - page 2 / 28 » On Expressive Number Restrictions in Description Logics |
DLOG
2001
14 years 11 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...
DLOG
2003
14 years 11 months ago
2003
In a previous paper we have investigated subsumption in the presence of terminological cycles for the description logic EL, which allows conjunctions, existential restrictions, an...
79
Voted
DLOG
2004
14 years 11 months ago
2004
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
104
click to vote
DLOG
2001
14 years 11 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
JAIR
2007
14 years 9 months ago
2007
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...