Design and Evaluation of Mid-level Ontologies

中层本体的设计与评估

• 批准号: RGPIN-2014-05916
• 负责人: Gruninger, Michael
• 金额: $ 2.84万
• 依托单位: University of Toronto
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=687311
• 关键词: Design; Evaluation; Mid; level; Ontologies

Many applications in the domains of e-commerce, e-government, and e-science require the semantic integration of a wide variety of datasets and semantic interoperability among diverse software systems and services. Although domain ontologies have been proposed for decision support and semantic integration, a number of challenges remain:**- Within the same domain, there are multiple conflicting ontologies, without a clear understanding of the metalogical relationships between them.*- The design of an ontology is hindered because the intended models are difficult to characterize, and even with this characterization, the class of intended models can be difficult to axiomatize. *- Weak axiomatizations of an ontology allow the existence of unintended models; this is problematic for decision support systems insofar as there will exist sentences that are*entailed by all intended models of the ontology but which are not provable from the axioms.*- The lack of modularization inhibits the reusability of large ontologies.**The content of COLORE now allows us to address fundamental problems in ontology design and evaluation. COLORE explicitly specifies the metatheoretic relationships among ontologies, such as conservative extension, nonconservative extension, and definable interpretation. This allows one to explicitly determine common subtheories that are*shared by multiple ontologies in the same domain. Furthermore, these relationships can be used to verify that the intended models of an ontology are equivalent to the models of the axiomatization, and this verification can be used to modularize the ontology.**Upper ontologies such as Cyc and SUMO respond the above challenges by defining concepts which are specializations of generic concepts and generalizations of domain ontologies. Since repositories contain many generic ontologies, one possible approach is to design ontologies which are intermediate between the domain and generic ontologies.*Nevertheless, there has been no formal characterization of such midlevel ontologies.**To address these challenges, this project has the following objectives:*1. Specify the metalogical relationships (used in COLORE) among existing domain ontologies.*2. Design new modular midlevel ontologies by merging generic ontologies and then formally evaluate them with respect to their logical and mathematical properties.*3. Design midlevel ontologies by definitional extensions of generic ontologies.*4. Specify techniques for the modularization of domain ontologies based on their metalogical relationships.*5. Implement a software environment to support ontology design and evaluation**The following domain ontologies will be in the scope of this project: GoodRelations, FIBO, Units of Measure, Date-Time Vocabulary, SCRIBE, Foundational Model of Anatomy, BioPAX, together with the various ontologies for events, addresses, and products, which are used in Semantic Web applications.

电子商务，电子政务和电子科学领域中的许多应用都需要各种数据集的语义集成以及各种软件系统和服务之间的语义互操作性。尽管已经提出了针对决策支持和语义整合的领域本体论，但仍然存在许多挑战：** - 在同一领域内，没有多个矛盾的本体论，而没有清楚地了解它们之间的金属关系。 * - 本体论的弱公理构成允许存在意外模型；对于决策支持系统而言，这是有问题的。 Colore明确指定了本体论之间的元态关系，例如保守扩展，非保守性扩展和可确定的解释。这允许一个人明确确定同一领域中多个本体共享*共享的常见子理论。此外，这些关系可用于验证本体论的预期模型等同于公理化模型，并且该验证可用于模块化本体。由于存储库包含许多通用本体，因此一种可能的方法是设计本体论，这些本体介于领域和通用本体之间。在现有领域本体中指定金属关系（用于COLORE）。*2。通过合并通用本体，然后根据其逻辑和数学属性进行正式评估它们。*3。设计中级本体学的定义扩展是通用本体的定义扩展。*4。指定基于其金属关系的域本体模块化技术。*5。实施一个软件环境来支持本体的设计和评估**以下领域本体学将在此项目的范围内：良好关系，纤维，度量单位，日期时间词汇，抄写员，抄写员，解剖学基础模型，Biopax的基础模型，以及用于语义网络应用程序的事件，地址和产品的各种本体学，以及用于语义网络应用程序的各种本体。