A Framework for Reasoning about Dynamic Axioms in Description Logics

From International Center for Computational Logic

Toggle side column

A Framework for Reasoning about Dynamic Axioms in Description Logics

Bartosz BednarczykBartosz Bednarczyk,  Stéphane DemriStéphane Demri,  Alessio MansuttiAlessio Mansutti
A Framework for Reasoning about Dynamic Axioms in Description Logics


Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti
A Framework for Reasoning about Dynamic Axioms in Description Logics
Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020), to appear. International Joint Conferences on Artificial Intelligence
  • KurzfassungAbstract
    Description logics are well-known logical formalisms for knowledge representation. We propose to enrich knowledge bases (KBs) with dynamic axioms that specify how the satisfaction of statements from the KBs evolves when the interpretation is decomposed or recomposed, providing a natural means to predict the evolution of interpretations. Our dynamic axioms borrow logical connectives from separation logics, well-known specification languages to verify programs with dynamic data structures. In the paper, we focus on ALC and EL augmented with dynamic axioms, or to their subclass of positive dynamic axioms. The knowledge base consistency problem in the presence of dynamic axioms is investigated, leading to interesting complexity results, among which the problem for EL with positive dynamic axioms is tractable, whereas EL with dynamic axioms is undecidable.
  • Projekt:Project: DeciGUT
  • Forschungsgruppe:Research Group: Computational Logic
@inproceedings{BDM2020,
  author    = {Bartosz Bednarczyk and St{\'{e}}phane Demri and Alessio Mansutti},
  title     = {A Framework for Reasoning about Dynamic Axioms in Description
               Logics},
  booktitle = {Proceedings of the 29th International Joint Conference on
               Artificial Intelligence and the 17th Pacific Rim International
               Conference on Artificial Intelligence (IJCAI 2020)},
  publisher = {International Joint Conferences on Artificial Intelligence},
  year      = {2020},
  month     = {July}
}