9145 search results - page 3 / 1829 » Description Logic Systems |
CADE
2002
Springer
14 years 6 months ago
2002
Springer
AISC
1998
Springer
13 years 10 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...
DLOG
2007
13 years 8 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
MEDINFO
2007
13 years 7 months ago
2007
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
APWEB
2011
Springer
13 years 1 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...