Pascal Hitzler

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.

In mid 2009, Pascal took up a position at Wright State, Dayton, Ohio, USA.

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 (or where Pascal Hitzler was otherwise involved in), also available as an RSS feed. For more of his works, please consult his list of publications.

• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Complexities of Horn Description Logics. In ACM Transactions on Computational Logic 14 (1).  2013. (view details, download)
   
• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph. 语义Web技术基础.  2012. (view details)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog. In Logical Methods in Computer Science 8 (1).  2012. (view details, download)
   
• Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch. Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen.  2011. (view details, download)
   
• Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, Pascal Hitzler. Nominal Schemas for Integrating Rules and Ontologies. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds.: Proceedings of the 24th International Workshop on Description Logics (DL-11).  2011. (view details, download)
   
• Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, Pascal Hitzler. A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies. In Proceedings of the 20th International Conference on the World Wide Web (WWW-11).  2011. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt. On the Semantic Relationship between Datalog and Description Logics. In Pascal Hitzler, Thomas Lukasiewicz, eds.: Proceedings of the 4th International Conference on Web Reasoning and Rule Systems.  2010. (view details, download)
   
• Birte Glimm, Markus Krötzsch. SPARQL Beyond Subgraph Matching. In Peter F. Patel-Schneider, Yue Pan, Birte Glimm, Pascal Hitzler, Peter Mika, Jeff Pan, Ian Horrocks, eds.: Proceedings of the 9th International Semantic Web Conference.  2010. (view details, download)
   
• Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel-Schneider, Sebastian Rudolph (eds.). OWL 2 Web Ontology Language Primer.  27 October 2009. (view details)
   
• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph. Foundations of Semantic Web Technologies.  2009. (view details)
   
• Markus Krötzsch, Bernhard Ganter. A Brief Introduction to Formal Concept Analysis. In Pascal Hitzler, Henrik Schärfe, eds.: Conceptual Structures in Practice.  2009. (view details)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. In Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan, eds.: Proceedings of the 7th International Semantic Web Conference (ISWC-08).  2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Description Logic Reasoning with Decision Diagrams – Compiling SHIQ to Disjunctive Datalog. In Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan, eds.: Proceedings of the 7th International Semantic Web Conference (ISWC-08).  2008. (view details, download)
   
• Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Approximate OWL-Reasoning with Screech. In Diego Calvanese, Georg Lausen, eds.: Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR-08).  2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Cheap Boolean Role Constructors for Description Logics. In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds.: Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-08).  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).  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 Artificial Intelligence (AAAI-08).  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.  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).  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 Artificial Intelligence (AAAI-07).  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).  2007. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandečić. 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).  2007. (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).  2006. (view details, download)
   
• Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, 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).  2006. (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).  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, 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).  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).  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).  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).  2005. (view details, download)