Proceedings

Magdalena Ortiz

Department of Computing Science , Umeå University , Sweden

11 papers in the IJCAI proceedings

IJCAI 2023

Description Logics with Pointwise Circumscription
with Federica Di Stefano, Mantas Šimkus
doi:10.24963/ijcai.2023/353
Details PDF

IJCAI 2018

Compiling Model Representations for Querying Large ABoxes in Expressive DLs
with Labinot Bajraktari, Mantas Simkus
doi:10.24963/ijcai.2018/234
Details PDF
Improving Data Management using Domain Knowledge
doi:10.24963/ijcai.2018/814
Details PDF

IJCAI 2016

Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates
with Shqiponja Ahmetaj, Mantas Simkus
Details PDF

IJCAI 2013

Conjunctive Regular Path Queries in Lightweight Description Logics
with Meghyn Bienvenu, Mantas Simkus
Details PDF
Tractable Queries for Lightweight Description Logics
with Meghyn Bienvenu, Mantas Simkus, Guohui Xiao
Details PDF

IJCAI 2011

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics
with Diego Calvanese, Domenico Carbotta
doi:10.5591/978-1-57735-516-8/IJCAI11-140
Details PDF
Containment of Regular Path Queries under Description Logic Constraints
with Diego Calvanese, Mantas Simkus
doi:10.5591/978-1-57735-516-8/IJCAI11-141
Details PDF
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
with Sebastian Rudolph, Mantas Simkus
doi:10.5591/978-1-57735-516-8/IJCAI11-178
Details PDF

IJCAI 2009

Query Answering in Description Logics with Transitive Roles
with Thomas Eiter, Carsten Lutz, Mantas Simkus
Details PDF
Regular Path Queries in Expressive Description Logics with Nominals
with Diego Calvanese, Thomas Eiter
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards