Publications
“Paraconsistent OWL and Related Logics”, Semantic Web, vol. 4, pp. 395–427, 2013. paraOWL-2013.pdf (698.73 KB)
, “Local Closed World Reasoning with Description Logics under the Well-Founded Semantics”, Artificial Intelligence, vol. 175, no. 9-10, pp. 1528–1554, 2011. LocalClosed-AI-2011.pdf (354.24 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)
, “Local Closed World Semantics: Keep it simple, stupid!”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017. PhD Dissertation Carral.pdf (578.29 KB)
, “Pseudo-Random ALC Syntax Generation”, in The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers, Heraklion, Crete, Greece, 2018, vol. 11155, pp. 19–22. Pseudo_Random_ALC_Syntax_Generation.pdf (134.95 KB)
, “Completion Reasoning Emulation for the Description Logic EL+”, Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, vol. 2600. CEUR-WS.org, Stanford University, Palo Alto, California, USA, 2020. paper5.pdf (1.89 MB)
, “Generalized Distance Functions in the Theory of Computation”, Computer Journal, vol. 53, pp. 443–464, 2010. GeneralizedDistance-CJ-2010.pdf (316.51 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)
, “Completion Reasoning Emulation for the Description Logic EL+”, Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, vol. 2600. CEUR-WS.org, Stanford University, Palo Alto, California, USA, 2020. paper5.pdf (1.89 MB)
, “Automating CNN Neuron Interpretation using Concept Induction”, in THE 23RD INTERNATIONAL SEMANTIC WEB CONFERENCE, ISWC 2024, 2024. 2024_ISWC_demo_xai_automation_Lab_upload_Samatha.pdf (874.76 KB)
, “BMGC: A Deep Learning Approach to Classify Bengali Music Genres”, in Proceedings of the 4th International Conference on Networking, Information Systems & Security, New York, NY, USA, 2021.
, “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)
, “Local Closed World Semantics: Keep it simple, stupid!”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
,