Magdalena Ortiz

Available identifiers

zbMath Open ortiz.magdalenaMaRDI QIDQ414846

List of research outcomes

Publication	Date of Publication	Type
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 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Magdalena Ortiz