Towards Even More Irresistible Axiom Weakening

In Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti & Nicolas Toquard (eds.), Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event, Rhodes, Greece. (2020)
  Copy   BIBTEX


Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure.



External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A minimal classical sequent calculus free of structural rules.Dominic Hughes - 2010 - Annals of Pure and Applied Logic 161 (10):1244-1253.
Strong analogues of Martin's axiom imply axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
The Bounded Axiom A Forcing Axiom.Thilo Weinert - 2010 - Mathematical Logic Quarterly 56 (6):659-665.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.


Added to PP

158 (#121,170)

6 months
75 (#64,295)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Daniele Porello
Università degli Studi di Genova

Citations of this work

No citations found.

Add more citations

References found in this work

An Introduction to Description Logic.Franz Baader, Ian Horrocks, Carsten Lutz & Uli Sattler - 2017 - Cambridge, England: Cambridge University Press.

Add more references