{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T23:11:34Z","timestamp":1778541094865,"version":"3.51.4"},"reference-count":41,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T00:00:00Z","timestamp":1691625600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AO"],"published-print":{"date-parts":[[2023,8,10]]},"abstract":"<jats:p>In mining, manufacturing and industrial process industries, maintenance procedures are used as an aid to guide technicians through complex manual tasks. These procedures are not machine-readable, and cannot support reasoning in digitally integrated manufacturing systems. Procedure documents contain unstructured text and are stored in a variety of formats. The aim of this work is to query information held in real industrial maintenance procedures. To achieve this, we develop an ontology for maintenance procedures using the OWL 2 description language. We leverage classes and object properties from the ISO 15926 Part\u00a014 Upper Ontology and create a domain ontology. The key contribution of this paper is a demonstration of trade-offs required when modelling an existing engineering artifact, where an abstraction of its contents is given a-priori. We provide an ontologically rigorous abstraction of notions captured in procedure documentation to a set of classes, relations and axioms that allow reasoning over the contents. Validation of the ontology is performed via a series of competency questions based on queries relevant to technicians, engineers and schedulers in industry. The ontology is applied to real world maintenance procedures from two industrial organisations.<\/jats:p>","DOI":"10.3233\/ao-230279","type":"journal-article","created":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T13:17:24Z","timestamp":1685107044000},"page":"169-206","source":"Crossref","is-referenced-by-count":8,"title":["An ontology for maintenance procedure documentation"],"prefix":"10.1177","volume":"18","author":[{"given":"Caitlin","family":"Woods","sequence":"first","affiliation":[{"name":"Department of Computer Science and Software Engineering, The University of Western Australia, Western Australia, Australia"}]},{"given":"Tim","family":"French","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Software Engineering, The University of Western Australia, Western Australia, Australia"}]},{"given":"Melinda","family":"Hodkiewicz","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Software Engineering, The University of Western Australia, Western Australia, Australia"}]},{"given":"Tyler","family":"Bikaun","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Software Engineering, The University of Western Australia, Western Australia, Australia"}]}],"member":"179","reference":[{"key":"10.3233\/AO-230279_ref1","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":"5\u20136","key":"10.3233\/AO-230279_ref2","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/j.compchemeng.2006.07.004","article-title":"An upper ontology based on ISO 15926","volume":"31","author":"Batres","year":"2007","journal-title":"Computers & Chemical Engineering"},{"key":"10.3233\/AO-230279_ref3","unstructured":"EFNMS (2017). Maintenance \u2013 Maintenance Terminology. Standard En 13306, the European Federation of National Maintenance Societies."},{"issue":"1","key":"10.3233\/AO-230279_ref4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/AO-200227","article-title":"Proposed guidelines for publishing ontology papers","volume":"15","author":"Ferrario","year":"2020","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-230279_ref5","unstructured":"Fiorentini, X., Paviot, T., Fortineau, V., Goblet, J.-L. & Lamouri, S. (2013). Modeling nuclear power plants engineering data using ISO 15926. In Proceedings of 2013 International Conference on Industrial Engineering and Systems Management (IESM) (pp. 1\u20136). IEEE."},{"key":"10.3233\/AO-230279_ref6","unstructured":"Forssell, J.H., Lupp, D.P., Skj\u00e6veland, M.G. & Thorstensen, E. (2017). Reasonable macros for ontology construction and maintenance. In CEUR Workshop Proceedings (Vol.\u00a01879). Technical University of Aachen."},{"issue":"9","key":"10.3233\/AO-230279_ref8","doi-asserted-by":"publisher","first-page":"1397","DOI":"10.1007\/s11548-018-1824-5","article-title":"Toward a standard ontology of surgical process models","volume":"13","author":"Gibaud","year":"2018","journal-title":"International journal of computer assisted radiology and surgery"},{"issue":"3","key":"10.3233\/AO-230279_ref9","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","article-title":"HermiT: An OWL 2 reasoner","volume":"53","author":"Glimm","year":"2014","journal-title":"Journal of Automated Reasoning"},{"key":"10.3233\/AO-230279_ref10","unstructured":"Gruninger, M. & Menzel, C. (2003). In The Process Specification Language (PSL) Theory and Applications. AI Magazine (Vol.\u00a024, pp. 63\u201363)."},{"issue":"3","key":"10.3233\/AO-230279_ref12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.ifacol.2020.11.039","article-title":"Digitalization and reasoning over engineering textual data stored in spreadsheet tables","volume":"53","author":"Hodkiewicz","year":"2020","journal-title":"IFAC-PapersOnLine"},{"key":"10.3233\/AO-230279_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2021.103496"},{"key":"10.3233\/AO-230279_ref14","doi-asserted-by":"publisher","DOI":"10.36001\/ijphm.2021.v12i1.2932"},{"key":"10.3233\/AO-230279_ref15","unstructured":"IEC (2016). Dependability Management \u2013 Maintenance and Maintenance Support. Standard AS IEC 60300.3.14. Geneva, Switzerland: International Electrotechnical Commission."},{"key":"10.3233\/AO-230279_ref19","unstructured":"Jarrar, M. & Ceusters, W. (2017). Classifying processes and basic formal ontology. In Proceedings of the International Conference on Biomedical Ontology (ICBO 2017)."},{"key":"10.3233\/AO-230279_ref20","doi-asserted-by":"crossref","unstructured":"Jordan, A., Selway, M., Grossmann, G., Mayer, W. & Stumptner, M. (2014). Ontology-based process modelling for design. In Design Computing and Cognition (DCC\u201914) (pp. 1\u201320). Springer.","DOI":"10.1007\/978-3-319-14956-1_31"},{"key":"10.3233\/AO-230279_ref21","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.ssci.2017.08.003","article-title":"Are you sure you want me to follow this? A study of procedure management, user perceptions and compliance behaviour","volume":"101","author":"Kanse","year":"2018","journal-title":"Safety Science"},{"issue":"2","key":"10.3233\/AO-230279_ref23","doi-asserted-by":"publisher","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-230279_ref24","unstructured":"Katsumi, M. & Gr\u00fcninger, M. (2016). What is ontology reuse? In Formal Ontologies in Information Systems FOIS (pp. 9\u201322)."},{"issue":"23\u201324","key":"10.3233\/AO-230279_ref25","doi-asserted-by":"publisher","first-page":"7345","DOI":"10.1080\/00207543.2012.761364","article-title":"Semantic technologies for engineering asset life cycle management","volume":"51","author":"Kiritsis","year":"2013","journal-title":"International Journal of Production Research"},{"key":"10.3233\/AO-230279_ref26","unstructured":"Kl\u00fcwer, J.W., Skj\u00e6veland, M.G. & Valen-Sendstad, M. (2008). ISO 15926 templates and the Semantic Web. In Position Paper for W3C Workshop on Semantic Web in Energy Industries; Part I: Oil and Gas."},{"key":"10.3233\/AO-230279_ref27","unstructured":"Kortenkamp, D., Bonasso, R.P., Schreckenghost, D., Dalal, K.M., Verma, V. & Wang, L. (2008). A procedure representation language for human spaceflight operations. In Proceedings of the 9th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS-08)."},{"issue":"3","key":"10.3233\/AO-230279_ref28","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1016\/j.ifacol.2015.06.214","article-title":"Rule-based mechanism to optimize asset management using a technical documentation ontology","volume":"48","author":"Koukias","year":"2015","journal-title":"IFAC-PapersOnLine"},{"key":"10.3233\/AO-230279_ref29","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.anucene.2018.04.001","article-title":"Standardized exchange of plant equipment and materials data based on ISO 15926 methodology in nuclear power plants","volume":"118","author":"Kwon","year":"2018","journal-title":"Annals of Nuclear Energy"},{"key":"10.3233\/AO-230279_ref30","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.artmed.2017.07.002","article-title":"Owlready: Ontology-oriented programming in Python with automatic classification and high level constructs for biomedical ontologies","volume":"80","author":"Lamy","year":"2017","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.3233\/AO-230279_ref31","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.mfglet.2014.12.001","article-title":"A cyber-physical systems architecture for Industry 4.0-based manufacturing systems","volume":"3","author":"Lee","year":"2015","journal-title":"Manufacturing letters"},{"key":"10.3233\/AO-230279_ref32","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A. & Schneider, L. (2003). The WonderWeb Library of Foundational Ontologies and the DOLCE Ontology. WonderWeb Deliverable D18, Final Report vr. 1.0."},{"key":"10.3233\/AO-230279_ref33","unstructured":"Moubray, J. (2001). Reliability-Centered Maintenance. Industrial Press Inc."},{"issue":"1, 2","key":"10.3233\/AO-230279_ref35","doi-asserted-by":"publisher","first-page":"19","DOI":"10.3233\/IFS-2010-0432","article-title":"A procedure ontology for advanced diagnosis of process systems","volume":"21","author":"N\u00e9meth","year":"2010","journal-title":"Journal of Intelligent & Fuzzy Systems"},{"issue":"3","key":"10.3233\/AO-230279_ref37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1567274.1567278","article-title":"Semantics and complexity of SPARQL","volume":"34","author":"P\u00e9rez","year":"2009","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"10.3233\/AO-230279_ref39","doi-asserted-by":"crossref","unstructured":"Ribeiro, R., Batista, F., Pardal, J.P., Mamede, N.J. & Pinto, H.S. (2006). Cooking an ontology. In International Conference on Artificial Intelligence: Methodology, Systems, and Applications (pp. 213\u2013221). Springer.","DOI":"10.1007\/11861461_23"},{"key":"10.3233\/AO-230279_ref40","unstructured":"Sinogas, P., Vasconcelos, A., Caetano, A., Neves, J., Mendes, R. & Tribolet, J.M. (2001). Business processes extensions to UML profile for business modeling. In ICEIS (Vol.\u00a02, pp. 673\u2013678)."},{"issue":"2","key":"10.3233\/AO-230279_ref41","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","article-title":"Pellet: A practical OWL-DL reasoner","volume":"5","author":"Sirin","year":"2007","journal-title":"Journal of Web Semantics"},{"key":"10.3233\/AO-230279_ref43","unstructured":"Skj\u00e6veland, M.G., Gjerver, A., Hansen, C.M., Kl\u00fcwer, J.W., Strand, M.R., Waaler, A. & \u00d8verli, P. (2018). Semantic material master data management at aibel. In International Semantic Web Conference (P&D\/Industry\/BlueSky)."},{"key":"10.3233\/AO-230279_ref45","unstructured":"Souza, \u00c9.F., Falbo, R.A. & Vijaykumar, N. (2013). Ontologies in software testing: A systematic literature review. In VI Seminar on Ontology Research in Brazil (p. 71)."},{"key":"10.3233\/AO-230279_ref46","unstructured":"Standards Australia (2017). AS IEC 61882:2017 Hazard and Operability Studies (HAZOP Studies) \u2013 Application Guide. Standard AS IEC 61882:2017. Standards Australias, Sydney, Australia."},{"issue":"1\u20132","key":"10.3233\/AO-230279_ref47","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/S0169-023X(97)00056-6","article-title":"Knowledge engineering: Principles and methods","volume":"25","author":"Studer","year":"1998","journal-title":"Data & Knowledge Engineering"},{"issue":"4","key":"10.3233\/AO-230279_ref48","doi-asserted-by":"publisher","first-page":"2405","DOI":"10.1109\/TII.2018.2873186","article-title":"Digital twin in industry: State-of-the-art","volume":"15","author":"Tao","year":"2018","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"10.3233\/AO-230279_ref49","unstructured":"White, S.A. (2004). Introduction to BPMN. IBM Cooperation (Vol.\u00a02)."},{"key":"10.3233\/AO-230279_ref50","doi-asserted-by":"crossref","unstructured":"Woods, C., Griffin, M.A., French, T. & Hodkiewicz, M. (2021b). Using job characteristics to inform interface design for industrial maintenance procedures. In Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (pp. 1\u201310).","DOI":"10.1145\/3411764.3445053"},{"key":"10.3233\/AO-230279_ref51","unstructured":"Woods, C., Selway, M., Hodkiewicz, M., Ameri, F., Stumptner, M. & Sobel, W. (2021a). On the notion of maintenance state for industrial assets. In CEUR Workshop Proceedings (Vol. 2969). Rheinisch-Westfaelische Technische Hochschule Aachen* Lehrstuhl Informatik V."},{"key":"10.3233\/AO-230279_ref52","doi-asserted-by":"crossref","unstructured":"Wu, H., French, T., Liu, W. & Hodkiewicz, M. (2022). Automatic semantic knowledge extraction from electronic forms. In Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability. arXiv:1748006X221098272.","DOI":"10.1177\/1748006X221098272"}],"container-title":["Applied Ontology"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AO-230279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:46:26Z","timestamp":1777376786000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AO-230279"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,10]]},"references-count":41,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/ao-230279","relation":{},"ISSN":["1875-8533","1570-5838"],"issn-type":[{"value":"1875-8533","type":"electronic"},{"value":"1570-5838","type":"print"}],"subject":[],"published":{"date-parts":[[2023,8,10]]}}}