14:00
15:00
Analysing Temporal Reasoning in Description Logics Using Formal Grammars
In this joint work with Anton Gnatenko and Camille Bourgaux, we establish a connection between reasoning in fragments of the temporal description logic TEL (an extension of TEL with operators from LTL) and the so-called conjunctive grammars. This allows us to close some open problem regarding the ultimate periodicity of TEL models, and the undecidability of query answering. It also provides decidability results for new interesting fragements of TEL, and paves the way towards practical reasoners.
Français
LaBRI