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’98, Trento, Italy, pages 287–301. IOS Press, June 1998.
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.
P. Borst, H. Akkermans, and J. Top. Engineering Ontologies. In Proceedings of the 10th Knowledge Acquisition for Knowledge Based Systems Workshop, Banff, Canada, 1996.
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–61, Orlando(Florida) USA, April 1995. Boca Raton, Florida, USA.
Enterprise Integration Laboratory, University of Toronto, Canada. TOVE Project. available from http://www.ie.utoronto.ca/EIL/tove/ontoTOC.html
, July 1995.
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–40, March 1997.
A. Finkelstein. Reviewing and Correcting Specifications. Instructional Science
, 21:183–198, 1992.CrossRefMathSciNetGoogle Scholar
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.
N. Fuchs. Specifications are (preferably) executable. Software Engineering Journal, pages 323–334, September 1992.
N. Fuchs and D. Robertson. Declarative Specifications. The Knowledge Engineering Review
, 11(4):317–331, 1996.CrossRefGoogle Scholar
T.R. Gruber. A Translation Approach to Portable Ontologies. Knowledge Acquisition
, 5(2):199–220, 1993.CrossRefGoogle Scholar
M. Gruninger. Designing and Evaluating Generic Ontologies. In Proceedings of the 12th European Conference of Artificial Intelligence, August 1996.
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.
N. Guarino. Formal Ontology and Information Systems. In N. Guarino, editor, Proceedings of the 1st International Conference on Formal Ontologies in Information Systems, FOIS’98, Trento, Italy, pages 3–15. IOS Press, June 1998.
N. Guarino and P. Giaretta. Ontologies and Knowledge Bases: Towards a Terminological Clarification. Towards Very Large Knowledge Bases
, 1995. IOS Press, Amsterdam.Google Scholar
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.
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.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
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’96, Massachusetts, USA, 1996. Position paper presented on the panel: Ontologies: What are they and where’s the research.
W. Mark, S. Tyler, J. McGuire, and J. Schossberg. Commitment-Based Software Development. IEEE Transactions on Software Engineering
, 18(10):870–884, October 1992.CrossRefGoogle Scholar
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’98, Brighton, England, August 1998.
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.
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 4th edition, 1994. ISBN: 0-262-69163-9.
M. Uschold. Knowledge level modelling: concepts and terminology. The Knowledge Engineering Review
, 13(1):5–29, February 1998.CrossRefGoogle Scholar
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.
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.
M. Uschold and M. Gruninger. Ontologies: principles, methods and applications. The Knowledge Engineering Review
, 11(2):93–136, November 1996.CrossRefGoogle Scholar
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.