A Resolution-Based Decision Procedure for SHOIQ.
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...
| Príomhchruthaitheoirí: | , |
|---|---|
| Formáid: | Journal article |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
2008
|