Publications

Export 2 results:
Filters: First Letter Of Keyword is T and Author is Markus Krötzsch  [Clear All Filters]
2012
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.PDF icon type-elimination-2012.pdf (368.62 KB)
2011
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.PDF icon KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)