Verification of knowledge shared across design and manufacture using a foundation ontology

Seamless computer-based knowledge sharing between departments of a manufacturing enterprise is useful in preventing unnecessary design revisions. A lack of interoperability between independently developed knowledge bases, however, is a major impediment in the development of a seamless knowledge-sharing system. Interoperability, being an ability to overcome semantic and syntactic differences during computer-based knowledge sharing, can be enhanced through the use of foundation ontologies. Foundation or core ontologies can be used to overcome differences existing in more specialised ontologies and to ensure seamless knowledge sharing. This is because these ontologies provide a common grounding for domain ontologies to be used by different functions or departments. This common base can be used by mediation and knowledge verification systems to authenticate the meaning of knowledge understood across different domains. For this reason, this research proposes a knowledge verification framework for developing a system capable of verifying knowledge between those domain ontologies which are developed out of a common core or foundation ontology. This framework makes use of ontology logic to standardise the way concepts from a foundation and core concepts ontology are used in domain ontologies and then, by using the same principles, the knowledge being shared is verified.

[1]  Michael H. Zack,et al.  Knowledge and Strategy , 1999 .

[2]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[3]  Robert I. M. Young,et al.  The configuration of design and manufacture knowledge models from a heavyweight ontological foundation , 2011 .

[4]  Anne-Françoise Cutting-Decelle,et al.  An Exploration of Foundation Ontologies and Verification Methods for Manufacturing Knowledge Sharing , 2013 .

[5]  Jin Song Dong,et al.  Soundness proof of Z semantics of OWL using institutions , 2005, WWW '05.

[6]  Alun D. Preece,et al.  Ontology Reconciliation , 2004, Handbook on Ontologies.

[7]  Tharam S. Dillon,et al.  Advances in Web Semantics I - Ontologies, Web Services and Applied Semantic Web , 2008, Advances in Web Semantics I.

[8]  P. Hayes,et al.  Simple Common Logic: A Constraint Language for the ODM , 2004 .

[9]  Laura Slack,et al.  Product Design , 2022, Lean Management.

[10]  Dimitris Kiritsis,et al.  An ontology-based approach for Product Lifecycle Management , 2010, Comput. Ind..

[11]  Michael J. Witbrock,et al.  An Introduction to the Syntax and Content of Cyc , 2006, AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering.

[12]  Marcela Vegetti,et al.  PRoduct ONTOlogy: Defining product-related concepts for logistics planning activities , 2008, Comput. Ind..

[13]  Donald V. Rosato,et al.  4 – PRODUCT DESIGN , 2003 .

[14]  Jordan L. Boyd-Graber,et al.  Adding dense, weighted connections to WordNet , 2005 .

[15]  Yannis Kalfoglou,et al.  Progressive ontology alignment for meaning coordination: an information-theoretic foundation , 2005, AAMAS '05.

[16]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[17]  Hsinchun Chen,et al.  Evaluating ontology mapping techniques: An experiment in public safety information sharing , 2008, Decis. Support Syst..

[18]  Natalya F. Noy,et al.  Semantic integration: a survey of ontology-based approaches , 2004, SGMD.

[19]  Dieter Fensel,et al.  Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..

[20]  Zahid Usman,et al.  A manufacturing core concepts ontology to support knowledge sharing , 2012 .

[21]  Boyd C. Paulson,et al.  A feature ontology to support construction cost estimating , 2003, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[22]  William Silvert,et al.  MODELLING AS A DISCIPLINE , 2001 .

[23]  Asunción Gómez-Pérez,et al.  METHONTOLOGY: From Ontological Art Towards Ontological Engineering , 1997, AAAI 1997.

[24]  Robert Meersman,et al.  Ontology Engineering - The DOGMA Approach , 2008, Advances in Web Semantics I.

[25]  Mike Uschold,et al.  A Framework for Understanding and Classifying Ontology Applications , 1999 .

[26]  MolinaArturo,et al.  Enterprise integration and interoperability in manufacturing systems , 2008 .

[27]  Viviana Mascardi,et al.  Automatic Ontology Matching via Upper Ontologies: A Systematic Evaluation , 2010, IEEE Transactions on Knowledge and Data Engineering.

[28]  Uma G. Gupta Validation and verification of knowledge-based systems: A survey , 1993, Applied Intelligence.

[29]  Boris Motik,et al.  MAFRA - A MApping FRAmework for Distributed Ontologies , 2002, EKAW.

[30]  John Li LOM: A Lexicon-based Ontology Mapping Tool , 2004 .

[31]  Imre Horváth,et al.  Development and Application of Design Concept Ontologies for Contextual Conceptualization , 1998 .

[32]  Paul R. Smart,et al.  An Analysis of the Origin of Ontology Mismatches on the Semantic Web , 2008, EKAW.

[33]  Adam Pease,et al.  The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applic ations , 2002 .

[34]  Nicola Guarino,et al.  Some Ontological Principles for Designing Upper Level Lexical Resources , 1998, LREC.

[35]  Michele Dassisti,et al.  ONTOLOGY-BASED PRODUCTS INFORMATION INTEROPERABILITY IN NETWORKED MANUFACTURING ENTERPRISES , 2007 .

[36]  Jos de Bruijn,et al.  Information Integration with Ontologies: Experiences from an Industrial Showcase , 2005 .

[37]  Gerd Stumme,et al.  FCA-MERGE: Bottom-Up Merging of Ontologies , 2001, IJCAI.

[38]  Thomas R. Gruber,et al.  Ontolingua: a mechanism to support portable ontologies , 1991 .

[39]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[40]  Pedro M. Domingos,et al.  Learning to map between ontologies on the semantic web , 2002, WWW '02.

[41]  Mike Uschold,et al.  Building Ontologies: Towards a Unified Methodology , 1996 .

[42]  Michael Gruninger,et al.  Methodology for the Design and Evaluation of Ontologies , 1995, IJCAI 1995.

[43]  Janet M. Twomey,et al.  Validation and Verification , 1997 .

[44]  Lori A. MacVittie XAML - in a nutshell: a desktop quick reference , 2006 .

[45]  Aldo Gangemi,et al.  A core ontology of fishery and its use in the fishery ontology service project , 2004 .

[46]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[47]  François B. Vernadat Enterprise Integration and Interoperability , 2009, Handbook of Automation.

[48]  Jenny A. Harding,et al.  A manufacturing system engineering ontology model on the semantic web for inter-enterprise collaboration , 2007, Comput. Ind..

[49]  T. Gardner,et al.  A review of OMG MOF 2 . 0 Query / Views / Transformations Submissions and Recommendations towards the final Standard , 2003 .

[50]  Natalya Fridman Noy Ontology Mapping , 2009, Handbook on Ontologies.

[51]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[52]  Michel C. A. Klein,et al.  Matching Unstructured Vocabularies Using a Background Ontology , 2006, EKAW.

[53]  Jenny A. Harding,et al.  Gap Analysis of Ontology Mapping Tools and Techniques , 2010, I-ESA.

[54]  Michel Klein,et al.  Combining and relating ontologies: an analysis of problems and solutions , 2001, OIS@IJCAI.

[55]  Alok K. Choudhary,et al.  Semantic web in manufacturing , 2009 .

[56]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[57]  Moisés Lima Dutra,et al.  A Generic and Synchronous Ontology-based Architecture for Collaborative Design , 2010, Concurr. Eng. Res. Appl..

[58]  Li Fei-Fei,et al.  ImageNet: A large-scale hierarchical image database , 2009, CVPR.

[59]  Asunción Gómez-Pérez,et al.  Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web , 2004, Advanced Information and Knowledge Processing.

[60]  Arturo Molina,et al.  Enterprise integration and interoperability in manufacturing systems: Trends and issues , 2008, Comput. Ind..

[61]  Takeo Kanade,et al.  Advances in Web Semantics I , 2009 .

[62]  Keith Case,et al.  Manufacturability verification through feature-based ontological product models , 2012 .

[63]  I. Nonaka A Dynamic Theory of Organizational Knowledge Creation , 1994 .

[64]  Yajun Wang,et al.  Ontology-Based Exchange of Product Data Semantics between CAD and CAE , 2014, MUE 2014.

[65]  Nicola Guarino,et al.  WonderWeb Deliverable D17. The WonderWeb Library of Foundational Ontologies and the DOLCE ontology , 2002 .

[66]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[67]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[68]  Allan Terry,et al.  The MILO: A General-purpose, Mid-level Ontology , 2004, IKE.

[69]  Pedro Meseguer,et al.  Assessing the Role of Formal Specifications in Verification and Validation of Knowledge‑Based Systems , 1996 .

[70]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[71]  Michael Grüninger,et al.  Ontologies to Support Process Integration in Enterprise Engineering , 2000, Comput. Math. Organ. Theory.

[72]  Prasenjit Mitra,et al.  Resolving Terminological Heterogeneity In Ontologies , 2002 .

[73]  Viviana Mascardi,et al.  Enhancing Communication inside Multi-Agent Systems An Approach based on Alignment via Upper Ontologies , 2007 .

[74]  Steffen Staab,et al.  The Ontology Inference Layer OIL , 2000 .

[75]  Jos de Bruijn,et al.  Ontology Mediation, Merging, and Aligning , 2006 .

[76]  Barry W. Boehm,et al.  Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.

[77]  Vladan Devedzic,et al.  Understanding ontological engineering , 2002, CACM.

[78]  Vladan Devedzic,et al.  Ontology Modeling and MDA , 2005, J. Object Technol..

[79]  H.-K. Lin,et al.  Manufacturing system engineering ontology for semantic interoperability across extended project teams , 2004 .

[80]  Tony Clark,et al.  A pattern based model driven approach to model transformations. , 2003 .

[81]  Jae-Hyun Lee,et al.  Ontological product modeling for collaborative design , 2009, Adv. Eng. Informatics.

[82]  Michal Pechoucek,et al.  Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , 2005, AAMAS 2005.

[83]  Thomas R. Gruber,et al.  A Translation Approach to Portable Ontologies , 1993 .

[84]  Weiming Shen,et al.  Collaborative engineering: From concurrent engineering to enterprise collaboration , 2009, Comput. Ind..

[85]  Deborah L. McGuinness,et al.  An Environment for Merging and Testing Large Ontologies , 2000, KR.

[86]  J.-Y. Chen,et al.  Collaborative feature-based design via operations with a fine-grain product database , 2009, Comput. Ind..

[87]  Jean Bézivin,et al.  Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[88]  Michael Grüninger,et al.  Ontology of the Process Specification Language , 2004, Handbook on Ontologies.

[89]  Li Zhanjun,et al.  A Methodology of Engineering Ontology Development for Information Retrieval , 2007 .

[90]  Dragan Gasevic,et al.  MDA-based ontological engineering , 2005 .

[91]  Gopinath Ganapathy,et al.  Feature Analysis of Ontology Mediation Tools , 2008 .