CAREER: Theory of Distributed Ontologies and the Semantic Web

这项建议的主要研究目标是开发一个正式的分布式本体论的语义Web上使用的理论。该理论定义了本体之间以及本体与信息资源之间可能存在的关系的语义。该理论将分阶段发展：一个模型理论语义与不同的蕴涵关系，为每一个观点将遵循一个可能的世界语义，统一的各种蕴涵关系。然后，它将被扩展以允许丰富的信任表达。可伸缩性是语义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.