Finite Entailment of Local Queries in the Z family of Description Logics

Bartosz BednarczykBartosz Bednarczyk, Emanuel KierońskiEmanuel Kieroński

Bartosz Bednarczyk, Emanuel Kieroński
Finite Entailment of Local Queries in the Z family of Description Logics
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), volume 36, 5487--5494, February 2022. AAAI Press

Details
Bibtex

KurzfassungAbstract
In the last few years the field of logic-based knowledge representation took a lot of inspiration from database theory. A vital example is that the finite model semantics in description logics (DLs) is reconsidered as a desirable alternative to the classical one and that query entailment has replaced knowledge-base satisfiability (KBSat) checking as the key inference problem. However, despite the considerable effort, the overall picture concerning finite query answering in DLs is still incomplete. In this work we study the complexity of finite entailment of local queries (conjunctive queries and positive boolean combinations thereof) in the Z family of DLs, one of the most powerful KR formalisms, lying on the verge of decidability. Our main result is that the DLs ZOQ and ZOI are finitely controllable, i.e. that their finite and unrestricted entailment problems for local queries coincide. This allows us to reuse recently established upper bounds on querying these logics under the classical semantics. While we will not solve finite query entailment for the third main logic in the Z family, ZIQ, we provide a generic reduction from the finite entail- ment problem to the finite KBSat problem, working for ZIQ and some of its sublogics. Our proofs unify and solidify previously established results on finite satisfiability and finite query entailment for many known DLs.
Weitere Informationen unter:Further Information: Link
Projekt:Project: DeciGUT
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{BK2022,
  author    = {Bartosz Bednarczyk and Emanuel Kiero{\'{n}}ski},
  title     = {Finite Entailment of Local Queries in the Z family of Description
               Logics},
  booktitle = {Proceedings of the 36th {AAAI} Conference on Artificial
               Intelligence (AAAI 2022)},
  volume    = {36},
  publisher = {AAAI Press},
  year      = {2022},
  month     = {February},
  pages     = {5487--5494},
  doi       = {10.1609/aaai.v36i5.20487}
}