{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:15:11Z","timestamp":1761488111052},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855620"},{"type":"electronic","value":"9783540855637"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85563-7_64","type":"book-chapter","created":{"date-parts":[[2008,8,31]],"date-time":"2008-08-31T21:00:37Z","timestamp":1220216437000},"page":"501-508","source":"Crossref","is-referenced-by-count":2,"title":["A Procedure Ontology for Advanced Diagnosis of Process Systems"],"prefix":"10.1007","author":[{"given":"Katalin M.","family":"Hangos","sequence":"first","affiliation":[]},{"given":"Erzs\u00e9bet","family":"N\u00e9meth","sequence":"additional","affiliation":[]},{"given":"Roz\u00e1lia","family":"Lakner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"64_CR1","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/S0098-1354(02)00161-8","volume":"27","author":"V. Venkatasubramanian","year":"2003","unstructured":"Venkatasubramanian, V., Rengaswamy, R., Kavuri, S.N.: A review of process fault detection and diagnosis Part II: Qualitative models and search strategies. Computers and Chemical Engineering\u00a027, 313\u2013326 (2003)","journal-title":"Computers and Chemical Engineering"},{"key":"64_CR2","volume-title":"Hazard and operability studies: the guide word approach","author":"R.E. Knowlton","year":"1989","unstructured":"Knowlton, R.E.: Hazard and operability studies: the guide word approach. Chematics International Company, Vancouver (1989)"},{"key":"64_CR3","first-page":"30","volume-title":"Proceedings of the Annual Reliability and Maintainability Symposium","author":"W. Jordan","year":"1972","unstructured":"Jordan, W.: Failure modes, effects and criticality analyses. In: Proceedings of the Annual Reliability and Maintainability Symposium, pp. 30\u201337. IEEE Press, Los Alamitos (1972)"},{"key":"64_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/11504894_52","volume-title":"Innovations in Applied Artificial Intelligence","author":"E. N\u00e9meth","year":"2005","unstructured":"N\u00e9meth, E., Lakner, R., Hangos, K.M., Cameron, I.T.: Prediction-based diagnosis and loss prevention using model-based reasoning. In: Ali, M., Esposito, F. (eds.) IEA\/AIE 2005. LNCS (LNAI), vol.\u00a03533, pp. 367\u2013369. Springer, Heidelberg (2005)"},{"key":"64_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11779568_10","volume-title":"Advances in Applied Artificial Intelligence","author":"R. Lakner","year":"2006","unstructured":"Lakner, R., N\u00e9meth, E., Hangos, K.M., Cameron, I.T.: Multiagent realization of prediction-based diagnosis and loss prevention. In: Ali, M., Dapoigny, R. (eds.) IEA\/AIE 2006. LNCS (LNAI), vol.\u00a04031, pp. 70\u201380. Springer, Heidelberg (2006)"},{"key":"64_CR6","unstructured":"Cameron, I.T., Seligmann, B., Hangos, K.M., Lakner, R., N\u00e9meth, E.: The P3 Formalism: A basics for improved diagnosis in complex systems. In: Proceedings of the Chemeca Conference, Melbourne, Australia, on CD (2007)"},{"key":"64_CR7","unstructured":"The Prot\u00e9g\u00e9 Ontology Editor and Knowledge Acquisition System (2007), \n                      \n                        http:\/\/protege.stanford.edu"},{"key":"64_CR8","unstructured":"Yang, A., Marquardt, W., Stalker, I., Fraga, E., Serra, M., Pinol, D.: Principles and informal specification of OntoCAPE, Technical report, COGents project, WP2 (2003)"},{"key":"64_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"1999","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"64_CR10","series-title":"Basic Concepts. Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85563-7_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:39:38Z","timestamp":1558280378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85563-7_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540855620","9783540855637"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85563-7_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}