1544 search results - page 4 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
DLOG
2006
13 years 8 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
14 years 7 months ago
2002
Springer
CADE
2001
Springer
14 years 7 months ago
2001
Springer
CADE
2008
Springer
14 years 7 months ago
2008
Springer
KR
2004
Springer
14 years 21 days 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...