Publications
“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)
, “Revisiting default description logics – and their role in aligning ontologies”, in Semantic Technology, 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, 2014, vol. 8943, pp. 3-18. 2014-Kunal-defaults.pdf (308.62 KB)
, “Revisiting default description logics – and their role in aligning ontologies”, in Semantic Technology, 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, 2014, vol. 8943, pp. 3-18. 2014-Kunal-defaults.pdf (308.62 KB)
, “Revisiting default description logics – and their role in aligning ontologies”, in Semantic Technology, 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, 2014, vol. 8943, pp. 3-18. 2014-Kunal-defaults.pdf (308.62 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)
, “Automatic Domain Identification for Linked Open Data”, in 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, WI 2013, Atlanta, GA, USA, 2013, pp. 205–212. DomainIdentLOD-WI13.pdf (1.16 MB)
, “Automatic Domain Identification for Linked Open Data”, in 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, WI 2013, Atlanta, GA, USA, 2013, pp. 205–212. DomainIdentLOD-WI13.pdf (1.16 MB)
, “Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013. Hitzler-HornDLs-2013.pdf (764.32 KB)
, “DistEL: A Distributed EL+ Ontology Classifier”, in Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, co-located with the International Semantic Web Conference (ISWC 2013), Sydney, Australia, 2013, vol. 1046, pp. 17-32. SSWS2013_paper2.pdf (436.4 KB)
, “DistEL: A Distributed EL+ Ontology Classifier”, in Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, co-located with the International Semantic Web Conference (ISWC 2013), Sydney, Australia, 2013, vol. 1046, pp. 17-32. SSWS2013_paper2.pdf (436.4 KB)
, “D-SPARQ: Distributed, Scalable and Efficient RDF Query Engine”, in Proceedings of the ISWC 2013 Posters & Demonstrations Track, Sydney, Australia, 2013, vol. 1035, pp. 261–264. dsparq-ISWC2013.pdf (210.38 KB)
, “D-SPARQ: Distributed, Scalable and Efficient RDF Query Engine”, in Proceedings of the ISWC 2013 Posters & Demonstrations Track, Sydney, Australia, 2013, vol. 1035, pp. 261–264. dsparq-ISWC2013.pdf (210.38 KB)
, “Paraconsistent OWL and Related Logics”, Semantic Web, vol. 4, pp. 395–427, 2013. paraOWL-2013.pdf (698.73 KB)
, “Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases”, Logic Journal of the IGPL, vol. 21, pp. 263–290, 2013. ljigpl-parahkmf-2013.pdf (225.39 KB)
,