3032 search results - page 26 / 607 » Description Logic Rules |
EUSFLAT
2009
13 years 5 months ago
2009
EUSFLAT
2009
13 years 5 months ago
2009
DLOG
2007
13 years 10 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
2006
Springer
14 years 8 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...
AISC
1998
Springer
13 years 12 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...