Author of the publication

The Impact of Active Domain Predicates on Guarded Existential Rules.

, , and . RR, volume 9898 of Lecture Notes in Computer Science, page 94-110. Springer, (2016)

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

Managing Change in Graph-Structured Data Using Description Logics., , , and . ACM Trans. Comput. Log., 18 (4): 27:1-27:35 (2017)Interview with Diego Calvanese., and . Künstliche Intell., 34 (4): 551-555 (2020)Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms., , and . J. Artif. Intell. Res., (2015)Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures., , , , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 3-17. Springer, (2014)Nonmonotonic Logic Programs with Function Symbols. Vienna University of Technology, (June 2010)Combining Rules and Ontologies into Clopen Knowledge Bases., , and . AAAI, page 1728-1735. AAAI Press, (2018)Containment of Regular Path Queries under Description Logic Constraints., , and . IJCAI, page 805-812. IJCAI/AAAI, (2011)Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates., , and . IJCAI, page 878-885. IJCAI/AAAI Press, (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)