Export 3 results:
Filters: Keyword is description logics and Author is Markus Krötzsch  [Clear All Filters]
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)
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)