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

dc.contributor.author	Baader, Franz
dc.contributor.author	Théron, Clément
dc.date.accessioned	2021-04-23T09:35:31Z
dc.date.available	2021-04-23T09:35:31Z
dc.date.issued	2020
dc.description.abstract	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$$ FL 0 . 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$$ FL 0 . 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.	de
dc.identifier.doi	10.1007/s13218-020-00651-0
dc.identifier.pissn	1610-1987
dc.identifier.uri	http://dx.doi.org/10.1007/s13218-020-00651-0
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/36302
dc.publisher	Springer
dc.relation.ispartof	KI - Künstliche Intelligenz: Vol. 34, No. 3
dc.relation.ispartofseries	KI - Künstliche Intelligenz
dc.subject	Decidability and complexity
dc.subject	Description logic
dc.subject	Role-value maps
dc.subject	Value restrictions
dc.title	Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard	de
dc.type	Text/Journal Article
gi.citation.endPage	301
gi.citation.startPage	291

Sammlungen