{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:51:17Z","timestamp":1725493877068},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660446"},{"type":"electronic","value":"9783540487753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48775-1_13","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T16:39:28Z","timestamp":1193416768000},"page":"207-224","source":"Crossref","is-referenced-by-count":2,"title":["Use of Formal Ontologies to Support Error Checking in Specifications"],"prefix":"10.1007","author":[{"given":"Yannis","family":"Kalfoglou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,7]]},"reference":[{"key":"13_CR1","unstructured":"R. Benjamins and D. Fensel. The Ontological Engineering Initiative-KA2. In N. Guarino, editor, Proceedings of the 1st International Conference on Formal Ontologies in Information Systems, FOIS\u201998, Trento, Italy, pages 287\u2013301. IOS Press, June 1998."},{"key":"13_CR2","unstructured":"M. Blazquez, M. Fernadez, J.M. Garcia-Pinar, and A. Gomez-Perez. Building Ontologies at the Knowledge Level using the Ontology Design Environment. In Proceedings of the 11th Knowledge Acquisition Workshop, KAW98, Banff, Canada, April 1998."},{"key":"13_CR3","unstructured":"P. Borst, H. Akkermans, and J. Top. Engineering Ontologies. In Proceedings of the 10th Knowledge Acquisition for Knowledge Based Systems Workshop, Banff, Canada, 1996."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"G. Cleland and D. MacKenzie. Inhibiting Factors, Market Structure and the Industrial Uptake of Formal Methods. In Proceedings of Workshop on Industrial-Strength Formal Specification Techniques, pages 47\u201361, Orlando(Florida) USA, April 1995. Boca Raton, Florida, USA.","DOI":"10.1109\/WIFT.1995.515478"},{"key":"13_CR5","unstructured":"Enterprise Integration Laboratory, University of Toronto, Canada. TOVE Project. available from http:\/\/www.ie.utoronto.ca\/EIL\/tove\/ontoTOC.html , July 1995."},{"key":"13_CR6","unstructured":"M. Fernandez, A. Gomez-Perez, and N. Juristo. METHONTOLOGY: From Ontological Arts Towards Ontological Engineering. In Proceedings of the AAAI-97 Spring Symposium Series on Ontological Engineering, Stanford, USA, pages 33\u201340, March 1997."},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF00119664","volume":"21","author":"A. Finkelstein","year":"1992","unstructured":"A. Finkelstein. Reviewing and Correcting Specifications. Instructional Science, 21:183\u2013198, 1992.","journal-title":"Instructional Science"},{"key":"13_CR8","unstructured":"N. Fridman Noy and C.D. Hafner. The State of the Art in Ontology Design: A Survey and Comparative Review. AI Magazine, pages 53\u201374, 1997."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"N. Fuchs. Specifications are (preferably) executable. Software Engineering Journal, pages 323\u2013334, September 1992.","DOI":"10.1049\/sej.1992.0033"},{"issue":"4","key":"13_CR10","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1017\/S0269888900008018","volume":"11","author":"N. Fuchs","year":"1996","unstructured":"N. Fuchs and D. Robertson. Declarative Specifications. The Knowledge Engineering Review, 11(4):317\u2013331, 1996.","journal-title":"The Knowledge Engineering Review"},{"issue":"2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"T.R. Gruber. A Translation Approach to Portable Ontologies. Knowledge Acquisition, 5(2):199\u2013220, 1993.","journal-title":"Knowledge Acquisition"},{"key":"13_CR12","unstructured":"M. Gruninger. Designing and Evaluating Generic Ontologies. In Proceedings of the 12th European Conference of Artificial Intelligence, August 1996."},{"key":"13_CR13","unstructured":"M. Gruninger and M.S. Fox. Methodology for the Design and Evaluation of Ontologies. In Proceedings of Workshop on Basic Ontological Issues in Knowledge Sharing, Montreal, Quebec,Canada, August 1995."},{"key":"13_CR14","unstructured":"N. Guarino. Formal Ontology and Information Systems. In N. Guarino, editor, Proceedings of the 1st International Conference on Formal Ontologies in Information Systems, FOIS\u201998, Trento, Italy, pages 3\u201315. IOS Press, June 1998."},{"key":"13_CR15","volume-title":"Towards Very Large Knowledge Bases","author":"N. Guarino","year":"1995","unstructured":"N. Guarino and P. Giaretta. Ontologies and Knowledge Bases: Towards a Terminological Clarification. Towards Very Large Knowledge Bases, 1995. IOS Press, Amsterdam."},{"key":"13_CR16","unstructured":"Z. Jin, D. Bell, F.G. Wilkie, and D. Leahy. Automatically Acquiring Requirements of Business Information Systems by Reusing Business Ontology. In Gomez-Perez, A. and Benjamins, R., editor, Proceedings of Workshop on Applications of Ontologies and Problem Solving Methods, ECAI\u201998, Brighton, England, August 1998."},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1017\/S0269888998001015","volume":"13","author":"J. Lee","year":"1998","unstructured":"J. Lee, M. Gruninger, Y. Jin, T. Malone, A. Tate, G. Yost, and other members of the PIF working group. The PIF Process Interchange Format and framework. Knowledge Engineering Review, 13(1):91\u2013120, February 1998.","journal-title":"Knowledge Engineering Review"},{"issue":"1","key":"13_CR18","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1142\/S021819409500006X","volume":"5","author":"Luqi","year":"1995","unstructured":"Luqi and D. Cooke. How to combine nonmonotonic logic and rapid prototyping to help maintain software. International Journal of Software Engineering and Knowledge Engineering, 5(1):89\u2013118, 1995.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"13_CR19","unstructured":"W. Mark. Ontologies as Representation and Re-Representation of Agreement. In Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, KR\u201996, Massachusetts, USA, 1996. Position paper presented on the panel: Ontologies: What are they and where\u2019s the research."},{"issue":"10","key":"13_CR20","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.163604","volume":"18","author":"W. Mark","year":"1992","unstructured":"W. Mark, S. Tyler, J. McGuire, and J. Schossberg. Commitment-Based Software Development. IEEE Transactions on Software Engineering, 18(10):870\u2013884, October 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR21","unstructured":"S. Polyak, J. Lee, M. Gruninger, and C. Menzel. Applying the Process Interchange Format(PIF) to a Supply Chain Process Interoperability Scenario. In A. Gomez-Perez and R. Benjamins, editors, Proceedings of Workshop on Applications of Ontologies and Problem Solving Methods, ECAI\u201998, Brighton, England, August 1998."},{"key":"13_CR22","unstructured":"D. Robertson, A. Bundy, R. Muetzefeldt, M. Haggith, and M. Uschold. ECOLOGIC Logic-Based Approaches to Ecological Modelling. MIT Press, 1991. ISBN: 0-262-18143-6."},{"key":"13_CR23","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 4th edition, 1994. ISBN: 0-262-69163-9."},{"issue":"1","key":"13_CR24","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S0269888998001040","volume":"13","author":"M. Uschold","year":"1998","unstructured":"M. Uschold. Knowledge level modelling: concepts and terminology. The Knowledge Engineering Review, 13(1):5\u201329, February 1998.","journal-title":"The Knowledge Engineering Review"},{"key":"13_CR25","unstructured":"M. Uschold. Where are the Killer Apps? In Gomez-Perez, A. and Benjamins, R., editor, Proceedings of Workshop on Applications of Ontologies and Problem Solving Methods, ECAI\u201998, Brighton, England, August 1998."},{"key":"13_CR26","unstructured":"M. Uschold, P. Clark, M. Healy, K. Williamson, and S. Woods. An Experiment in Ontology Reuse. In Proceedings of the 11th Knowledge Acquisition Workshop, KAW98, Banff, Canada, April 1998."},{"issue":"2","key":"13_CR27","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0269888900007797","volume":"11","author":"M. Uschold","year":"1996","unstructured":"M. Uschold and M. Gruninger. Ontologies: principles, methods and applications. The Knowledge Engineering Review, 11(2):93\u2013136, November 1996.","journal-title":"The Knowledge Engineering Review"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"M. Uschold, M. King, S. Moralee, and Y. Zorgios. The enterprise ontology. Knowledge Engineering Review, 13(1), February 1998. Also available as AIAI-TR-195 from AIAI, University of Edinburgh.","DOI":"10.1017\/S0269888998001088"}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48775-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T21:50:08Z","timestamp":1556920208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48775-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660446","9783540487753"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-48775-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}