Author of the publication

Query Answering in the Description Logic Horn-.

, , , and . JELIA, volume 5293 of Lecture Notes in Computer Science, page 166-179. Springer, (2008)

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

Reasoning Using Knots, , and . Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, volume 5330 of Lecture Notes in Computer Science, page 377-390. Springer, (2008)Query Answering in the Description Logic S, , , , and . Proceedings of the 23rd International Workshop on Description Logics (DL2010), (2010)Planning and Change in Graph Structured Data under Description Logics Constraints., , , and . AMW, volume 1189 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)Tractable Queries for Lightweight Description Logics., , , and . IJCAI, page 768-774. IJCAI/AAAI, (2013)Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates., , , and . KR, page 434-444. (2020)Verification of Evolving Graph-structured Data under Expressive Path Constraints., , and . ICDT, volume 48 of LIPIcs, page 15:1-15:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog., , and . CoRR, (2019)Managing Change in Graph-Structured Data Using Description Logics., , , and . AAAI, page 966-973. AAAI Press, (2014)Relaxing and Restraining Queries for OBDA - Extended Abstract., , , and . KR, page 617-618. AAAI Press, (2018)Evolving Graph Databases under Description Logic Constraints., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 120-131. CEUR-WS.org, (2013)