Magdalena Ortiz
9 papers · 2013–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (13) 🏃 Academic Marathon (10) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2)
🗺️
Taxonomy Completionist
(11)
🧭
Keyword Pioneer
📈
Trend Setter
🚀
Conference Pioneer
Conferences
IJCAI (6)
AAAI (3)
Top co-authors
Keywords
description logic
(4)
query rewriting
(3)
ontology-mediated query
(2)
non-monotonic reasoning
(2)
answer set programming
(1)
model compilation
(1)
integrity constraint
(1)
incomplete datum
(1)
semantic reasoning
(1)
data management
(1)
conjunctive query
(1)
ontology-based data access
(1)
data complexity
(1)
query answering
(1)
ontology-based query
(1)
first-order rewritability
(1)
conditional answer
(1)
first-order rewritable
(1)
logic program
(1)
closed-world assumption
(1)
Papers
Description Logics with Pointwise Circumscription
IJCAI 2023
Query Rewriting for Ontology-Mediated Conditional Answers
AAAI 2020
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies
AAAI 2020
Relaxing and Restraining Queries for OBDA
AAAI 2019
Compiling Model Representations for Querying Large ABoxes in Expressive DLs
IJCAI 2018
Improving Data Management using Domain Knowledge
IJCAI 2018
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates
IJCAI 2016
Tractable Queries for Lightweight Description Logics
IJCAI 2013
Conjunctive Regular Path Queries in Lightweight Description Logics
IJCAI 2013