Found 12 results
Filters: Author is Markus Krötzsch  [Clear All Filters]
M. Krötzsch, Rudolph, S., and Hitzler, P., Complexities of Horn Description Logics, ACM Trans. Comput. Log., vol. 14, p. 2, 2013.
P. Hitzler, Krötzsch, M., and Rudolph, S., 语义Web技术基础. Tsinghua University Press, 2013.
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:
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.
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.
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.
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.
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.
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.
P. Hitzler, Krötzsch, M., Rudolph, S., and Sure, Y., Semantic Web Grundlagen. Springer textbook, 2008, p. 277.