CAREER: Theory of Distributed Ontologies and the Semantic Web

本提案的主要研究目标是开发用于语义网的分布式本体的形式化理论。该理论定义了本体之间以及本体与信息资源之间可能存在的关系的语义。该理论将分阶段发展：每个观点具有不同蕴涵关系的模型理论语义将遵循统一各种蕴涵关系的可能世界语义。然后，它将被扩展到允许丰富的信任表达。可扩展性是语义网的一个重要问题，在理论设计中将是一个重要的考虑因素。这个项目的结果也会影响其他领域，例如，自治代理和分布式数据库之间的通信。这个项目的教育部分侧重于使用语义网作为教育和培训语义网实践者和未来研究人员的工具。该项目的资源将用于一门课程，并将提供给其他教育者使用。

The main research objective of this proposal is to develop a formal theory of distributed ontologies for use on the Semantic Web. The theory defines the semantics of relationships that can exist between ontologies and those that can exist between ontologies and information resources. The theory will be developed in phases: a model theoretic semantics with different entailment relations for each point of view will be followed by a possible world semantics that unifies the various entailment relations. It will then be extended to allow for rich expressions of trust. Scalability, an important issue for the Semantic Web, will be a significant consideration in the design of the theory. Results from this project would impact other areas as well, for instance, communication between autonomous agents and distributed databases. The educational component of this project focuses on using the Semantic Web as a tool for education and for the training of semantic web practitioners and future researchers. Resources from the project will be used in a course and will be made available for use by other educators.