Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies

Tobias Kaminski; Matthias Knorr; João Leite

Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies

Tobias Kaminski, Matthias Knorr, João Leite

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Description Logic (DL) based ontologies and nonmonotonic rules provide complementary features whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which combine both formalisms, for large real-world applications, often integrating knowledge originating from different sources, inconsistencies can easily occur. These commonly trivialize standard reasoning and prevent us from drawing any meaningful conclusions. When restoring consistency by changing the KB is not possible, paraconsistent reasoning offers an alternative by allowing us to obtain meaningful conclusions from its consistent part. In this paper, we address the problem of efficiently obtaining meaningful conclusions from (possibly inconsistent) hybrid KBs. To this end, we define two paraconsistent semantics for hybrid KBs which, beyond their differentiating properties, are faithful to well-known paraconsistent semantics as well as the non-paraconsistent logic they extend, and tractable if reasoning in the DL component is.

Original language	English
Title of host publication	Proceedings of the Joint Ontology Workshops 2015 (JOWO 2015) - Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015)
Editors	L. Garcia, T. Meyer, S. Borgo, S. Benferhat, E. Ferme, D. Porello, K. Baclawski, A. Krisnadhi, P. Klinov, T. Hahmann, O. Papini, M. Mugnier, R. Wassermann, O. Kutz
Publisher	CEUR-WS.org
Publication status	Published - 2015
Event	Joint Ontology Workshops (JOWO 2015) - Buenos Aires, Argentina Duration: 25 Jul 2015 → 27 Jul 2015

Publication series

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

Conference

Conference	Joint Ontology Workshops (JOWO 2015)
Abbreviated title	JOWO 2015
Country	Argentina
City	Buenos Aires
Period	25/07/15 → 27/07/15

Keywords

Artificial intelligence
Data description
Reconfigurable hardware
Semantics

Access to Document

Fingerprint Dive into the research topics of 'Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies'. Together they form a unique fingerprint.

Cite this

Kaminski, T., Knorr, M., & Leite, J. (2015). Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies. In L. Garcia, T. Meyer, S. Borgo, S. Benferhat, E. Ferme, D. Porello, K. Baclawski, A. Krisnadhi, P. Klinov, T. Hahmann, O. Papini, M. Mugnier, R. Wassermann, & O. Kutz (Eds.), Proceedings of the Joint Ontology Workshops 2015 (JOWO 2015) - Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (CEUR Workshop Proceedings; Vol. 1517). CEUR-WS.org.

Kaminski, Tobias ; Knorr, Matthias ; Leite, João. / Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies. Proceedings of the Joint Ontology Workshops 2015 (JOWO 2015) - Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). editor / L. Garcia ; T. Meyer ; S. Borgo ; S. Benferhat ; E. Ferme ; D. Porello ; K. Baclawski ; A. Krisnadhi ; P. Klinov ; T. Hahmann ; O. Papini ; M. Mugnier ; R. Wassermann ; O. Kutz. CEUR-WS.org, 2015. (CEUR Workshop Proceedings).

@inproceedings{c7d59d870a4b4d1eadc123ffb6a80ba2,

title = "Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies",

abstract = "Description Logic (DL) based ontologies and nonmonotonic rules provide complementary features whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which combine both formalisms, for large real-world applications, often integrating knowledge originating from different sources, inconsistencies can easily occur. These commonly trivialize standard reasoning and prevent us from drawing any meaningful conclusions. When restoring consistency by changing the KB is not possible, paraconsistent reasoning offers an alternative by allowing us to obtain meaningful conclusions from its consistent part. In this paper, we address the problem of efficiently obtaining meaningful conclusions from (possibly inconsistent) hybrid KBs. To this end, we define two paraconsistent semantics for hybrid KBs which, beyond their differentiating properties, are faithful to well-known paraconsistent semantics as well as the non-paraconsistent logic they extend, and tractable if reasoning in the DL component is.",

keywords = "Artificial intelligence , Data description , Reconfigurable hardware , Semantics",

author = "Tobias Kaminski and Matthias Knorr and Jo{\~a}o Leite",

note = "Sem PDF.; Joint Ontology Workshops (JOWO 2015), JOWO 2015 ; Conference date: 25-07-2015 Through 27-07-2015",

year = "2015",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

editor = "L. Garcia and T. Meyer and S. Borgo and S. Benferhat and E. Ferme and D. Porello and K. Baclawski and A. Krisnadhi and P. Klinov and T. Hahmann and O. Papini and M. Mugnier and R. Wassermann and O. Kutz",

booktitle = "Proceedings of the Joint Ontology Workshops 2015 (JOWO 2015) - Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015)",

}

Kaminski, T, Knorr, M & Leite, J 2015, Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies. in L Garcia, T Meyer, S Borgo, S Benferhat, E Ferme, D Porello, K Baclawski, A Krisnadhi, P Klinov, T Hahmann, O Papini, M Mugnier, R Wassermann & O Kutz (eds), Proceedings of the Joint Ontology Workshops 2015 (JOWO 2015) - Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). CEUR Workshop Proceedings, vol. 1517, CEUR-WS.org, Joint Ontology Workshops (JOWO 2015), Buenos Aires, Argentina, 25/07/15.

Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies. / Kaminski, Tobias; Knorr, Matthias ; Leite, João.

Proceedings of the Joint Ontology Workshops 2015 (JOWO 2015) - Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). ed. / L. Garcia; T. Meyer; S. Borgo; S. Benferhat; E. Ferme; D. Porello; K. Baclawski; A. Krisnadhi; P. Klinov; T. Hahmann; O. Papini; M. Mugnier; R. Wassermann; O. Kutz. CEUR-WS.org, 2015. (CEUR Workshop Proceedings; Vol. 1517).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies

AU - Kaminski, Tobias

AU - Knorr, Matthias

AU - Leite, João

N1 - Sem PDF.

PY - 2015

Y1 - 2015

N2 - Description Logic (DL) based ontologies and nonmonotonic rules provide complementary features whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which combine both formalisms, for large real-world applications, often integrating knowledge originating from different sources, inconsistencies can easily occur. These commonly trivialize standard reasoning and prevent us from drawing any meaningful conclusions. When restoring consistency by changing the KB is not possible, paraconsistent reasoning offers an alternative by allowing us to obtain meaningful conclusions from its consistent part. In this paper, we address the problem of efficiently obtaining meaningful conclusions from (possibly inconsistent) hybrid KBs. To this end, we define two paraconsistent semantics for hybrid KBs which, beyond their differentiating properties, are faithful to well-known paraconsistent semantics as well as the non-paraconsistent logic they extend, and tractable if reasoning in the DL component is.

AB - Description Logic (DL) based ontologies and nonmonotonic rules provide complementary features whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which combine both formalisms, for large real-world applications, often integrating knowledge originating from different sources, inconsistencies can easily occur. These commonly trivialize standard reasoning and prevent us from drawing any meaningful conclusions. When restoring consistency by changing the KB is not possible, paraconsistent reasoning offers an alternative by allowing us to obtain meaningful conclusions from its consistent part. In this paper, we address the problem of efficiently obtaining meaningful conclusions from (possibly inconsistent) hybrid KBs. To this end, we define two paraconsistent semantics for hybrid KBs which, beyond their differentiating properties, are faithful to well-known paraconsistent semantics as well as the non-paraconsistent logic they extend, and tractable if reasoning in the DL component is.

KW - Artificial intelligence

KW - Data description

KW - Reconfigurable hardware

KW - Semantics

UR - http://www.scopus.com/inward/record.url?scp=84961177526&partnerID=8YFLogxK

UR - http://conf/ijcai/2015jowo

M3 - Conference contribution

AN - SCOPUS:84961177526

T3 - CEUR Workshop Proceedings

BT - Proceedings of the Joint Ontology Workshops 2015 (JOWO 2015) - Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015)

A2 - Garcia, L.

A2 - Meyer, T.

A2 - Borgo, S.

A2 - Benferhat, S.

A2 - Ferme, E.

A2 - Porello, D.

A2 - Baclawski, K.

A2 - Krisnadhi, A.

A2 - Klinov, P.

A2 - Hahmann, T.

A2 - Papini, O.

A2 - Mugnier, M.

A2 - Wassermann, R.

A2 - Kutz, O.

PB - CEUR-WS.org

T2 - Joint Ontology Workshops (JOWO 2015)

Y2 - 25 July 2015 through 27 July 2015

ER -

Kaminski T, Knorr M , Leite J. Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies. In Garcia L, Meyer T, Borgo S, Benferhat S, Ferme E, Porello D, Baclawski K, Krisnadhi A, Klinov P, Hahmann T, Papini O, Mugnier M, Wassermann R, Kutz O, editors, Proceedings of the Joint Ontology Workshops 2015 (JOWO 2015) - Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). CEUR-WS.org. 2015. (CEUR Workshop Proceedings).