1087 search results - page 12 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
ELP
1989
15 years 1 months ago
1989
CSL
1998
Springer
14 years 9 months ago
1998
Springer
KR
2000
Springer
15 years 1 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
125
click to vote
APWEB
2011
Springer
14 years 4 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
SWAP
2008
14 years 11 months ago
2008
Abstract. The limitations of deductive logic-based approaches at deriving operational knowledge from ontologies may be overcome by inductive (instancebased) methods, which are usua...