Publications
, Semantic Web Grundlagen. Springer textbook, 2008, p. 277.
, “An Evolutionary Computing Approach for Reasoning in the Semantic Web”, in Poster at DECOI2009, the International Workshop on Collective Intelligence andEvolution, Leiden, The Netherlands, 2009.
, Foundations of Semantic Web Technologies. Chapman and Hall/CRC Press, 2009, p. 455.
, “OWL 2 Web Ontology Language: Primer”, 2009. [Online]. Available: http://www.w3.org/TR/2009/REC-owl2-primer-20091027.
, “Local Closed World Semantics: Grounded Circumscription for Description Logics”, in Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, 2011, vol. 6902, pp. 263-268. KriSenHit-GroundedCircumscriptionDL-RR2011.pdf (259.67 KB)
 KriSenHit-GroundedCircumscriptionDL-RR2011.pdf (259.67 KB)
 KriSenHit-GroundedCircumscriptionDL-RR2011.pdf (259.67 KB)
 KriSenHit-GroundedCircumscriptionDL-RR2011.pdf (259.67 KB), “Local Closed World Semantics: Keep it simple, stupid!”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
, “Nominal Schemas for Integrating Rules and Description Logics”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
, “Paraconsistent Semantics for Hybrid MKNF Knowledge Bases”, in Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, 2011, vol. 6902, pp. 93–107. para-hmknf-RR2011.pdf (401.56 KB)
 para-hmknf-RR2011.pdf (401.56 KB)
 para-hmknf-RR2011.pdf (401.56 KB)
 para-hmknf-RR2011.pdf (401.56 KB), “OWL 2 Web Ontology Language: Primer (Second Edition)”, 2012. [Online]. Available: http://www.w3.org/TR/owl2-primer.
, “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)
 type-elimination-2012.pdf (368.62 KB)
 type-elimination-2012.pdf (368.62 KB)
 type-elimination-2012.pdf (368.62 KB), “Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013. Hitzler-HornDLs-2013.pdf (764.32 KB)
 Hitzler-HornDLs-2013.pdf (764.32 KB)
 Hitzler-HornDLs-2013.pdf (764.32 KB)
 Hitzler-HornDLs-2013.pdf (764.32 KB), “An Ontology Design Pattern for Cartographic Map Scaling”, in The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings, 2013, vol. 7882, pp. 76–93. An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB)
 An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB)
 An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB)
 An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB), 语义Web技术基础. Tsinghua University Press, 2013.
, “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)
 All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
 All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
 All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB), “On the Ontological Modeling of Trees”, in 8th Workshop on Ontology Design and Patterns - WOP2017, 2017. wop2017-trees.pdf (495.86 KB)
 wop2017-trees.pdf (495.86 KB)
 wop2017-trees.pdf (495.86 KB)
 wop2017-trees.pdf (495.86 KB)
