Publications
“A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies”, in The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part {I}, 2016, pp. 70–85. 2016-iswc-acyclicity.pdf (425.83 KB)
, “The Combined Approach to Query Answering Beyond the OWL 2 Profiles”, in Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), 2015. The Combined Approach and Beyond.pdf (360.46 KB)
, “Extending the Combined Approach Beyond Lightweight Description Logics”, in Proceedings of the 28th International Workshop on Description Logics (DL), 2015. QA beyond Lightweight DLs.pdf (479.6 KB)
, “EL-ifying Ontologies”, in Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings, 2014, pp. 464–479. EL-ifying Ontologies.pdf (581.68 KB)
, “Pushing the Boundaries of Tractable Ontology Reasoning”, in The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II, 2014, pp. 148–163. Pushing the Boundaries of Tractable Ontology Reasoning.pdf (368.01 KB)
, “Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs”, in Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., 2014, pp. 128–140. Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs .pdf (381.91 KB)
,