Publications
Export 204 results:
Filters: Filter is [Clear All Filters]
“Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013.
Hitzler-HornDLs-2013.pdf (764.32 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Concept learning in description logics using refinement operators”, Machine Learning, vol. 78, pp. 203–250, 2010.
lehmann-hitzler-MLJ-2010.pdf (1.05 MB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Recent Advances in Integrating OWL and Rules”, in Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Austria, Vienna, 2012, vol. 7497, pp. 225-228.
Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“A logical geo-ontology design pattern for quantifying over types”, in SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012, 2012, pp. 239–248.
A Logical Geo-Ontology Design Pattern for Quantifying over Types.pdf (227.63 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Extending Description Logic Rules”, in The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings, 2012, pp. 345–359.
Extending Description Logic Rules.pdf (360.84 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)