Combining answer set programming with description logics for the semantic Web
We propose 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. To this end, we introduce description logic programs (or dl-programs), which consist of a descr...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2008
|