ATTRIBUTIVE CONCEPT DESCRIPTIONS WITH COMPLEMENTS
ATTRIBUTIVE CONCEPT DESCRIPTIONS WITH COMPLEMENTS
复制标题
DOI：
10.1016/0004-3702(91)90078-x
复制
发表时间：
1991-02-01
影响因子：
14.4
通讯作者：
SMOLKA, G
中科院分区：
文献类型：
--
作者：
SCHMIDTSCHAUSS, M;SMOLKA, G
我们调查的后果，增加工会和补充的属性概念描述中采用的术语知识表示语言。 结果表明，决定这种描述的连贯性和包容性是PSPACE完全问题，可以决定与线性空间。
We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that can be decided with linear space.