Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
IEEE Intelligent Systems
The Description Logic Handbook
The Description Logic Handbook
Instance-based retrieval by analogy
Proceedings of the 2007 ACM symposium on Applied computing
Query answering and ontology population: an inductive approach
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Hi-index | 0.00 |
We present a classification method, founded in the instance-based learning and the disjunctive version space approach, for performing approximate retrieval from knowledge bases expressed in Description Logics. The method supplies answers even if the knowledge base of reference is inconsistent or incomplete. Moreover, the method may also induce new knowledge that can be suggested to the knowledge engineer, thus making the ontology population task semi-automatic.