1285 search results - page 6 / 257 » Description Logic Reasoner: System Description |
DLOG
2007
15 years 1 months ago
2007
ICEIS
2006
IEEE
15 years 5 months ago
2006
IEEE
CADE
2002
Springer
15 years 12 months ago
2002
Springer
DLOG
2004
15 years 1 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...
101
click to vote
KR
1998
Springer
15 years 3 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...