Journal article icon

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


Access Document


Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
Journal:
ARTIFICIAL INTELLIGENCE
Volume:
172
Issue:
12-13
Pages:
1495-1539
Publication date:
2008-08-05
DOI:
ISSN:
0004-3702
URN:
uuid:2e399e72-faf7-45b4-a22c-d489274a8f18
Source identifiers:
291495
Local pid:
pubs:291495

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP