DLP
From ONTOLORE
Description Logic Programs (DLPs) - roughly speaking - are ontological knowledge bases which lie within the intersection of OWL and Logic Programming. They could be described as a naive Horn fragment of OWL DL. As such they provide a formal link between different ontology representation paradigms, and serve multiple purposes in theoretical research and practical applications. They are also a fragment of the more expressive Horn-SHIQ, which is more powerful but follows similar intuitions.
DLP is part of the forthcoming OWL 2 standard, under the name OWL RL. It is supported by KAON2. A simple command line interface for DLP, e.g. for conversion into Prolog syntax, is provided as the KAON2 OWL Tool dlpconvert.
Links
- dlpconvert as part of the KAON2 OWL Tools
- A two-page introduction
Main Literature References
- Benjamin Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker, Description Logic Programs: Combining Logic Programs with Description Logics. In Proc. of WWW 2003, Budapest, Hungary, May 2003, pp. 48-57. ACM, 2003.
- Raphael Volz, Web Ontology Reasoning with Logic Databases. PhD thesis, Universität Karlsruhe, 2004.
Further Literature
- Pascal Hitzler, Bijan Parsia, Ontologies and Rules. In: Steffen Staab and Rudi Studer (eds.), Handbook on Ontologies, 2nd edition, Springer, to appear.
- 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, ECAI2008, Patras, Greece, July 2008. IOS Press, 2008, pp. 80-84. Extended technical report.
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, ELP: Tractable Rules for OWL 2. In: A Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, pp. 649-664. Extended technical report.
- Pascal Hitzler, Andreas Eberhart, Description Logic Programs: Normal Forms. In: Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007. CEUR Workshop Proceedings, Vol. 277, 2007. ISSN 1613-0073.
- Harold Boley, Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Reto Krummenacher, Holger Lausen, Axel Polleres, Rudi Studer, Web Rule Language (WRL). W3C Member Submission, 09 September 2005.
- Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Axel Polleres, Relationship of WRL to relevant other technologies. W3C Member Submission, 09 September 2005.
- Pascal Hitzler, Rudi Studer, and York Sure, Description Logic Programs: A Practical Choice For the Modelling of Ontologies. In: Proceedings of the 1st Workshop on Formal Ontologies meet Meet Industry, FOMI'05, Verona, Italy, June 2005.
- Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, and Rudi Studer, DLP isn't so bad after all. In: Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, November 2005. CEUR Workshop Proceedings Vol. 188. ISSN 1613-0073.
- Boris Motik, Denny Vrandecic, Pascal Hitzler, York Sure, and Rudi Studer, dlpconvert - Converting OWL DLP statements to logic programs. System Demo at the 2nd European Semantic Web Conference, Iraklion, Greece, May 2005.
