论数码物的存在
在我参加的万维网联盟巴塞罗那研讨会上，一位年轻的工程师非常急切地提出，我们可以开发一套最低范畴来描述数码物，例如，每个人都有父亲或母亲。另一位与会者回答道，在日本和中国，来自母方的舅舅与来自父方的叔叔有不同称谓的情况该如何处理？ 他们都叫uncle吗？那么如何才能解决这种客观性需求？应该用怎样的方法来代替常识？
本体与知识表示
普遍语言的观念似乎被分析性地挫败了，因为观察者的本体论信念不仅受情感影响，而且也受文化的异质性影响。我们应该注意到这次失败之后的一些进展：首先，它标志着形式逻辑的胜利，它把内容从“语言”中去除，并推导出纯粹的“语法”或“形式”；其次，基于实践与实用推理，在信息系统中出现了面向领域或具体形式的本体；第三，通过技术全球化与工业标准化，实现了特定本体的普遍化。在计算机科学领域存在着大量的本体研究项目，由此产生的研究与提议因其具体的领域与方法而大相径庭。在本节中，我们审视研究本体的“常识”方法，在后面的章节中，我们将对形式本体进行更为集中的讨论。
目前“网络本体”的发展已经采取了非常实用与简单化的方法或者应该说，它包含了关于事物的最少数量的范畴。网络本体的许多工作都出现于知识表示这一计算领域的重要主题，后者自20世纪80年代以来就是人工智能的重要课题。计算机科学家汤姆·格鲁伯将本体定义为“一个概念化的规范”。[14]他进一步阐述道：“本体是表示的产品(一个规范),与它所模拟的世界截然不同，且….它是为了某个目的而建造，而设计的产品。”[15]本体是人们对世界的知识表示，它由形式与非形式两部分组成：形式部分就像公理，使意义得以衍生(语法)；非形式的部分犹如由字典中的解释，由自由文本(对机器无关紧要的语义)组成。
82
72