Author of the publication

Reasoning and Query Answering in Description Logics.

, and . Reasoning Web, volume 7487 of Lecture Notes in Computer Science, page 1-53. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combining Rules and Ontologies into Clopen Knowledge Bases., , and . AAAI, page 1728-1735. AAAI Press, (2018)Towards Reconciling SPARQL and Certain Answers (Extended Abstract)., , , , and . AMW, volume 1378 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Closed Predicates in Description Logics: Results on Combined Complexity., , and . AMW, volume 1644 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)Reasoning Using Knots., , and . LPAR, volume 5330 of Lecture Notes in Computer Science, page 377-390. Springer, (2008)Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates., , and . IJCAI, page 878-885. IJCAI/AAAI Press, (2016)Containment of Regular Path Queries under Description Logic Constraints., , and . IJCAI, page 805-812. IJCAI/AAAI, (2011)A Compilation Technique for Interactive Ontology-mediated Data Exploration., , and . Description Logics, volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)Planning Problems for Graph Structured Data in Description Logics., , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 4-7. CEUR-WS.org, (2014)On the Expressive Power of Ontology-Mediated Queries: Capturing coNP., , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Nonmonotonic Logic Programs with Function Symbols. Vienna University of Technology, (June 2010)