Tableau-based revision for expressive description logics with individuals - Université Paris 8 Vincennes - Saint-Denis Access content directly
Journal Articles Journal of Web Semantics Year : 2017
Not file

Dates and versions

hal-03237440 , version 1 (26-05-2021)

Identifiers

  • HAL Id : hal-03237440 , version 1

Cite

T. Dong, C. Le Duc, Myriam Lamolle. Tableau-based revision for expressive description logics with individuals. Journal of Web Semantics, 2017, 45, pp.63-79. ⟨hal-03237440⟩
36 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More