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

Domains

Computer Science [cs]

Haki Shtalbi  : Connect in order to contact the contributor

https://hal-univ-paris8.archives-ouvertes.fr/hal-03237440

Submitted on : Wednesday, May 26, 2021-4:15:01 PM

Last modification on : Thursday, February 2, 2023-5:00:08 PM

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS13 UNIV-PARIS8 LIASD LIMICS USPC SORBONNE-UNIVERSITE SU-SCIENCES UNIV-PARIS-LUMIERES SORBONNE-PARIS-NORD
32 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More