2381 search results - page 27 / 477 » On Ordering Descriptions in a Description Logic |
LPAR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
110
click to vote
RR
2010
Springer
14 years 10 months ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
104
click to vote
DLOG
2007
15 years 2 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
CADE
2005
Springer
15 years 5 months ago
2005
Springer
CADE
2009
Springer
15 years 4 months ago
2009
Springer