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
Division:
MPLS
Department:
Computer Science
Role:
Author
Journal:
ARTIFICIAL INTELLIGENCE
Volume:
172
Issue:
12-13
Pages:
1495-1539
Publication date:
2008-08-01
DOI:
ISSN:
0004-3702
Source identifiers:
291495
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


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