Magdalena Ortiz

Available identifiers

zbMath Open ortiz.magdalenaMaRDI QIDQ414846

List of research outcomes

Publication	Date of Publication	Type
Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates	2024-07-03	Paper
A short introduction to SHACL for logicians	2024-02-28	Paper
Actions over core-closed knowledge bases	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4999276	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q3305347	2020-08-06	Paper
Pebble-intervals automata and \(\text{FO}^2\) with two orders	2020-07-27	Paper
Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog	2020-02-26	Paper
Managing Change in Graph-Structured Data Using Description Logics	2018-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5276195	2017-07-14	Paper
Ontology-Mediated Query Answering with Data-Tractable Description Logics	2017-03-30	Paper
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms	2015-08-25	Paper
Answering regular path queries in expressive description logics via alternating tree-automata	2014-07-18	Paper
Reasoning about explanations for negative query answers in \textit{DL-Lite}	2013-11-28	Paper
Reasoning and Query Answering in Description Logics	2012-11-08	Paper
Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots	2012-05-11	Paper
Query Answering in Description Logics: The Knots Approach	2009-07-02	Paper
Reasoning Using Knots	2009-01-27	Paper
Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$	2008-10-27	Paper
Extending Carin to the Description Logics of the $\mathcal{SH}$ Family	2008-10-27	Paper
Data complexity of query answering in expressive description logics via tableaux	2008-09-10	Paper
Strong Negation and Equivalence in the Safe Belief Semantics	2007-12-12	Paper

Research outcomes over time

This page was built for person: Magdalena Ortiz