Publications

Export 12 results:
Filters: Author is Markus Krötzsch  [Clear All Filters]
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)
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.
2012
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.
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.PDF icon 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.PDF icon KH2012-TR.pdf (427.25 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.PDF icon type-elimination-2012.pdf (368.62 KB)