Library

Export 21 results:
Filters: Author is Sebastian Rudolph  [Clear All Filters]
2008
Sebastian Rudolph, Markus Krotzsch, Tuvshintur Tserendorj, Pascal Hitzler. Approximate OWL Instance Retrieval with Screech. In Approximate OWL Instance Retrieval with Screech. 2008.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Tuvshintur Tserendorj, Pascal Hitzler. Approximate OWL-Reasoning with Screech. In International Conference, RR 2008. Karlsruhe, Germany: Second International Conference, RR 2008; 2008. p. 165-180.  (200.54 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Cheap Boolean Role Constructors for Description Logics. In 11th European Conference on Logics in Artificial Intelligence (JELIA). Dresden, Germany; 2008. p. 362-374.  (160.41 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. In The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008. Karlsruhe, Germany: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference; 2008. p. 435-450.  (150.02 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Description Logic Rules. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece; 2008. p. 80-84.  (179.06 KB)
Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. 2008.
Sebastian Rudolph, Pascal Hitzler, Markus Krotzsch. ELP: Tractable Rules for OWL 2. ELP: Tractable Rules for OWL 2. 2008 .  (221.74 KB)
Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. In ELP: Tractable Rules for OWL 2. 2008.
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Expressive Tractable Description Logics based on SROIQ Rules. 2008.  (0 bytes)
Sebastian Rudolph, York Sure, Markus Krotzsch, Pascal Hitzler. Semantic Web. Grundlagen. 2008.
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. In Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. 2008.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. 2008.
2007
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Complexity Boundaries for Horn Description Logics. In The 22nd AAAI Conference on Artficial Intelligence. Vancouver, British Columbia, Canada; 2007.  (198.68 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Complexity of Horn Description Logics. 2007.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Conjunctive Queries for a Tractable Fragment of OWL 1.1. In 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC. Busan, Korea: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC; 2007. p. 310-323.  (133.64 KB)
Sebastian Rudolph, Markus Krotzsch, Michael Sintek, Denny Vrandecic, Pascal Hitzler. Efficient OWL Reasoning with Logic Programs - Evaluations. In International Conference on Web Reasoning and Rule Systems, RR2007. Innsbruck, Austria; 2007. p. 370-373.  (106.23 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web. In ICCS 2007. Sheffield, UK; 2007.  (28.66 KB)
2006
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. On the Complexity of Horn Description Logics. In Second Workshop OWL - Experiences and Directions, OWLED2006; 2006.  (0 bytes)