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 <em>OWLDL</em>. Our procedure is goal-oriented, and it naturally extends a similar procedure for <em>SHIQ</em>, which...
| প্রধান লেখক: | , |
|---|---|
| বিন্যাস: | Conference item |
| প্রকাশিত: |
Springer
2006
|