Author of the publication

Query-Driven Procedures for Hybrid MKNF Knowledge Bases.

, , and . ACM Trans. Comput. Log., 14 (2): 16:1-16:43 (2013)

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

Local closed world reasoning with description logics under the well-founded semantics., , and . Artif. Intell., 175 (9-10): 1528-1554 (2011)Next Step for NoHR: OWL 2 QL., , and . ISWC (1), volume 9366 of Lecture Notes in Computer Science, page 569-586. Springer, (2015)Querying LUBM with Non-monotonic Features in Protege using NoHR., , and . ISWC (Posters & Demos), volume 1486 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Forgetting in Modular Answer Set Programming., , , , and . AAAI, page 2843-2850. AAAI Press, (2019)Variable Elimination for DLP-Functions., , , , and . KR, page 643-644. AAAI Press, (2018)Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL., , , , , and . EPIA, volume 12981 of Lecture Notes in Computer Science, page 338-350. Springer, (2021)On Combining Ontologies and Rules.. Reasoning Web, volume 13100 of Lecture Notes in Computer Science, page 22-58. Springer, (2021)MKNF Knowledge Bases in Multi-Context Systems., , , and . CLIMA, volume 7486 of Lecture Notes in Computer Science, page 146-162. Springer, (2012)On Efficient Evolving Multi-Context Systems., , and . PRICAI, volume 8862 of Lecture Notes in Computer Science, page 284-296. Springer, (2014)Normative systems require hybrid knowledge bases., , , , , and . AAMAS, page 1425-1426. IFAAMAS, (2012)