no code implementations • 3 Jun 2020 • Nadia Labai, Magdalena Ortiz, Mantas Šimkus
Concrete domains, especially those that allow to compare features with numeric values, have long been recognized as a very desirable extension of description logics (DLs), and significant efforts have been invested into adding them to usual DLs while keeping the complexity of reasoning in check.
no code implementations • 16 Dec 2019 • Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Our main result is to show that every query in this non-monotonic query language can be translated in polynomial time into Datalog with negation under the stable model semantics.
no code implementations • 8 Aug 2018 • Medina Andreşel, Yazmin Ibáñez-García, Magdalena Ortiz, Mantas Šimkus
In ontology-based data access (OBDA), ontologies have been successfully employed for querying possibly unstructured and incomplete data.
no code implementations • 16 Apr 2014 • Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
In this paper, we consider the setting of graph-structured data that evolves as a result of operations carried out by users or applications.
no code implementations • 28 Feb 2014 • Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data.
no code implementations • 4 Feb 2014 • Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services.