Publications
“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)
, ![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)
“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)
“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)
, ![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)
“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)
, ![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)
“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)
“DistEL: A Distributed EL+ Ontology Classifier”, in Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, co-located with the International Semantic Web Conference (ISWC 2013), Sydney, Australia, 2013, vol. 1046, pp. 17-32.
SSWS2013_paper2.pdf (436.4 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)
“D-SPARQ: Distributed, Scalable and Efficient RDF Query Engine”, in Proceedings of the ISWC 2013 Posters & Demonstrations Track, Sydney, Australia, 2013, vol. 1035, pp. 261–264.
dsparq-ISWC2013.pdf (210.38 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“DistEL: A Distributed EL+ Ontology Classifier”, in Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, co-located with the International Semantic Web Conference (ISWC 2013), Sydney, Australia, 2013, vol. 1046, pp. 17-32.
SSWS2013_paper2.pdf (436.4 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)
“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)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)