Pascal Hitzler

From korrekt.org

Pascal Hitzler has been the supervisor of my Master's thesis at TU Dresden, and is now supervising my PhD work in Karlsruhe. Our shared research interest is all around knowledge representation and reasoning, especially in the fields of description logics, Formal Concept Analysis, and logic programming.

For more information see:

• Pascal's homepage (including contact data and publications)

Publications with Pascal Hitzler

The following is a list of works that Pascal Hitzler and I published together, also available as an RSS feed. For more of his works, please consult his list of publications.

• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. In Proceedings of the 7th International Semantic Web Conference (ISWC-08). Springer 2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Description Logic Reasoning with Decision Diagrams – Compiling SHIQ to Disjunctive Datalog. In Proceedings of the 7th International Semantic Web Conference (ISWC-08). Springer 2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Cheap Boolean Role Constructors for Description Logics. In Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-08). Springer 2008. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Description Logic Rules. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris, eds.: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08). IOS Press 2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. In Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08). AAAI Press 2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. All Elephants are Bigger than All Mice. In Proceedings of the 21st International Workshop on Description Logics (DL-08).  2008. (view details, download)
   
• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure. Semantic Web – Grundlagen. Springer 2008. (view details)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Conjunctive Queries for a Tractable Fragment of OWL1.1. In Karl Aberer, Key-Sun Choi, Natasha Noy, Dean Allemang, Kyung-Il Lee, Lyndon Nixon, Jennifer Golbeck, Peter Mika, eds.: Proceedings of the 6th International Semantic Web Conference (ISWC-07). Springer 2007. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Complexity Boundaries for Horn Description Logics. In Proceedings of the 22nd AAAI Conference on Artficial Intelligence (AAAI-07). AAAI Press 2007. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Quo Vadis, CS? – On the (non)-impact of Conceptual Structures on the Semantic Web. In Uta Priss, Simon Polovina, Richard Hill, eds.: Proceedings of the 15th International Conference on Conceptual Structures (ICCS-07). Springer 2007. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic. Efficient OWL Reasoning with Logic Programs – Evaluations. In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, eds.: Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR-07). Springer 2007. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. On the Complexity of Horn Description Logics. In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, eds.: Proceedings of the 2nd Workshop on OWL: Experiences and Directions (OWLED-06). CEUR Workshop Proceedings 2006. (view details, download)
   
• Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler. Formalizing Ontology Alignment and its Operations with Category Theory. In Brandon Bennett, Christiane Fellbaum, eds.: Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS-06). IOS Press 2006. (view details, download)
   
• Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek. How to reason with OWL in a logic programming system. In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, eds.: Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-06). IEEE Computer Society 2006. (view details, download)
   
• Pascal Hitzler, Markus Krötzsch. Querying Formal Contexts with Answer Set Programs. In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds.: Proceedings of the 14th International Conference on Conceptual Structures (ICCS-06). Springer 2006. (view details, download)
   
• Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang. A Categorical View on Algebraic Lattices in Formal Concept Analysis. In Fundamenta Informaticae 74 (2–3).  2006. (view details, download)
   
• Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer. DLP isn't so bad after all. In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, eds.: Proceedings of the 1st Workshop on OWL: Experiences and Directions (OWLED-05). CEUR Workshop Proceedings 2005. (view details, download)
   
• Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang. Morphisms in Context. In Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme, eds.: Proceedings of the 13th International Conference on Conceptual Structures (ICCS-05). Springer 2005. (view details, download)
   
• Pascal Hitzler, Markus Krötzsch, Marc Ehrig, York Sure. What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts. In Pavel Shvaiko, Jerome Euzenat, Alain Leger, Deborah L. McGuinness, Holger Wache, eds.: Proceedings of the First International Workshop on Contexts and Ontologies (C&O-05). AAAI Press 2005. (view details, download)