1462 search results - page 25 / 293 » Autoepistemic Description Logics |
107
click to vote
LPAR
2004
Springer
15 years 7 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...
116
Voted
DLOG
2004
15 years 3 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...
MEDINFO
2007
15 years 3 months ago
2007
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
101
Voted
CADE
2005
Springer
15 years 7 months ago
2005
Springer
81
Voted
CADE
2009
Springer
15 years 6 months ago
2009
Springer