Abstract | ||
---|---|---|
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the ordered description logic OSHOQ(D) as a simple decidable extension of SHOQ(D) that supports the direct definition of a preference order on defeasible axioms, thus allowing for a succinct and intuitive expression of defeasible ontologies, containing e.g. exceptions for certain axioms. We demonstrate the usefulness of OSHOQ(D) for solving inconsistencies that may appear e.g. when merging existing ontologies. We present an algorithm that, based on concrete examples of facts that should be true, produces minimal preference orderings on the axioms, in order to make an otherwise inconsistent knowledge base consistent. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1109/DEXA.2002.1045881 | DEXA Workshops |
Keywords | Field | DocType |
certain axiom,associated reasoning procedure,description logic,defeasible axiom,description logic oshoq,concrete example,defeasible ontology,preference order,minimal preference ordering,direct definition,knowledge base,formal semantics,semantic networks,decidability,nonmonotonic reasoning | Knowledge representation and reasoning,Computer science,Axiom,Description logic,Theoretical computer science,Decidability,Non-monotonic logic,Defeasible estate,Web Ontology Language,Ontology language | Conference |
ISSN | ISBN | Citations |
1529-4188 | 0-7695-1668-8 | 2 |
PageRank | References | Authors |
0.52 | 12 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Heymans, S. | 1 | 2 | 0.52 |
Dirk Vermeir | 2 | 694 | 85.34 |