PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

no code implementations • 20 Apr 2023 • Diego Figueira, Santiago Figueira, Edwin Pin

We investigate the expressive power, characterization of bisimulation, satisfiability, and model checking for CPDL+.

Containment of Simple Regular Path Queries

no code implementations • 9 Mar 2020 • Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner

Testing containment of queries is a fundamental reasoning task in knowledge representation.