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. Extending this procedure to SHOIQ using existing techniques is not straightforward because of nominals, number restrictions, and inverse roles—a combination known to cause termination problems. We over...

Expand abstract

Actions


Access Document


Files:

Authors


Yevgeny Kazakov More by this author
Boris Motik More by this author
Journal:
Journal of Automated Reasoning
Volume:
40
Issue:
2−3
Pages:
89-116
Publication date:
2008
URN:
uuid:5daba47f-cc48-4fa5-84b5-acd1d8a02487
Local pid:
cs:896

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