本文提出一种将以领域专家为核心的本体设计与跨行业数据挖掘标准流程（Cross-Industry Standard Process for Data Mining, CRISP-DM）相融合的方法，旨在高效构建适配信息物理系统（Cyber-Physical Systems, CPS）纠错性维护的专用应用本体。该方法分为三个阶段：第一阶段系统明确本体需求，界定相关知识范围；第二阶段利用领域特定的本体构件对CPS生命周期数据进行语境化处理，再将形式化的领域知识应用于CRISP-DM中，高效从数据中提取新洞见，最后借助新开发的数据驱动模型填充并扩展本体；第三阶段对从该模型提取的信息进行语义标注，并与现有本体对齐。该方法的适用性已在一个模块化加工厂的异常检测案例研究中得到验证。
英文摘要：
In the following contribution, a method is introduced that integrates domain expert-centric ontology design with the Cross-Industry Standard Process for Data Mining (CRISP-DM). This approach aims to efficiently build an application-specific ontology tailored to the corrective maintenance of Cyber-Physical Systems (CPS). The proposed method is divided into three phases. In phase one, ontology requirements are systematically specified, defining the relevant knowledge scope. Accordingly, CPS life cycle data is contextualized in phase two using domain-specific ontological artifacts. This formalized domain knowledge is then utilized in the CRISP-DM to efficiently extract new insights from the data. Finally, the newly developed data-driven model is employed to populate and expand the ontology. Thus, information extracted from this model is semantically annotated and aligned with the existing ontology in phase three. The applicability of this method has been evaluated in an anomaly detection case study for a modular process plant.
TÜBİTAK Energy Institute（土耳其科学技术研究理事会能源研究所）；Gazi University（加济大学）
Ontologies are critical sources of semantic information for many application domains. Hence, there are ontologies proposed and utilized for domains such as medicine, chemical engineering, and electrical energy. In this paper, we present an improved and extended version of a wind energy ontology previously proposed. First, the ontology is restructured to increase its understandability and coverage. Secondly, it is enriched with new concepts, crisp/fuzzy attributes, and instances to increase its usability in semantic applications regarding wind energy. The ultimate ontology is utilized within a …
This paper is concern about developing a semantic agreement maintenance method based on semantic distance by calculating the change of local schema or ontology. This approach is important in dynamic and autonomous environment, in which the current approach assumed that agreement or mapping in static environment. The contribution of this research is to develop a framework based on semantic agreement maintenance approach for P2P environment. This framework based on two level hybrid P2P model architecture, which consist of two peer type: (1) super peer that use to register and manage the other pe…
Free University of Bozen-Bolzano（博岑-博尔扎诺自由大学）；University of Liverpool（利物浦大学）；University of Bremen（不来梅大学）；Birkbeck, University of London（伦敦大学伯贝克学院）
The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization, forgetting, and knowledge exchange. What safe replacement means depends on the intended application of the ontology. If, for example, it is used to query data, then the answers to any relevant ontology-mediated query should be the same over any relevant data set; if, in contrast, the ontology is used for conceptual reasoning, then the entailed subsumptions between co…
We present DINGO (Data INtegration for Grants Ontology), an ontology that provides a machine readable extensible framework to model data for semantically-enabled applications relative to projects, funding, actors, and, notably, funding policies in the research landscape. DINGO is designed to yield high modeling power and elasticity to cope with the huge variety in funding, research and policy practices, which makes it applicable also to other areas besides research where funding is an important aspect. We discuss its main features, the principles followed for its development, its community upt…
Inha University（仁荷大学）；Rutgers University（罗格斯大学）；Incheon National University（仁川国立大学）
Traffic congestion is rapidly increasing in urban areas, particularly in mega cities. To date, there exist a few sensor network based systems to address this problem. However, these techniques are not suitable enough in terms of monitoring an entire transportation system and delivering emergency services when needed. These techniques require real-time data and intelligent ways to quickly determine traffic activity from useful information. In addition, these existing systems and websites on city transportation and travel rely on rating scores for different factors (e.g., safety, low crime rate,…
Ontology-Aware Design Patterns for Clinical AI Systems: Translating Reification Theory into Software Architecture
Institute of General Medicine, University Clinics Halle, Martin Luther University Halle-Wittenberg（哈勒大学医院全科医学研究所，马丁·路德·哈勒-维滕贝格大学）；Apsley Business School（阿普斯利商学院）
University of Pavia（帕维亚大学）；Free University of Bozen-Bolzano（博尔扎诺自由大学）
A key challenge for Industry 4.0 applications is to develop control systems for automated manufacturing services that are capable of addressing both data integration and semantic interoperability issues, as well as monitoring and decision making tasks. To address such an issue in advanced manufacturing systems, principled knowledge representation approaches based on formal ontologies have been proposed as a foundation to information management and maintenance in presence of heterogeneous data sources. In addition, ontologies provide reasoning and querying capabilities to aid domain experts and…
The Artificial Intelligence Ontology: LLM-assisted construction of AI concept hierarchies
Lawrence Berkeley National Laboratory（劳伦斯伯克利国家实验室）；UC Berkeley（加州大学伯克利分校）；Helen Wills Neuroscience Institute（海伦·威尔斯神经科学研究所）；Redwood Center for Theoretical Neuroscience（红杉理论神经科学中心）
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for c…
FBS Model-based Maintenance Record Accumulation for Failure-Cause Inference in Manufacturing Systems
Department of Precision Engineering, School of Engineering（精密工程系）；Research into Artifacts Center for Engineering (RACE)（工程制品研究中心）；DENSO CORPORATION（DENSO公司）
Dynamic Retrieval Augmented Generation of Ontologies using Artificial Intelligence (DRAGON-AI)
University of North Carolina at Chapel Hill（北卡罗来纳大学教堂山分校）；The Jackson Laboratory（杰克逊实验室）；University of Arizona（亚利桑那大学）；Simon Fraser University（西蒙弗雷泽大学）；The Jackson Laboratory for Genomic Medicine（杰克逊基因组医学实验室）；University at Buffalo（布法罗大学）；University of Florida（佛罗里达大学）；Northwestern University（西北大学）；SIB Swiss Institute of Bioinformatics（SIB瑞士生物信息学研究所）；Lawrence Berkeley National Laboratory（劳伦斯伯克利国家实验室）；University of São Paulo（圣保罗大学）；University of Colorado Anschutz Medical Campus（科罗拉多大学安舒茨医学中心）；Sanger Institute（桑格研究所）；European Bioinformatics Institute (EMBL-EBI)（欧洲生物信息研究所（EMBL-EBI））；Phoenix Bioinformatics（菲尼克斯生物信息学公司）；Stowers Institute for Medical Research（斯托尔斯医学研究所）；IC-FOODS；Rothamsted Research（洛桑研究所）；National Center for Advancing Translational Sciences（国家推进转化科学中心）；INRAE, French National Research Institute for Agriculture, Food and Environment（法国国家农业、食品与环境研究院（INRAE））；University of Cambridge（剑桥大学）
University of Bologna（博洛尼亚大学）；Central Institute for Cataloguing and Documentation（中央编目与文献研究所）；Ministry of Cultural Heritage and Activities（文化遗产与活动部）；Institute of Cognitive Sciences and Technologies（认知科学与技术研究所）；Italian National Research Council（意大利国家研究委员会）
Ontology Design Patterns (ODPs) have become an established and recognised practice for guaranteeing good quality ontology engineering. There are several ODP repositories where ODPs are shared as well as ontology design methodologies recommending their reuse. Performing rigorous testing is recommended as well for supporting ontology maintenance and validating the resulting resource against its motivating requirements. Nevertheless, it is less than straightforward to find guidelines on how to apply such methodologies for developing domain-specific knowledge graphs. ArCo is the knowledge graph of…
Tsinghua University（清华大学）；Khoury College of Computer Sciences, Northeastern University（东北大学库利计算机科学学院）
Web and artificial intelligence technologies, especially semantic web and knowledge graph (KG), have recently raised significant attention in educational scenarios. Nevertheless, subject-specific KGs for K-12 education still lack sufficiency and sustainability from knowledge and data perspectives. To tackle these issues, we propose EDUKG, a heterogeneous sustainable K-12 Educational Knowledge Graph. We first design an interdisciplinary and fine-grained ontology for uniformly modeling knowledge and resource in K-12 education, where we define 635 classes, 445 object properties, and 1314 datatype…
