1544 search results - page 4 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
DLOG
2006
14 years 11 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
CADE
2002
Springer
15 years 9 months ago
2002
Springer
CADE
2001
Springer
15 years 9 months ago
2001
Springer
CADE
2008
Springer
15 years 9 months ago
2008
Springer
KR
2004
Springer
15 years 2 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...