1317 search results - page 10 / 264 » Fusions of Description Logics and Abstract Description Syste... |
113
click to vote
AISC
1998
Springer
15 years 3 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
153
click to vote
APWEB
2011
Springer
14 years 6 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...
105
click to vote
DLOG
2001
15 years 1 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
FLOPS
2010
Springer
15 years 6 months ago
2010
Springer
AI
2004
Springer
14 years 11 months ago
2004
Springer
