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 2013-11-284219 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
Presentation
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