Sciweavers

DLOG
2009

A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics

13 years 10 months ago
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
Francesco M. Donini, Simona Colucci, Tommaso Di No
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where DLOG
Authors Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio
Comments (0)