Magdalena Ortiz

zbMath Openortiz.magdalenaMaRDI QIDQ414846

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates Artificial Intelligence	2024-07-03	Paper
A short introduction to SHACL for logicians Logic, Language, Information, and Computation	2024-02-28	Paper
Actions over core-closed knowledge bases	2022-12-07	Paper
Ontology focusing: knowledge-enriched databases on demand	2021-07-06	Paper
Rewriting guarded existential rules into small Datalog programs	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 Artificial Intelligence	2020-02-26	Paper
Managing Change in Graph-Structured Data Using Description Logics ACM Transactions on Computational Logic	2018-03-22	Paper
Verification of evolving graph-structured data under expressive path constraints	2017-07-14	Paper
Ontology-Mediated Query Answering with Data-Tractable Description Logics Reasoning Web. Web Logic Rules	2017-03-30	Paper
Regular path queries in lightweight description logics: complexity and algorithms Journal of Artificial Intelligence Research	2015-08-25	Paper
Answering regular path queries in expressive description logics via alternating tree-automata Information and Computation	2014-07-18	Paper
Reasoning about explanations for negative query answers in \textit{DL-Lite} The Journal of Artificial Intelligence Research (JAIR)	2013-11-28	Paper
Reasoning and query answering in description logics Lecture Notes in Computer Science	2012-11-08	Paper
Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots Journal of Computer and System Sciences	2012-05-11	Paper
Query Answering in Description Logics: The Knots Approach Logic, Language, Information and Computation	2009-07-02	Paper
Reasoning Using Knots Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper
Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ Logics in Artificial Intelligence	2008-10-27	Paper
Extending Carin to the Description Logics of the $\mathcal{SH}$ Family Logics in Artificial Intelligence	2008-10-27	Paper
Data complexity of query answering in expressive description logics via tableaux Journal of Automated Reasoning	2008-09-10	Paper
Strong Negation and Equivalence in the Safe Belief Semantics Journal Of Logic And Computation	2007-12-12	Paper

Research outcomes over time

This page was built for person: Magdalena Ortiz