{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:52Z","timestamp":1761487972860,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/efta.2007.4416790","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T15:59:03Z","timestamp":1199462343000},"page":"360-367","source":"Crossref","is-referenced-by-count":13,"title":["A rule format for industrial plant information reasoning"],"prefix":"10.1109","author":[{"given":"T.","family":"Schmidberger","sequence":"first","affiliation":[]},{"given":"A.","family":"Fay","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","volume":"94305","author":"noy","year":"0","journal-title":"Ontology Development 101 A Guide to Creating Your First Ontology"},{"journal-title":"World Student Series Edition Ninth Printing","year":"1980","author":"lang","key":"ref11"},{"article-title":"Inside C#: Objektorientiertes Programmieren mit C# und dem. NET Framework","year":"2002","author":"archer","key":"ref12"},{"journal-title":"Introducing XML ITWriting","year":"0","author":"anderson","key":"ref13"},{"journal-title":"RuleML Modularisation version 0 91","first-page":"2","year":"2007","key":"ref14"},{"journal-title":"RuleML version 0 8","first-page":"11","year":"2005","key":"ref15"},{"journal-title":"Functional RuleML version 0 91","first-page":"2","year":"2007","key":"ref16"},{"journal-title":"Glossary RuleML version 0 91","first-page":"2","year":"2007","key":"ref17"},{"journal-title":"A Gentle Introduction to MathML","year":"0","author":"miner","key":"ref18"},{"journal-title":"The Mathml Handbook","year":"2003","author":"sandhu","key":"ref19"},{"journal-title":"Expert Systems","year":"1992","author":"puppe","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014584213713"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"},{"key":"ref5","first-page":"43","article-title":"CAEX-a neutral data exchange format for engineering data","author":"fedai","year":"2005","journal-title":"atp international 1\/2005"},{"key":"ref8","article-title":"Toward Principles for the Design of Ontologies Used for Knowledge Sharing","author":"gruber","year":"1993","journal-title":"International Workshop on Formal Ontology"},{"key":"ref7","article-title":"Overview of Knowledge Sharing and Reuse Components: Ontologies and Problem-Solving Methods","author":"g6mez","year":"1999","journal-title":"Proceedings of the IJCAI ?99 workshop on Ontologies and Problem-Solving Methods (KRR5)"},{"key":"ref2","first-page":"145","article-title":"Erfahrung bei der Nutzung einer neutralen XML-Beschreibungsform verfahrenstech-nischer Anlagen fiir den Datenaustausch zwischen Process Engineering und dem Control System Engineering","volume":"1684","author":"drath","year":"2002","journal-title":"VDI Berichte"},{"key":"ref1","first-page":"3.1","article-title":"A Rule Ontology As A Basis For Automatic Reasoning On Industrial Plant Information","volume":"2","author":"schmidberger","year":"0","journal-title":"(Hrsg ) 5th Vienna Symposium on Mathematical Modelling ARGESIM Report no 30"},{"key":"ref9","first-page":"51","volume":"3","author":"schicketanz","year":"2005","journal-title":"Regelung und Absicherung von Systemen mit Stromungspumpen in der chemischen Industrie atp"},{"volume":"4","journal-title":"Mathematical Markup Language (MathML) Version 2 0","year":"0","key":"ref20"},{"key":"ref22","first-page":"2.1","article-title":"Rule Based Engineering Of Asset Management System Functionality","volume":"2","author":"schmidberger","year":"0","journal-title":"(Hrsg ) 5th Vienna Symposium on Mathematical Modelling ARGESIM Report no 30"},{"key":"ref21","first-page":"2653","article-title":"Computer-aided design and implementation of interlocking control code","author":"drath","year":"0","journal-title":"2006 IEEE International Symposium on Computer-Aided Control Systems Design (CACSD06)"},{"key":"ref23","first-page":"46","article-title":"Unterstuetzung von HAZOP-Studien durch automatisierte Auswertung von CAEX-Modellen","author":"scherf","year":"0","journal-title":"Automatisierungstechnische Praxis"}],"event":{"name":"2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)","start":{"date-parts":[[2007,9,25]]},"location":"Patras, Greece","end":{"date-parts":[[2007,9,28]]}},"container-title":["2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4416742\/4416743\/04416790.pdf?arnumber=4416790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T18:09:39Z","timestamp":1489687779000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4416790\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/efta.2007.4416790","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}