Library

Export 8 results:
Filters: Author is Markus Krotzsch  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
K
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)
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, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. 2008.
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)
Markus Krotzsch, Marc Ehrig, York Sure. Category Theory in Ontology Research: Concrete Gain from an Abstract Approach. 2005.  (0 bytes)
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)