Publications
Export 3 results:
Filters: Author is Markus Krötzsch and Keyword is description logics [Clear All Filters]
“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.
Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013.
Hitzler-HornDLs-2013.pdf (764.32 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog”, Logical Methods in Computer Science, vol. 8, 2012.
type-elimination-2012.pdf (368.62 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)