Publications
“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)
, 
“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)
, 
“The Enslaved Ontology: Peoples of the Historic Slave Trade”, Journal of Web Semantics, vol. 63, 2020.
(pdf) author version: The Enslaved Ontology (1020.25 KB)
, 
“The Enslaved Ontology: Peoples of the Historic Slave Trade”, Journal of Web Semantics, vol. 63, 2020.
(pdf) author version: The Enslaved Ontology (1020.25 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)
, 
“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)
, 
“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)
, 
“Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.
PhD Dissertation Carral.pdf (578.29 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)
, 
“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)
, 
“All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles”, in Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014., 2014, vol. 1265, pp. 97-108.
All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
, 
“Distributed OWL EL Reasoning: The Story So Far”, in Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems, Riva Del Garda, Italy, Riva del Garda, Italy, 2014, vol. 1261, pp. 61-76.
Distributed-EL-Story-SSWS2014.pdf (437.93 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)
, 
“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)
, 