1835 search results - page 6 / 367 » Classifying Description Logics |
CADE
1998
Springer
15 years 1 months ago
1998
Springer
CADE
2006
Springer
15 years 1 months ago
2006
Springer
72
Voted
DLOG
2007
14 years 11 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
DLOG
1998
14 years 10 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
DLOG
2003
14 years 11 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...