Chan Le Duc

University Paris 8 - LIASD

2 rue de la Liberté

Paris, 93526

France

SCHOLARLY PAPERS

1

DOWNLOADS

7

0

!

Under construction: SSRN citations while be offline until July when we will launch a brand new and improved citations service, check here for more details.

For more information

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 7 (588,857)

Abstract:

Loading...

Ontology, Revision, Tableau Algorithm, Description Logics