2 search results - page 1 / 1 » A Tableau Algorithm for Paraconsistent and Nonmonotonic Reas... |
APWEB
2011
Springer
12 years 11 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...
DLOG
2006
13 years 5 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...