KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results
Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results
A machine program for theorem-proving
Communications of the ACM
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
A terminological logic with defaults: a definition and an application
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
How to prefer more specific defaults in terminological default logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On evaluating decision procedures for modal logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Hi-index | 0.00 |
Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of individuals as belonging to a concept based on some approximate match to a prototypical descriptor has been a recurring application issue as description logics support only strict subsumption reasoning. Expression of concepts as a disjunction of each possible combination of sufficient prototypical features has previously been infeasible due to computational cost. Recent optimisations have greatly improved disjunctive reasoning in description logic systems and this work explores whether these are sufficient to allow the heavy use of disjunction for approximate matching. The positive results obtained support further exploration of the representation proposed within real applications.