Efficient Query Answering over Expressive Inconsistent Description Logics

Tsalapati, Eleni; Stoilos, Giorgos; Stamou, Giorgos B.; Koletsos, George

Efficient Query Answering over Expressive Inconsistent Description Logics

Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos

Download BibTeX Cite

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1279-1284.

Abstract

Inconsistent-tolerant semantics, like the IAR and ICAR semantics, have been proposed as means to compute meaningful query answers over inconsistent Description Logic (DL) ontologies. In the current paper we present a framework for scalable query answering under both the IAR and ICAR semantics, which is based on highly efficient data saturation systems. Our approach is sound and complete for ontologies expressed in the lightweight DL DL-Lite, but for more expressive DLs the problem is known to be intractable, hence our algorithm only computes upper approximations. Nevertheless, its structure motivates a new type of ICAR-like semantics which can be computed in polynomial time for a very large family of DLs. We have implemented our techniques and conducted an experimental evaluation obtaining encouraging results as both our IAR- and ICAR-answering approaches are far more efficient thanexisting available IAR-based answering systems.

Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, and George Koletsos. 2016. Efficient Query Answering over Expressive Inconsistent Description Logics. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 1279–1284. https://ijcai.org/proceedings/2016/185

@inproceedings{ijcai2016p185,
  title     = {Efficient Query Answering over Expressive Inconsistent Description Logics},
  author    = {Tsalapati, Eleni and Stoilos, Giorgos and Stamou, Giorgos B. and Koletsos, George},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-16}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Subbarao Kambhampati},
  pages     = {1279--1284},
  year      = {2016},
  month     = {7},
  url       = {https://ijcai.org/proceedings/2016/185},
}

TY  - CPAPER
TI  - Efficient Query Answering over Expressive Inconsistent Description Logics
AU  - Tsalapati, Eleni
AU  - Stoilos, Giorgos
AU  - Stamou, Giorgos B.
AU  - Koletsos, George
T2  - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2016
SP  - 1279
EP  - 1284
UR  - https://ijcai.org/proceedings/2016/185
ER  -