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
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
ER -