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

Not 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⟩
9 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More