Formal ontologies in manufacturing

被引：15
|
作者：
Sanfilippo, Emilio M. [1 ,2 ,3 ]
Kitamura, Yoshinobu [4 ]
Young, Robert I. M. [5 ]
机构：
[1] Loire Valley Inst Adv Studies, Studium, Orleans, France
[2] Loire Valley Inst Adv Studies, Studium, Tours, France
[3] Univ Tours, CESR, 59 Rue Nericault Destouches, F-37020 Tours, France
[4] Ritsumeikan Univ, Coll Informat Sci & Engn, Kyoto, Japan
[5] Loughborough Univ, Sch Mech Elect & Mfg Engn, Loughborough, Leics, England
来源：
APPLIED ONTOLOGY | 2019年 / 14卷 / 02期
关键词：
SYSTEMS;
D O I：
10.3233/AO-190209
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
[No abstract available]
引用
收藏
页码：119 / 125
页数：7
相关论文
共 50 条
  • [21] Modular ontologies - A formal investigation of semantics and expressivity
    Bao, Jie
    Caragea, Doina
    Honavar, Vasant G.
    SEMANTIC WEB - ASWC 2006, PROCEEDINGS, 2006, 4185 : 616 - 631
  • [22] Formal ontologies and their role in the integration of library resources
    Szulc, Jolanta
    QUALITATIVE & QUANTITATIVE METHODS IN LIBRARIES, 2015, : 505 - 515
  • [23] Designing ontologies using formal concept analysis
    Obitko, M
    Snásel, V
    Smid, J
    CIC '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMMUNICATIONS IN COMPUTING, 2004, : 302 - 308
  • [24] A Formal Framework for Coupling Document Spanners with Ontologies
    Lembo, Domenico
    Scafoglieri, Federico Maria
    2019 IEEE SECOND INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND KNOWLEDGE ENGINEERING (AIKE), 2019, : 155 - 162
  • [25] Mereotopological Analysis of Formal Concepts in Security Ontologies
    Aranda-Corral, Gonzalo A.
    Borrego-Diaz, Joaquin
    COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS 2010, 2010, 85 : 33 - +
  • [26] Using Deep Ontologies in Formal Software Engineering
    Brucker, Achim D.
    Ait-Sadoune, Idir
    Meric, Nicolas
    Wolff, Burkhart
    RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 15 - 32
  • [27] Sustainable Risk Identification Using Formal Ontologies
    Shaked, Avi
    Margalit, Oded
    ALGORITHMS, 2022, 15 (09)
  • [28] Review of Building Ontologies with Basic Formal Ontology
    Fricke, Martin
    JOURNAL OF THE ASSOCIATION FOR INFORMATION SCIENCE AND TECHNOLOGY, 2017, 68 (03) : 801 - 804
  • [29] Ranking Ontologies Based on Formal Concept Analysis
    Li, Jianghua
    Shi, Peng
    Cheng, Mingzhi
    JOURNAL OF COMPUTERS, 2014, 9 (01) : 215 - 221
  • [30] Using Ontologies in Formal Developments Targeting Certification
    Brucker, Achim D.
    Wolff, Burkhart
    INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 65 - 82
12345