Publications
“OWL 2 Web Ontology Language: Primer (Second Edition)”, 2012. [Online]. Available: http://www.w3.org/TR/owl2-primer.
, “OWL 2 Web Ontology Language: Primer”, 2009. [Online]. Available: http://www.w3.org/TR/2009/REC-owl2-primer-20091027.
, “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)
, “Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013. Hitzler-HornDLs-2013.pdf (764.32 KB)
, “A Tableau Algorithm for Description Logics with Nominal Schemas”, in Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings, 2012, vol. 7497, pp. 234-237. KH2012-TR.pdf (427.25 KB)
, “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)
, “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.
, “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)
, 语义Web技术基础. Tsinghua University Press, 2013.
, Semantic Web Grundlagen. Springer textbook, 2008, p. 277.
, Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen. Heidelberg, Germany: Synchron Verlag, 2011.
, Foundations of Semantic Web Technologies. Chapman and Hall/CRC Press, 2009, p. 455.
,