Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard

Autor:	Franz Baader, Clément Théron
Rok vydání:	2020
Předmět:	Discrete mathematics 0303 health sciences 0206 medical engineering 02 engineering and technology Decidability 03 medical and health sciences Cupboard Description logic Artificial Intelligence Direct proof Value (mathematics) 020602 bioinformatics 030304 developmental biology Mathematics
Zdroj:	KI - Künstliche Intelligenz. 34:291-301
ISSN:	1610-1987 0933-1875
DOI:	10.1007/s13218-020-00651-0
Popis:	We investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the description logic$$\mathcal{FL}_0$$FL0. On the one hand, we give a more direct proof for ExpTime-hardness of subsumption w.r.t. general concept inclusions in$$\mathcal{FL}_0$$FL0. On the other hand, we determine restrictions on role-value maps that ensure decidability of subsumption, but we also show undecidability for the cases where these restrictions are not satisfied.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1c89e7bd631a5056c8773254f0d8449e https://doi.org/10.1007/s13218-020-00651-0 Zobrazit plný text záznamu Full text from SpringerLink