Publications
Export 187 results:
Filters: Author is Pascal Hitzler [Clear All Filters]
, “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)
, “A Geo-ontology Design Pattern for Semantic Trajectories”, in Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings, 2013, pp. 438–456.
A Geo-Ontology Design Pattern for Semantic Trajectories.pdf (1.49 MB)
, “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)
, “Generalized Distance Functions in the Theory of Computation”, Computer Journal, vol. 53, pp. 443–464, 2010.
GeneralizedDistance-CJ-2010.pdf (316.51 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)
, “Paraconsistent OWL and Related Logics”, Semantic Web, vol. 4, pp. 395–427, 2013.
paraOWL-2013.pdf (698.73 KB)
, “A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies”, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.
KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)

