Library
. ELP: Tractable Rules for OWL 2. ELP: Tractable Rules for OWL 2. 2008 . 
(221.74 KB)
(221.74 KB). Expressive Tractable Description Logics based on SROIQ Rules. 2008. 
(0 bytes)
(0 bytes). ELP: Tractable Rules for OWL 2. 2008.
. Complexity of Horn Description Logics. 2007. (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). Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. In Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. 2008. (0 bytes)
(0 bytes). 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). 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). Nominal Schemas for Integrating Rules and Description Logics. In 2011. (0 bytes)
(0 bytes). Morphisms in Context. In 13th International Conference on Conceptual Structures, ICCS '05. Kassel, Germany; 2005. p. 223-237. (159.48 KB)
(159.48 KB). 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). ELP: Tractable Rules for OWL 2. In ELP: Tractable Rules for OWL 2. 2008.
. 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). DLP Isn't So Bad After All. In DLP Isn't So Bad After All. 2005.
. DLP Isn't So Bad After All. In 2005. (88.28 KB)
(88.28 KB). Description Logic Rules. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece; 2008. p. 80-84. (179.06 KB)
(179.06 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). 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). On the Complexity of Horn Description Logics. In Second Workshop OWL - Experiences and Directions, OWLED2006; 2006. (0 bytes)
(0 bytes). 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). 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). 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). 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). Approximate OWL Instance Retrieval with Screech. In Approximate OWL Instance Retrieval with Screech. 2008. (0 bytes)
(0 bytes). Semantic Web. Grundlagen. 2008.
. Foundations of Semantic Web Technologies. 2009. (0 bytes)
(0 bytes)