1317 search results - page 10 / 264 » Fusions of Description Logics and Abstract Description Syste... |
AISC
1998
Springer
14 years 20 days 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...
APWEB
2011
Springer
13 years 3 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
2001
13 years 9 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
14 years 3 months ago
2010
Springer
AI
2004
Springer
13 years 8 months ago
2004
Springer
