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.
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.
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, 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) 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)