Library
Export 29 results:
Filters: Author is Markus Krotzsch [Clear All Filters]
. Approximate OWL Instance Retrieval with Screech. In Approximate OWL Instance Retrieval with Screech. 2008. 
(0 bytes)
(0 bytes). Approximate OWL-Reasoning with Screech. In International Conference, RR 2008. Karlsruhe, Germany: Second International Conference, RR 2008; 2008. p. 165-180. 
(200.54 KB)
(200.54 KB). 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)
(406.28 KB). 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)
(160.41 KB). Complexity Boundaries for Horn Description Logics. In The 22nd AAAI Conference on Artficial Intelligence. Vancouver, British Columbia, Canada; 2007. (198.68 KB)
(198.68 KB). On the Complexity of Horn Description Logics. In Second Workshop OWL - Experiences and Directions, OWLED2006; 2006. (0 bytes)
(0 bytes). Complexity of Horn Description Logics. 2007. (0 bytes)
(0 bytes). 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)
(133.64 KB). 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)
(150.02 KB). Description Logic Rules. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece; 2008. p. 80-84. (179.06 KB)
(179.06 KB). DLP Isn't So Bad After All. In 2005. (88.28 KB)
(88.28 KB). DLP Isn't So Bad After All. In DLP Isn't So Bad After All. 2005.
. 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)
(106.23 KB). ELP: Tractable Rules for OWL 2. ELP: Tractable Rules for OWL 2. 2008 . (221.74 KB)
(221.74 KB). ELP: Tractable Rules for OWL 2. In ELP: Tractable Rules for OWL 2. 2008.
. ELP: Tractable Rules for OWL 2. 2008.
. Expressive Tractable Description Logics based on SROIQ Rules. 2008. (0 bytes)
(0 bytes). Foundations of Semantic Web Technologies. 2009. (0 bytes)
(0 bytes). 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)
(168 KB). Morphisms in Context. In 13th International Conference on Conceptual Structures, ICCS '05. Kassel, Germany; 2005. p. 223-237. (159.48 KB)
(159.48 KB). Nominal Schemas for Integrating Rules and Description Logics. In 2011. (0 bytes)
(0 bytes). 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)
(370.44 KB). Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web. In ICCS 2007. Sheffield, UK; 2007. (28.66 KB)
(28.66 KB). Semantic Web. Grundlagen. 2008.
. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. In Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. 2008. (0 bytes)
(0 bytes). What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts. In 20th National Conference on Artificial Intelligence, AAAI-05; 2005. (0 bytes)
(0 bytes)