Journal article icon

Journal article

A Resolution-Based Decision Procedure for SHOIQ.

Abstract:

We present a resolution-based decision procedure for the description logic SHOIQ - the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, and it naturally extends a similar procedure for SHIQ, which has proven itself in practice. Applying existing techniques for deriving saturation-based decision procedures to SHOIQ is not straightforward due to nominals, number restrictions, and inverse roles - a combination known to cause termination problems. We ove...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1007/s10817-007-9090-1

Authors


Kazakov, Y More by this author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Journal:
J. Autom. Reasoning
Volume:
40
Issue:
2-3
Pages:
89-116
Publication date:
2008
DOI:
EISSN:
1611-3349
ISSN:
0168-7433
URN:
uuid:5eb338cd-6a35-4f87-b0e1-8f4bc79ea64c
Source identifiers:
285594
Local pid:
pubs:285594

Terms of use


Metrics



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

TO TOP