Document Type
Conference Proceeding
Publication Date
9-10-2007
Abstract
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowledge representation for the Semantic Web, two different paradigms - namely Description Logics (DLs) and Logic Programming - are the two most successful approaches. A study of their exact relationships is thus paramount. An intersection of OWL with (function-free non-disjunctive) Datalog, called DLP (for Description Logic Programs), has been described in [1,2]. We provide normal forms for DLP in Description Logic syntax and in Datalog syntax, thus providing a bridge for the researcher and user who is familiar with either of these paradigms. We argue that our normal forms are the most convenient way to define DLP for teaching and dissemination purposes.
Repository Citation
Hitzler, P.,
& Eberhart, A.
(2007). Description Logic Programs: Normal Forms. CEUR Workshop Proceedings, 277.
https://corescholar.libraries.wright.edu/cse/32
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the Foundations of Artificial Intelligence Workshop, Osnabruck, Germany, September 10, 2007.