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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.
PhD Dissertation Carral.pdf (578.29 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)