Tableau-based revision for expressive description logics with individuals - Archive ouverte HAL Access content directly
Journal Articles Journal of Web Semantics Year : 2017

Tableau-based revision for expressive description logics with individuals

, (1) , (2)
1
2
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⟩
32 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More