Publications

Export 1 results:
Filters: Author is Markus Krötzsch and Keyword is type elimination  [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)