Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 12 results:

Filters: Author is Markus Krötzsch [Clear All Filters]

Book

P. Hitzler, Krötzsch, M., and Rudolph, S., Foundations of Semantic Web Technologies. Chapman and Hall/CRC Press, 2009, p. 455.

S. Hölldobler, Bader, S., Fronhöfer, B., Hans, U., Hitzler, P., Krötzsch, M., and Pietzsch, T., Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen. Heidelberg, Germany: Synchron Verlag, 2011.

P. Hitzler, Krötzsch, M., Rudolph, S., and Sure, Y., Semantic Web Grundlagen. Springer textbook, 2008, p. 277.

P. Hitzler, Krötzsch, M., and Rudolph, S., 语义Web技术基础. Tsinghua University Press, 2013.

Conference Papers

M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., “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)

M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., “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.

M. Knorr, Carral, D., Hitzler, P., Krisnadhi, A., Maier, F., and Wang, C., “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)

A. Krisnadhi and Hitzler, P., “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)

Journal Article

M. Krötzsch, Rudolph, S., and Hitzler, P., “Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013.

Hitzler-HornDLs-2013.pdf (764.32 KB)

S. Rudolph, Krötzsch, M., and Hitzler, P., “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)

Web Article

P. Hitzler, Krötzsch, M., Parsia, B., Patel-Schneider, P. F., and Rudolph, S., “OWL 2 Web Ontology Language: Primer”, 2009. [Online]. Available: http://www.w3.org/TR/2009/REC-owl2-primer-20091027.

P. Hitzler, Krötzsch, M., Parsia, B., Patel-Schneider, P. F., and Rudolph, S., “OWL 2 Web Ontology Language: Primer (Second Edition)”, 2012. [Online]. Available: http://www.w3.org/TR/owl2-primer.