Preferential default reasoning on the semantic web

Rafael Kiesel; Erman Acar; Stefan Schlobach

Preferential default reasoning on the semantic web

Rafael Kiesel
, Erman Acar
, Stefan Schlobach

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	DL 2018 - Description Logics DL 2018
Subtitle of host publication	Proceedings 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
Editors	Magdalena Ortiz, Thomas Schneider
Publisher	CEUR Workshop Proceedings
Pages	1-12
Number of pages	12
Publication status	Published - 2018
Event	31st International Workshop on Description Logics, DL 2018 - Tempe, United States Duration: 27 Oct 2018 → 29 Oct 2018

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR
Volume	2211
ISSN (Print)	1613-0073

Conference

Conference	31st International Workshop on Description Logics, DL 2018
Country/Territory	United States
City	Tempe
Period	27/10/18 → 29/10/18

Keywords

Default Reasoning
Inconsistency
LOD Laundromat

Access to Document

http://ceur-ws.org/Vol-2211/paper-20.pdf

Persistent URL (handle)

Persistent link

Cite this

Kiesel, R., Acar, E., & Schlobach, S. (2018). Preferential default reasoning on the semantic web. In M. Ortiz, & T. Schneider (Eds.), DL 2018 - Description Logics DL 2018: Proceedings 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 (pp. 1-12). (CEUR Workshop Proceedings; Vol. 2211). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-2211/paper-20.pdf

Kiesel, Rafael ; Acar, Erman ; Schlobach, Stefan. / Preferential default reasoning on the semantic web. DL 2018 - Description Logics DL 2018: Proceedings 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. editor / Magdalena Ortiz ; Thomas Schneider. CEUR Workshop Proceedings, 2018. pp. 1-12 (CEUR Workshop Proceedings).

@inproceedings{ab495dce03a24b03837c00dead182219,

title = "Preferential default reasoning on the semantic web",

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.",

keywords = "Default Reasoning, Inconsistency, LOD Laundromat",

author = "Rafael Kiesel and Erman Acar and Stefan Schlobach",

year = "2018",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR Workshop Proceedings",

pages = "1--12",

editor = "Magdalena Ortiz and Thomas Schneider",

booktitle = "DL 2018 - Description Logics DL 2018",

address = "Germany",

note = "31st International Workshop on Description Logics, DL 2018 ; Conference date: 27-10-2018 Through 29-10-2018",

}

Kiesel, R, Acar, E & Schlobach, S 2018, Preferential default reasoning on the semantic web. in M Ortiz & T Schneider (eds), DL 2018 - Description Logics DL 2018: Proceedings 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. CEUR Workshop Proceedings, vol. 2211, CEUR Workshop Proceedings, pp. 1-12, 31st International Workshop on Description Logics, DL 2018, Tempe, United States, 27/10/18. <http://ceur-ws.org/Vol-2211/paper-20.pdf >

Preferential default reasoning on the semantic web. / Kiesel, Rafael; Acar, Erman; Schlobach, Stefan.
DL 2018 - Description Logics DL 2018: Proceedings 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. ed. / Magdalena Ortiz; Thomas Schneider. CEUR Workshop Proceedings, 2018. p. 1-12 (CEUR Workshop Proceedings; Vol. 2211).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Preferential default reasoning on the semantic web

AU - Kiesel, Rafael

AU - Acar, Erman

AU - Schlobach, Stefan

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Default Reasoning

KW - Inconsistency

KW - LOD Laundromat

UR - https://www.scopus.com/pages/publications/85056808691

UR - https://www.scopus.com/pages/publications/85056808691#tab=citedBy

UR - http://ceur-ws.org/Vol-2211

M3 - Conference contribution

AN - SCOPUS:85056808691

T3 - CEUR Workshop Proceedings

SP - 1

EP - 12

BT - DL 2018 - Description Logics DL 2018

A2 - Ortiz, Magdalena

A2 - Schneider, Thomas

PB - CEUR Workshop Proceedings

T2 - 31st International Workshop on Description Logics, DL 2018

Y2 - 27 October 2018 through 29 October 2018

ER -

Kiesel R, Acar E, Schlobach S. Preferential default reasoning on the semantic web. In Ortiz M, Schneider T, editors, DL 2018 - Description Logics DL 2018: Proceedings 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. CEUR Workshop Proceedings. 2018. p. 1-12. (CEUR Workshop Proceedings). Epub 2018 Oct 30.

Preferential default reasoning on the semantic web

Abstract

Publication series

Conference

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this