en-es
en
0.25
0.5
0.75
1.25
1.5
1.75
2
A decision procedure for SHOIQ with transitive closure of roles
Published on Nov 28, 20134214 Views
The Semantic Web makes an extensive use of the OWL DL ontology language, underlied by the SHOIQ description logic, to formalize its resources. In this paper, we propose a decision procedure for this l
Related categories
Chapter list
A decision procedure for SHOIQ with Transitive Closure of Roles00:00
Why transitive closure of roles is needed? - 100:15
Why transitive closure of roles is needed? - 202:36
SHOIQ and Transitive Closure of Roles - 102:58
SHOIQ and Transitive Closure of Roles - 203:18
Why is SHOIQ(+) tricky?03:54
Overview of the algorithm - 105:03
Overview of the algorithm - 205:16
Star-type05:30
Star-types and linking05:56
Overview of the algorithm - 306:19
Frame and sections - 106:29
Frame and sections - 207:20
Overview of the algorithm - 408:18
Blocking condition08:24
Overview of the algorithm - 509:30
Termination of the algorithm09:59
Soundness : from a valid frame to a model - 110:37
Soundness : from a valid frame to a model - 211:12
Completeness : from a model to a valid frame12:03
Conclusion and Future Work13:21