(2)关系的否定是一种关系，而一类关系的逻辑结果是一种关系；(3)两种关系的相对产物必然是一种关系；(4)实质条件是一种关系；(5)一个词与它所属的类的关系是一种关系。
[88] Grolingeret al., “DataManagementin Cloud Environments".
[89] Dourish,“NoSQL”.
[91]同时，我们看到这两者之间的融合。正如我们在第一章中所见，在语义网络的愿景中，智能代理在决策制定与逻辑推理中起着至关重要的作用。
[93] See McGuinness and van Harmelen, “OWL Web Ontology Language”,其中他们定义了“不同于”：一个人可能被说成与其他人不同。例如，个体弗兰克可能会被说成与个体底波拉和吉姆不同。因此，如果个体弗兰克和底波拉都是一个被陈述为功能的属性值(因此该属性最多只有一个值)，那么就存在矛盾。在使用网络本体语言(和资源定义框架)等语言时，明确指出个体不同可能会十分重要，它们并不假定个体只有一个名字。譬如，没有额外信息的情况下，推理机不会推断弗兰克与底波拉指不同的个人。
[94]Heidegger, Being and Time,97, section 68.
[96] Heidegger,Fundamental Concepts of Metaphysics, 198; GA 29/30,291.
[97]这在休伯特·德雷福斯关于海德格尔式人工智能的著作中非常重要：几位计算机科学家受到他的影响，包括特里，温诺格拉德和菲利普·阿格雷。
注 释
267
[106] Triclot，“Milieu Technique”（技术环境)。
[107]Leroi-Gourhan，Milieu et technique(技术与环境),334。
[108] Quoted by Triclot, “Milieu Technique" , 24, from Leroi-Gourhan, Milieu ettechnique, 332。
[109] Stiegler, Technics and Time, vol.1.
268
253