Logic programming
From korrekt.org
Logic programming (LP) is a vast field of knowledge representation and reasoning, vaguely defined by the usage of logical «rules» as a basic expressive feature. Some LP formalisms are declarative, others are not.
My works in this area are mostly applications of one or the other LP paradigm to other areas. Most prominently, we have considered description logic rules and ELP as logic programming approaches for OWL 2 DL.
Publications related to this topic
Updates to the following list are also available as RSS feed. A list of all publications is also available.
- 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)
- 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, 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, 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, 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)
