Publications
“A Modification to the Hazardous Situation ODP to Support Risk Assessment and Mitigation”, in Workshop on Ontology Design Patterns (WOP), 2016.
modification-hazardous-situation.pdf (278.75 KB)
, 
“Distributed and Scalable OWL EL Reasoning”, in Proceedings of the 12th Extended Semantic Web Conference (ESWC 2015) , Portoroz, Slovenia, 2015.
DistEL-ESWC2015.pdf (330.04 KB)
, 
“Very Large Scale OWL Reasoning through Distributed Computation”, in 11th International Semantic Web Conference (ISWC 2012), Proceedings, Part II, Boston, MA, USA, 2012, vol. 7650, pp. 407–414.
Distributed-OWL-Reasoning-ISWC2012.pdf (142.32 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)
, 
“Conference v2.0: An uncertain version of the OAEI Conference benchmark”, in 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, 2014, vol. 8797, pp. 148-163.
iswc14-Michelle-conferenceV2.pdf (347.31 KB)
, 
“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)
, 
“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)
, 
“Conference v2.0: An uncertain version of the OAEI Conference benchmark”, in 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, 2014, vol. 8797, pp. 148-163.
iswc14-Michelle-conferenceV2.pdf (347.31 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)
, 
“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)
, 
“Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas”, in Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, 2013, pp. 65–79.
Towards an Efficient Algorithm to Reason over Description Logics extended with Nominal Schemas.pdf (327.39 KB)
, 
“10302 Abstracts Collection - Learning paradigms in dynamic environments”, Learning paradigms in dynamic environments. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2010.
, “10302 Abstracts Collection - Learning paradigms in dynamic environments”, Learning paradigms in dynamic environments. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2010.
, “ Propositional rule extraction from neural networks under background knowledge”, in Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017.
main.pdf (270.11 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)
, 