Chan Le Duc

University Paris 8 - LIASD

2 rue de la Liberté

Paris, 93526

France

SCHOLARLY PAPERS

1

DOWNLOADS

8

CITATIONS

0

Scholarly Papers (1)

1.

Tableau-Based Revision for Expressive Description Logics with Individuals

Journal of Web Semantics First Look
Number of pages: 36 Posted: 11 Jul 2018
Thinh Dong, Chan Le Duc and Myriam Lamolle
University Paris 8 - LIASD, University Paris 8 - LIASD and University Paris 8 - LIASD
Downloads 8 (591,439)

Abstract:

Loading...

Ontology, Revision, Tableau Algorithm, Description Logics