{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T08:22:24Z","timestamp":1765268544940,"version":"3.38.0"},"reference-count":39,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AO"],"published-print":{"date-parts":[[2019,4,25]]},"DOI":"10.3233\/ao-190209","type":"journal-article","created":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T14:28:30Z","timestamp":1555079310000},"page":"119-125","source":"Crossref","is-referenced-by-count":19,"title":["Formal ontologies in manufacturing"],"prefix":"10.1177","volume":"14","author":[{"given":"Emilio M.","family":"Sanfilippo","sequence":"first","affiliation":[{"name":"Le Studium, Loire Valley Institute for Advanced Studies, Orl\u00e9ans & Tours, France"},{"name":"CESR \u2013 Universit\u00e9 de Tours, 59, rue N\u00e9ricault-Destouches, 37020 Tours, France. E-mail:\u00a0emilio.sanfilippo@univ-tours.fr"}]},{"given":"Yoshinobu","family":"Kitamura","sequence":"additional","affiliation":[{"name":"College of Information Science & Engineering, Ritsumeikan University, Japan. E-mail:\u00a0y-kita@fc.ritsumei.ac.jp"}]},{"given":"Robert I.M.","family":"Young","sequence":"additional","affiliation":[{"name":"School of Mechanical, Electrical and Manufacturing Engineering, Loughborough University, UK. E-mail:\u00a0r.i.young@lboro.ac.uk"}]}],"member":"179","reference":[{"issue":"2","key":"10.3233\/AO-190209_ref1","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/AO-190207","article-title":"Towards an ontology for generative design of mechanical assemblies","volume":"14","author":"Aameri","year":"2019","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-190209_ref2","doi-asserted-by":"crossref","unstructured":"Arp, R., Smith, B. & Spear, A.D. (2015). Building Ontologies with Basic Formal Ontology. MIT Press.","DOI":"10.7551\/mitpress\/9780262527811.001.0001"},{"issue":"4","key":"10.3233\/AO-190209_ref3","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1016\/j.aei.2010.06.011","article-title":"Ontological product modeling for collaborative design","volume":"24","author":"Bock","year":"2010","journal-title":"Advanced Engineering Informatics"},{"key":"10.3233\/AO-190209_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-37022-4_27"},{"key":"10.3233\/AO-190209_ref5","unstructured":"Borgo, S. & Sanfilippo, E.M. Components and interactions: Paving the way to model agent-based cyber-physical social systems. In Proceedings of TMCE 2018."},{"key":"10.3233\/AO-190209_ref6","unstructured":"Borst, P. & Akkermans, H. (1997). An ontology approach to product disassembly. In E. Plaza and R. Benjamins (Eds.), Knowledge Acquisition, Modeling and Management. EKAW 1997. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) (Vol.\u00a01319, pp.\u00a033\u201348). Berlin, Heidelberg: Springer."},{"issue":"2","key":"10.3233\/AO-190209_ref7","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.aei.2006.11.003","article-title":"Towards the design of intelligent CAD systems: An ontological approach","volume":"21","author":"Colombo","year":"2007","journal-title":"Advanced Engineering Informatics"},{"issue":"4","key":"10.3233\/AO-190209_ref9","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1515\/mper-2015-0033","article-title":"Role of ontologies for CPS implementation in manufacturing","volume":"6","author":"Garetti","year":"2015","journal-title":"Management and Production Engineering Review"},{"key":"10.3233\/AO-190209_ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSC.2016.58"},{"issue":"4","key":"10.3233\/AO-190209_ref11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jcit.2009072101","article-title":"The ontological stance for a manufacturing scenario","volume":"11","author":"Gr\u00fcninger","year":"2009","journal-title":"Journal of Cases on Information Technology (JCIT)"},{"key":"10.3233\/AO-190209_ref12","unstructured":"Gr\u00fcninger, M. & Katsumi, M. (2012). Specifying ontology design patterns with an ontology repository. In Proceedings of the 3rd International Conference on Ontology Patterns. CEUR-WS (Vol.\u00a0929)."},{"issue":"3","key":"10.3233\/AO-190209_ref13","first-page":"63","article-title":"The process specification language (PSL) theory and applications","volume":"24","author":"Gr\u00fcninger","year":"2003","journal-title":"AI Magazine"},{"key":"10.3233\/AO-190209_ref14","unstructured":"Guarino, N., Borgo, S. & Masolo, C. (1997). Logical modelling of product knowledge: Towards a well-founded semantics for STEP. In Proceedings of European Conference on Product Data Technology (pp.\u00a0183\u2013190)."},{"issue":"3\u20134","key":"10.3233\/AO-190209_ref15","doi-asserted-by":"publisher","first-page":"259","DOI":"10.3233\/AO-150157","article-title":"Towards ontological foundations for conceptual modeling: The unified foundational ontology (UFO) story","volume":"10","author":"Guizzardi","year":"2015","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-190209_ref16","unstructured":"Horv\u00e1th, I. & Gerritsen, B.H. (2012). Cyber-physical systems: Concepts, technologies and implementation principles. In Proceedings of TMCE (Vol.\u00a01, pp.\u00a07\u201311)."},{"issue":"1","key":"10.3233\/AO-190209_ref17","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10845-013-0768-4","article-title":"The application of common logic based formal ontologies to assembly knowledge sharing","volume":"26","author":"Imran","year":"2015","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"1","key":"10.3233\/AO-190209_ref20","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/j.cirp.2013.03.045","article-title":"Semantic virtual factory supporting interoperable modelling and evaluation of production systems","volume":"62","author":"K\u00e1d\u00e1r","year":"2013","journal-title":"CIRP Annals \u2013 Manufacturing Technology"},{"issue":"2","key":"10.3233\/AO-190209_ref21","doi-asserted-by":"crossref","first-page":"155","DOI":"10.3233\/AO-190208","article-title":"ROMAIN: Towards a BFO compliant reference ontology for industrial maintenance","volume":"14","author":"Karray","year":"2019","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-190209_ref22","unstructured":"Keet, C.M. (2011). The use of foundational ontologies in ontology development: An empirical assessment. In The Semantic Web: Research and Applications \u2013 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, Proceedings, Part I (pp.\u00a0321\u2013335)."},{"issue":"3\/4","key":"10.3233\/AO-190209_ref23","first-page":"237","article-title":"An ontological model of device function: Industrial deployment and lessons learned","volume":"1","author":"Kitamura","year":"2006","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-190209_ref24","unstructured":"Lifschitz, V. (2008). What is answer set programming? In AAAI (Vol.\u00a08, pp.\u00a01594\u20131597)."},{"key":"10.3233\/AO-190209_ref25","unstructured":"Lloyd, J.W. (1993). Foundations of Logic Programming. Springer."},{"key":"10.3233\/AO-190209_ref26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jii.2017.04.005","article-title":"Industry 4.0: A survey on technologies, applications and open research issues","volume":"6","author":"Lu","year":"2017","journal-title":"Journal of Industrial Information Integration"},{"issue":"8","key":"10.3233\/AO-190209_ref28","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1016\/j.compind.2010.05.007","article-title":"An ontology-based approach for product lifecycle management","volume":"61","author":"Matsokis","year":"2010","journal-title":"Computers in Industry"},{"key":"10.3233\/AO-190209_ref29","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.procir.2014.03.115","article-title":"Cyber-physical production systems: Roots, expectations and R&D challenges","volume":"17","author":"Monostori","year":"2014","journal-title":"Procedia Cirp"},{"key":"10.3233\/AO-190209_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15368-1_21"},{"key":"10.3233\/AO-190209_ref31","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.compind.2015.10.009","article-title":"Requirements and languages for the semantic representation of manufacturing systems","volume":"81","author":"Negri","year":"2016","journal-title":"Computers in Industry"},{"issue":"2","key":"10.3233\/AO-190209_ref32","doi-asserted-by":"crossref","first-page":"179","DOI":"10.3233\/AO-190210","article-title":"An ontological approach to representing the product life cycle","volume":"14","author":"Otte","year":"2019","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-190209_ref33","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.compind.2015.11.002","article-title":"Reference ontologies to support the development of global production network systems","volume":"77","author":"Palmer","year":"2016","journal-title":"Computers in Industry"},{"key":"10.3233\/AO-190209_ref34","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353971"},{"key":"10.3233\/AO-190209_ref35","unstructured":"Salustri, F.A. (1997). A formal theory for knowledge-based product model representation. In M. M\u00e4ntyl\u00e4, S. Finger and T. Tomiyama (Eds.), Knowledge Intensive CAD. KIC 1996. IFIP \u2013 The International Federation for Information Processing (pp.\u00a059\u201378). Boston, MA: Springer."},{"key":"10.3233\/AO-190209_ref36","doi-asserted-by":"crossref","unstructured":"Shani, U., Franke, M., Hribernik, K.A. & Thoben, K.D. (2017). Ontology mediation to rule them all: Managing the plurality in product service systems. In Systems Conference (SysCon), 2017 Annual IEEE International (pp.\u00a01\u20137).","DOI":"10.1109\/SYSCON.2017.7934810"},{"key":"10.3233\/AO-190209_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8733-4_10"},{"key":"10.3233\/AO-190209_ref38","unstructured":"Stevens, R., Lord, P., Malone, J. & Matentzoglu, N. (2019). Measuring expert performance at manually classifying domain entities under upper ontology classes. In Web Semantics: Sicence, Services and Agents on the World Wide Web (in press)."},{"key":"10.3233\/AO-190209_ref39","unstructured":"Terkaj, W., Pedrielli, G. & Sacco, M. (2012). Virtual factory data model. In Proceedings of the Workshop on Ontology and Semantic Web for Manufacturing, Graz, Austria (pp.\u00a029\u201343)."},{"issue":"1","key":"10.3233\/AO-190209_ref40","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.aei.2012.11.008","article-title":"Ontology-based feature mapping and verification between CAD systems","volume":"27","author":"Tessier","year":"2013","journal-title":"Advanced Engineering Informatics"},{"issue":"2","key":"10.3233\/AO-190209_ref41","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0269888900007797","article-title":"Ontologies: Principles, methods and applications","volume":"11","author":"Uschold","year":"1996","journal-title":"The Knowledge Engineering Review"},{"issue":"22","key":"10.3233\/AO-190209_ref42","doi-asserted-by":"publisher","first-page":"6553","DOI":"10.1080\/00207543.2013.801570","article-title":"Towards a formal manufacturing reference ontology","volume":"51","author":"Usman","year":"2013","journal-title":"International Journal of Production Research"},{"issue":"8","key":"10.3233\/AO-190209_ref43","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1016\/j.engappai.2011.02.014","article-title":"PRONTO: An ontology for comprehensive and consistent representation of product information","volume":"24","author":"Vegetti","year":"2011","journal-title":"Engineering Applications of Artificial Intelligence"}],"container-title":["Applied Ontology"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AO-190209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T05:35:48Z","timestamp":1741671348000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AO-190209"}},"subtitle":[],"editor":[{"given":"Bob","family":"Young","sequence":"additional","affiliation":[]},{"given":"Yoshinobu","family":"Kitamura","sequence":"additional","affiliation":[]},{"given":"Emilio M.","family":"Sanfilippo","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2019,4,25]]},"references-count":39,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/ao-190209","relation":{},"ISSN":["1875-8533","1570-5838"],"issn-type":[{"type":"electronic","value":"1875-8533"},{"type":"print","value":"1570-5838"}],"subject":[],"published":{"date-parts":[[2019,4,25]]}}}