Authors
Daniele Porello
CNR (National Research Council of Italy)
Abstract
Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms.
Keywords Consistency  Logic  Description Logic  Axiom
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ontological Categories in GOL.Barbara Heller & Heinrich Herre - 2004 - Axiomathes 14 (1-3):57-76.
Formal Ontologies in Biomedical Knowledge Representation.S. Schulz & L. Jansen - 2013 - In M.-C. Jaulent, C. U. Lehmann & B. Séroussi (eds.), Yearbook of Medical Informatics 8. pp. 132-146.
On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.
Strengths and Limitations of Formal Ontologies in the Biomedical Domain.Barry Smith - 2009 - Electronic Journal of Communication, Information and Innovation in Health 3 (1):31-45.

Analytics

Added to PP index
2019-09-18

Total views
35 ( #271,983 of 2,326,024 )

Recent downloads (6 months)
14 ( #43,381 of 2,326,024 )

How can I increase my downloads?

Downloads

My notes