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

来源：

ARTIFICIAL INTELLIGENCE | 1991年 / 48卷 / 01期

关键词：

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 条

[1] LOGIN - A LOGIC PROGRAMMING LANGUAGE WITH BUILT-IN INHERITANCE [J].

AITKACI, H ;

NASR, R .

JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03) :185-215

[2] AN ALGEBRAIC SEMANTICS APPROACH TO THE EFFECTIVE RESOLUTION OF TYPE EQUATIONS [J].

AITKACI, H .

THEORETICAL COMPUTER SCIENCE, 1986, 45 (03) :293-351

[3]

AITKACI H, 1984, THESIS U PENNSYLVANI

[4]

BORGIDA A, 1989, 1989 P ACM SIGMOD IN, P59

[5] AN OVERVIEW OF THE KL-ONE KNOWLEDGE REPRESENTATION SYSTEM [J].

BRACHMAN, RJ ;

SCHMOLZE, JG .

COGNITIVE SCIENCE, 1985, 9 (02) :171-216

[6]

BRACHMAN RJ, 1984, P AAAI 84 AUSTIN, P34

[7]

Bresnan Joan., 1982, MENTAL REPRESENTATIO, P173

[8]

DONINI F, IN PRESS COMPLEXITY

[9]

DORRE J, 1989, GWAI 89, V216, P270

[10]

DOYLE J, 1989, MITLCSTM387 LAB COMP

← 1 2 3 4 →