A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Well-Founded Semantics for Description Logic Programs in the Semantic Web
[chapter]
2004
Lecture Notes in Computer Science
In previous work, towards the integration of rules and ontologies in the Semantic Web, we have proposed a combination of logic programming under the answer set semantics with the description logics SHIF(D) and SHOIN (D), which underly the Web ontology languages OWL Lite and OWL DL, respectively. More precisely, we have introduced description logic programs (or dl-programs), which consist of a description logic knowledge base L and a finite set of description logic rules P , and we have defined
doi:10.1007/978-3-540-30504-0_7
fatcat:yo47nbzttnhmxftjnglk3om3hm