Use of formal ontologies to support error checking in specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1621, Issue , 1999, Pages 207-224

  Kalfoglou1, Yannis ^a   Robertson, David ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; ERRORS; KNOWLEDGE ACQUISITION; LOGIC PROGRAMMING; MULTILAYERS;

APPLICATION DOMAIN KNOWLEDGE; ARCHITECTURE-BASED; ECOLOGICAL MODELLING; ERROR-CHECKING; FORMAL ONTOLOGY; MULTILAYER DESIGNS; ONTOLOGY ENGINEERING; SOFTWARE SYSTEMS;

SPECIFICATIONS;

EID: 84956853087     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (29)

1. R. Benjamins and D. Fensel. The Ontological Engineering Initiative-KA
2. In N. Guarino, editor, Proceedings of the 1st International Conference on Formal Ontologies in Information Systems, FOIS'98, Trento, Italy, pages 287-301. IOS Press, June 1998.
3. 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.
4. P. Borst, H. Akkermans, and J. Top. Engineering Ontologies. In Proceedings of the 10th Knowledge Acquisition for Knowledge Based Systems Workshop,Banff, Canada, 1996.
5. G. Cleland and D. MacKenzie. Inhibiting Factors, Market Structure and the Indus-trial Uptake of Formal Methods. In Proceedings of Workshop on Industrial-Strength Formal Specification Techniques, pages 47-61, Orlando(Florida) USA, April 1995. Boca Raton, Florida, USA.
6. Enterprise Integration Laboratory, University of Toronto, Canada. TOVE Project. available from http://www.ie.utoronto.ca/EIL/tove/ontoTOC.html, July 1995.
7. M. Fernandez, A. Gomez-Perez, and N. Juristo. METHONTOLOGY: From On-tological Arts Towards Ontological Engineering. In Proceedings of the AAAI-97 Spring Symposium Series on Ontological Engineering, Stanford, USA, pages 33-40, March 1997.
8. A. Finkelstein. Reviewing and Correcting Specifications. Instructional Science, 21:183-198, 1992.
9. N. Fridman Noy and C.D. Hafner. The State of the Art in Ontology Design: A Survey and Comparative Review. AI Magazine, pages 53-74, 1997.
10. N. Fuchs. Specifications are (preferably) executable. Software Engineering Journal, pages 323-334, September 1992.
11. N. Fuchs and D. Robertson. Declarative Speci_cations. The Knowledge Engineer-ing Review, 11(4):317-331, 1996.
12. T.R. Gruber. A Translation Approach to Portable Ontologies. Knowledge Acquis-ition, 5(2):199-220, 1993.
13. M. Gruninger. Designing and Evaluating Generic Ontologies. In Proceedings of the 12th European Conference of Artificial Intelligence, August 1996.
14. M. Gruninger and M.S. Fox. Methodology for the Design and Evaluation of On-tologies. In Proceedings of Workshop on Basic Ontological Issues in Knowledge Sharing, Montreal, Quebec,Canada, August 1995.
15. N. Guarino. Formal Ontology and Information Systems. In N. Guarino, editor, Proceedings of the 1st International Conference on Formal Ontologies in Informa-tion Systems, FOIS'98, Trento, Italy, pages 3-15. IOS Press, June 1998.
16. N. Guarino and P. Giaretta. Ontologies and Knowledge Bases: Towards a Ter-minological Clarification. Towards Very Large Knowledge Bases, 1995. IOS Press, Amsterdam.
17. 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'98, Brighton, England, August 1998.
18. 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-120, February 1998.
19. 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-118, 1995.
20. W. Mark. Ontologies as Representation and Re-Representation of Agreement. In Proceedings of the 5th International Conference on Principles of KnowledgeRepresentation and Reasoning, KR'96, Massachusetts, USA, 1996. Position paper presented on the panel: Ontologies: What are they and where's the research.
21. W. Mark, S. Tyler, J. McGuire, and J. Schossberg. Commitment-Based Software Development. IEEE Transactions on Software Engineering, 18(10):870-884, Octo-ber 1992.
22. 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 On-tologies and Problem Solving Methods, ECAI'98, Brighton, England, August 1998.
23. D. Robertson, A. Bundy, R. Muetzefeldt, M. Haggith, and M. Uschold. ECO-LOGIC Logic-Based Approaches to Ecological Modelling. MIT Press, 1991. ISBN: 0-262-18143-6.
24. L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 4th edition, 1994. ISBN: 0-262-69163-9.
25. M. Uschold. Knowledge level modelling: concepts and terminology. The Knowledge Engineering Review, 13(1):5-29, February 1998.
26. 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'98, Brighton, England, August 1998.
27. 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.
28. M. Uschold and M. Gruninger. Ontologies: principles, methods and applications. The Knowledge Engineering Review, 11(2):93-136, November 1996.
29. M. Uschold, M. King, S. Moralee, and Y. Zorgios. The enterprise ontology. Know-ledge Engineering Review, 13(1), February 1998. Also available as AIAI-TR-195 from AIAI, University of Edinburgh. Bibliography