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)
, 