Publications
“Seed Patterns for Modeling Trees”, in Advances in Pattern-Based Ontology Engineering, IOS Press, 2021, pp. 48-67. Seed_Patterns_for_Modeling_Trees.pdf (568.59 KB)
, “On the Ontological Modeling of Trees”, in 8th Workshop on Ontology Design and Patterns - WOP2017, 2017. wop2017-trees.pdf (495.86 KB)
, “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)
, “Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013. 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)
, 语义Web技术基础. Tsinghua University Press, 2013.
, “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)
, “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)
, “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)
, “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.
,