Sciweavers

DLOG
2004

A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN

13 years 5 months ago
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, showing that the upper bound of our approach meets the complexity lower bound. The work is motivated by the need to offer a uniform approach to reasoning services useful in semantic-based matchmaking scenarios. 1 Motivation In recent papers [16, 15], Description Logics (DLs) have been proposed to model knowledge domains in Semantic Web scenarios. A challenging issue in such scenarios is the matchmaking problem which is finding an offered resource described by a formalism with an unambiguous semantics [21, 8, 17]. Using DLs to describe resources, it is possible to infer which of them satisfies the request either completely (i.e., subsumes the request) or potentially (i.e., the conjunction of the requested resource and the offered one is satisfiable) or partially(i.e., the conjunction of the requested resource and...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where DLOG
Authors Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Comments (0)