1544 search results - page 13 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
KR
2010
Springer
14 years 4 days ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
DLOG
2006
13 years 8 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
DLOG
2003
13 years 8 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
DLOG
1998
13 years 8 months ago
1998
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...