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

13 years 9 months ago

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

Automated Reasoning | Description Logics | DLOG 2009 |

claim paper

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)