Advances in Description Logics and Modal Reasoning

The field of description logics and modal reasoning is witnessing significant developments, with a focus on enhancing the expressivity and reasoning capabilities of these formalisms. Researchers are exploring new ways to integrate temporal and spatial reasoning, as well as standpoint reasoning, into description logics, leading to more powerful and flexible knowledge representation systems. Notable papers in this area are:

  • Analysing Temporal Reasoning in Description Logics Using Formal Grammars, which establishes a connection between temporal description logics and formal grammars, leading to important results on decidability and undecidability of query answering.
  • Putting Perspective into OWL, which introduces a complexity-neutral standpoint reasoning approach for ontology languages, enabling the expression of rigid concepts while maintaining desirable reasoning complexity.

Sources

Analysing Temporal Reasoning in Description Logics Using Formal Grammars

Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)

Analysis of logics with arithmetic

Minimal Model Reasoning in Description Logics: Don't Try This at Home!

Built with on top of