{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T09:19:42Z","timestamp":1761988782027,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1109\/indin.2014.6945606","type":"proceedings-article","created":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T22:52:14Z","timestamp":1415832734000},"page":"748-753","source":"Crossref","is-referenced-by-count":28,"title":["Ontology-based modeling of production systems for design and performance evaluation"],"prefix":"10.1109","author":[{"given":"Walter","family":"Terkaj","sequence":"first","affiliation":[]},{"given":"Marcello","family":"Urgo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"OWL 2 Web Ontology Language Manchester Syntax","year":"0","key":"19"},{"journal-title":"Switching and Finite Automata Theory","year":"1978","author":"kohavi","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"ISO 14649-Industrial automation systems and integration-Physical device control-Data model for computerized numerical controllers International Organization for Standardization","year":"2004","key":"15"},{"key":"16","article-title":"Process algebra","author":"baeten","year":"2007","journal-title":"Handbook of dynamic system modeling"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331281999"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DIS.2006.48"},{"key":"11","first-page":"9","article-title":"Supporting runtime decision making in the production automation domain using design time engineering knowledge","author":"moser","year":"2011","journal-title":"Ontology and Semantic Web for Manufacturing 2011"},{"journal-title":"Ontology management Semantic Web Semantic Web Services and Business Applications","year":"2007","author":"hepp","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.7763\/LNSE.2014.V2.106"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2004.1371324"},{"key":"22","first-page":"57","article-title":"The even more irresistible sroiq","author":"horrocks","year":"2006","journal-title":"Proceedings of the 10th Int Conf on Principles of Knowledge Representation and Reasoning"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICE.2014.6871541"},{"journal-title":"Redland RDF Libraries","year":"0","author":"beckett","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84996-172-1_12"},{"key":"26","article-title":"The distributed ontology, modeling and specification language","author":"mossakowski","year":"2013","journal-title":"Proc of the 7th Int Workshop on Modular Ontologies"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622888"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33618-8_12"},{"journal-title":"OWL 2 Web Ontology Language Document Overview","year":"0","key":"2"},{"year":"0","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2013.05.005"},{"journal-title":"ISA-95 The International Standard for the Integration of Enterprise and Control Systems","year":"0","key":"7"},{"key":"6","first-page":"44","article-title":"Virtual Factory Data Model to support Performance Evaluation of Production Systems","author":"terkaj","year":"2012","journal-title":"Proceedings of the 1st International Workshop on Ontology and Semantic Web for Manufacturing"},{"key":"5","first-page":"29","article-title":"Virtual factory data model","author":"terkaj","year":"2012","journal-title":"Proceedings of the 1st International Workshop on Ontology and Semantic Web for Manufacturing"},{"key":"4","doi-asserted-by":"crossref","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":"botond","year":"2013","journal-title":"CIRP Annals-Manufacturing Technology"},{"journal-title":"IFC Overview","year":"0","key":"9"},{"journal-title":"Process Specification Language (PSL)","year":"2008","key":"8"}],"event":{"name":"2014 12th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2014,7,27]]},"location":"Porto Alegre RS, Brazil","end":{"date-parts":[[2014,7,30]]}},"container-title":["2014 12th IEEE International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6926648\/6945470\/06945606.pdf?arnumber=6945606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T00:03:40Z","timestamp":1498176220000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6945606\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/indin.2014.6945606","relation":{},"subject":[],"published":{"date-parts":[[2014,7]]}}}