SET CONTAINMENT INFERENCE AND SYLLOGISMS

被引：3

作者：

ATZENI, P

PARKER, DS

机构：

[1] CNR,IST ANAL SISTEMI & INFORMAT,I-00185 ROMA,ITALY

[2] UNIV CALIF LOS ANGELES,DEPT COMP SCI,LOS ANGELES,CA 90024

来源：

关键词：

Knowledge Representation - Set Containment Inference - Syllogisms - Type Hierarchies - Type Inclusion Inference;

D O I：

10.1016/0304-3975(86)90011-3

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

(Edited Abstract)

引用

页码：39 / 65

页数：27

共 16 条

[1]

ARISAWA H, 1986, 12TH P VLDB, P449

[2]

ATTARDI G, 1981, 7TH P INT JOINT C AR, P504

[3]

ATZENI P, 1986, 2ND P IEEE INT C DAT, P700

[4]

COSMADAKIS SS, 1985, P C REWRITING TECHNI, P107

[5] DAL - A LOGIC FOR DATA-ANALYSIS [J].

DELCERRO, LF ;

ORLOWSKA, E .

[6]

GARDNER M, 1982, LOGIC MACHINES DIAGR

[7]

Garey MR., 1979, COMPUTERS INTRACTABI

[8] SYLLOGISTIC INFERENCE [J].

JOHNSONLAIRD, PN ;

BARA, BG .

[9]

KANELLAKIS PC, 1983, 15TH P ACM S THEORY, P264

[10]

Maier D., 1983, THEORY RELATIONAL DA