Author of the publication

A Reasoner for Simple Conceptual Logic Programs.

, , and . RR, volume 5837 of Lecture Notes in Computer Science, page 55-70. Springer, (2009)

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

Guarded hybrid knowledge bases., , , , and . Theory Pract. Log. Program., 8 (3): 411-429 (2008)The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract)., , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)WSMO - Web Service Modeling Ontology, , , , , , , , , and . DERI Working Draft 14, 1, page 77--106. BG Amsterdam, Digital Enterprise Research Institute (DERI), IOS Press, (2005)Guarded Hybrid Knowledge Bases, , , , and . CoRR, (2007)Reasoning with Forest Logic Programs and f-hybrid knowledge bases., and . Theory Pract. Log. Program., 13 (3): 395-463 (2013)Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics., , and . Logical Methods in Computer Science, (2019)When is Ontology-Mediated Querying Efficient?, , , and . CoRR, (2020)The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs., , , , and . PODS, page 259-270. ACM, (2020)A Practical Acyclicity Notion for Query Answering Over Horn- SRIQ Ontologies., , and . International Semantic Web Conference (1), volume 9981 of Lecture Notes in Computer Science, page 70-85. (2016)From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying., , and . CoRR, (2020)