Tableau-based revision for expressive description logics with individuals - Université Paris 8 Vincennes - Saint-Denis Accéder directement au contenu
Article Dans Une Revue Journal of Web Semantics Année : 2017

Tableau-based revision for expressive description logics with individuals

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03237440 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More