Conference item

### Well−Founded Semantics for Description Logic Programs in the Semantic Web

Abstract:

In previous work, towards the integration of rules and ontologies in the SemanticWeb, 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 ...

### Authors

Publisher:
Springer
Volume:
3323
Publication date:
2004-01-01
URN:
uuid:00e60ec3-fbe2-48c2-a22d-163bb5885606
Local pid:
cs:6710
ISBN:
3-540-23842-5