Publications
“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)
, “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)
, “Traditional Bengali Food Classification Using Convolutional Neural Network”, in 2021 IEEE Region 10 Symposium (TENSYMP), 2021, pp. 1-8.
, “A Geo-ontology Design Pattern for Semantic Trajectories”, in Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings, 2013, pp. 438–456. A Geo-Ontology Design Pattern for Semantic Trajectories.pdf (1.49 MB)
, “Traditional Bengali Food Classification Using Convolutional Neural Network”, in 2021 IEEE Region 10 Symposium (TENSYMP), 2021, pp. 1-8.
, “Traditional Bengali Food Classification Using Convolutional Neural Network”, in 2021 IEEE Region 10 Symposium (TENSYMP), 2021, pp. 1-8.
, “Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog”, Logical Methods in Computer Science, vol. 8, 2012. type-elimination-2012.pdf (368.62 KB)
, “Generalized Distance Functions in the Theory of Computation”, Computer Journal, vol. 53, pp. 443–464, 2010. GeneralizedDistance-CJ-2010.pdf (316.51 KB)
, “Traditional Bengali Food Classification Using Convolutional Neural Network”, in 2021 IEEE Region 10 Symposium (TENSYMP), 2021, pp. 1-8.
, “A Method for Automatically Generating Schema Diagrams for OWL Ontologies”, in 1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC), Villa Clara, Cuba, 2019. paper.pdf (386.54 KB)
, “Paraconsistent OWL and Related Logics”, Semantic Web, vol. 4, pp. 395–427, 2013. paraOWL-2013.pdf (698.73 KB)
, “A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies”, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654. KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)
,