Search Results for author: Magdalena Ortiz

Found 6 papers, 0 papers with code

An ExpTime Upper Bound for $\mathcal{ALC}$ with Integers (Extended Version)

no code implementations3 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.

Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog

no code implementations16 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.

Negation

Relaxing and Restraining Queries for OBDA

no code implementations8 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.

Managing Change in Graph-structured Data Using Description Logics (long version with appendix)

no code implementations16 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.

Management

Nested Regular Path Queries in Description Logics

no code implementations28 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.

Reasoning about Explanations for Negative Query Answers in DL-Lite

no code implementations4 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.