ATTRIBUTIVE CONCEPT DESCRIPTIONS WITH COMPLEMENTS

被引:374
作者
SCHMIDTSCHAUSS, M
SMOLKA, G
机构
[1] DEUTSCH FORSCH KREBSFORSCHUNZENTRUM,W-6600 SAARBRUCKEN 11,GERMANY
[2] UNIV SAARLAND,W-6600 SAARBRUCKEN,GERMANY
关键词
D O I
10.1016/0004-3702(91)90078-X
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:1 / 26
页数:26
相关论文
共 40 条
[11]  
DOYLE J, 1991, ARTIF INTELL
[12]  
Eisele A., 1988, 26th Annual Meeting of the Association for Computational Linguistics. Proceedings of the Conference, P286
[13]  
Garey MR., 1979, COMPUTERS INTRACTABI
[14]  
HOLLUNDER B, 1990, DFKI RR9004 RES REP
[15]  
Kaczmarek T. S., 1986, Proceedings AAAI-86: Fifth National Conference on Artificial Intelligence, P978
[16]  
Kasper R. T., 1987, 25th Annual Meeting of the Association for Computational Linguistics. Proceedings of the Conference, P235
[17]  
KASPER RT, 1987, THESIS U MICHIGAN
[18]  
KASPER RT, 1986, 24TH P ANN M ACL NEW, P257
[19]  
KAY M, 1979, 5TH P ANN M BERK LIN
[20]  
Levesque H, 1985, READINGS KNOWLEDGE R, P41