Journal article
Combining answer set programming with description logics for the semantic Web
- Abstract:
-
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 description logic knowledge base L and a finite set P of description logic rules (or dl-rules). Such rules are similar to usual rules in nonmonotonic logic programs, but they may also contain queries to...
Expand abstract
- Publication status:
- Published
Actions
Authors
Bibliographic Details
- Journal:
- ARTIFICIAL INTELLIGENCE
- Volume:
- 172
- Issue:
- 12-13
- Pages:
- 1495-1539
- Publication date:
- 2008-08-01
- DOI:
- ISSN:
-
0004-3702
- Source identifiers:
-
291495
Item Description
- Language:
- English
- Keywords:
- Pubs id:
-
pubs:291495
- UUID:
-
uuid:2e399e72-faf7-45b4-a22c-d489274a8f18
- Local pid:
- pubs:291495
- Deposit date:
- 2012-12-19
Terms of use
- Copyright date:
- 2008
If you are the owner of this record, you can report an update to it here: Report update to this record