Publications

Export 7 results:
Filters: First Letter Of Keyword is D and Author is Sebastian Rudolph  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
description logics
M. Krötzsch, Rudolph, S., and Hitzler, P., “Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013.PDF icon Hitzler-HornDLs-2013.pdf (764.32 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)
D. Carral, Krisnadhi, A., Rudolph, S., and Hitzler, P., “All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles”, in Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014., 2014, vol. 1265, pp. 97-108.PDF icon All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
Description Logic
A. Krisnadhi, Sengupta, K., and Hitzler, P., “Local Closed World Semantics: Keep it simple, stupid!”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
decision diagrams
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)
decidability
A. Krisnadhi, Sengupta, K., and Hitzler, P., “Local Closed World Semantics: Keep it simple, stupid!”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
datalog
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)