Adding Threshold Concepts to the Description Logic EL
Aus International Center for Computational Logic
Adding Threshold Concepts to the Description Logic EL
Vortrag von Oliver Fernández Gil
- Veranstaltungsort: APB 3027
- Beginn: 11. Mai 2016 um 14:50
- Ende: 11. Mai 2016 um 15:50
- Forschungsgruppe: Automatentheorie
- Event series: KBS Seminar
- iCal
We introduce a family of logics extending the lightweight Description Logic EL, that allows us to define concepts in an approximate way. The main idea is to use a graded membership function m, which for each individual and concept yields a number in the interval [0,1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ in {<,<=,>,>=} then collect all the individuals that belong to C with degree ~t. We further study this framework in two particular directions. First, we define a specific graded membership function deg and investigate the complexity of reasoning in the resulting Description Logic tEL(deg) w.r.t. both the empty terminology and acyclic TBoxes. Second, we show how to use the relaxed instance query approach of Ecke et al. to turn concept similarity measures into membership degree functions. It turns out that under certain conditions such functions are well-defined, and therefore induce a wide range of threshold logics. Last, we present preliminary results on the computational complexity landscape of reasoning in such a big family of threshold logics.
