Author of the publication

Data Complexity of Query Answering in Expressive Description Logics via Tableaux.

, , and . J. Autom. Reason., 41 (1): 61-98 (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

Data complexity of answering conjunctive queries over SHIQ knowledge bases, , , and . CoRR, (2005)Relaxing and Restraining Queries for OBDA., , , and . AAAI, page 2654-2661. AAAI Press, (2019)Resilient Logic Programs: Answer Set Programs Challenged by Ontologies., , and . AAAI, page 2917-2924. AAAI Press, (2020)Query Answering in the Description Logic Horn-., , , and . JELIA, volume 5293 of Lecture Notes in Computer Science, page 166-179. Springer, (2008)Nested Regular Path Queries in Description Logics., , , and . KR, AAAI Press, (2014)Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics., and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Answer Set Programs Challenged by Ontologies., , and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming., , and . Description Logics, volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)., , , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Pointwise Circumscription in Description Logics., , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)