Library

Export 29 results:
Filters: Author is Markus Krotzsch  [Clear All Filters]
Conference Paper
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)
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 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. On the Complexity of Horn Description Logics. In Second Workshop OWL - Experiences and Directions, OWLED2006; 2006.  (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, 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)
York Sure, Rudi Studer, Markus Krotzsch, Peter Haase, Pascal Hitzler. DLP Isn't So Bad After All. In 2005.  (88.28 KB)
Pascal Hitzler, York Sure, Rudi Studer, Markus Krotzsch, Peter Haase. DLP Isn't So Bad After All. In DLP Isn't So Bad After All. 2005.
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)
Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. In ELP: Tractable Rules for OWL 2. 2008.
M. Krotzsch, D. Vrandecic, M. Sintek, Pascal Hitzler. How to Reason with OWL in a Logic Programming System. In the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006. Athens, Georgia; 2006. p. 17-26.  (168 KB)
Markus Krotzsch, Guo-Qiang Zhang, Pascal Hitzler. Morphisms in Context. In 13th International Conference on Conceptual Structures, ICCS '05. Kassel, Germany; 2005. p. 223-237.  (159.48 KB)
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. Nominal Schemas for Integrating Rules and Description Logics. In 2011.  (0 bytes)
M. Krotzsch, Pascal Hitzler. Querying Formal Contexts with Answer Set Programs. In 14th International Conference on Conceptual Structures, ICCS 2006. Aalborg, Denmark; 2006. p. 260-273.  (370.44 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)
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)
York Sure, Markus Krotzsch, Marc Ehrig, Pascal Hitzler. What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts. In 20th National Conference on Artificial Intelligence, AAAI-05; 2005.  (0 bytes)