By Topic

Using preference order in ontologies

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Heymans, S. ; Dept. of Comput. Sci., Free Univ. of Brussels, Belgium ; Vermeir, D.

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.

Published in:

Database and Expert Systems Applications, 2002. Proceedings. 13th International Workshop on

Date of Conference:

2-6 Sept. 2002