Preferential default reasoning on the semantic web

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

The world of the Semantic Web includes many inconsistent knowledge bases, whose axioms are often unreliable and can therefore be naturally interpreted as defaults. In this article we introduce an extension of Sengupta et. al.'s semantics [12] with a preference order on the defaults with respect to satisfaction. In particular, the semantics we propose is an improved version of Heymans et. al.'s semantics [8] for a defeasible ontology language. One crucial difference we adopt is that the preference relation between interpretations is not only defined with respect to the same individuals, but any. We provide an algorithm to translate the entailment problem with respect to ordered default knowledge bases to the one for classical knowledge bases, and show its soundness and completeness. As a practical application scenario, we test our algorithm on various subsets of LOD Cloud, and report on our result.

Original languageEnglish
Title of host publicationDescription Logics DL 2018
Subtitle of host publicationProceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, Arizona, US, October 27thto 29th, 2018
EditorsMagdalena Ortiz, Thomas Schneider
Pages1-12
Number of pages12
Publication statusPublished - 2018
Event31st International Workshop on Description Logics, DL 2018 - Tempe, United States
Duration: 27 Oct 201829 Oct 2018

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR
Volume2211
ISSN (Print)1613-0073

Conference

Conference31st International Workshop on Description Logics, DL 2018
CountryUnited States
CityTempe
Period27/10/1829/10/18

Keywords

  • Default Reasoning
  • Inconsistency
  • LOD Laundromat

Fingerprint Dive into the research topics of 'Preferential default reasoning on the semantic web'. Together they form a unique fingerprint.

Cite this