A Resolution−Based Decision Procedure for SHOIQ

We present a resolution-based decision procedure for the description logic <em>SHOIQ</em>—the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, and it naturally extends a similar procedure for <em>SHIQ</em>, which has proven itself in...

Ausführliche Beschreibung

Bibliographische Detailangaben
Hauptverfasser: Kazakov, Y, Motik, B
Format: Journal article
Veröffentlicht: 2008