A Decision Procedure for SHOIQ with Transitive Closure of Roles - Université Paris 8 Vincennes - Saint-Denis Access content directly
Journal Articles Proceedings of the International Semantic Web Conference Year : 2013

A Decision Procedure for SHOIQ with Transitive Closure of Roles

No file

Dates and versions

hal-03243038 , version 1 (31-05-2021)

Identifiers

  • HAL Id : hal-03243038 , version 1

Cite

Chan Le Duc, Myriam Lamolle, Olivier Curé. A Decision Procedure for SHOIQ with Transitive Closure of Roles: article publié dans actes de colloque. Proceedings of the International Semantic Web Conference, 2013, pp.264-279. ⟨hal-03243038⟩
10 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More