2381 search results - page 1 / 477 » On Ordering Descriptions in a Description Logic |
DLOG
2007
13 years 7 months ago
2007
We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...
CADE
1998
Springer
13 years 8 months ago
1998
Springer
DLOG
2003
13 years 6 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
DLOG
2007
13 years 7 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
CADE
2006
Springer
14 years 4 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...