Formalising ontologies and their relations

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

Volumn 1677, Issue , 1999, Pages 250-259

  Bench Capon, Trevor ^a   Malcolm, Grant ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT SYSTEMS; KNOWLEDGE MANAGEMENT;

ALGEBRAIC APPROACHES; LOGICAL THEORIES; SUB-ONTOLOGY; SUPPORT KNOWLEDGE;

ONTOLOGY;

EID: 84947939385     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48309-8_23     Document Type: Conference Paper

References (24)

1. Michael Barr and Charles Wells. Category Theory for Computing Science. Prentice Hall, 1990.
2. Trevor Bench-Capon and Grant Malcolm. Relating ontologies. Draft available at http://www.esc.liv.ac.uk/~grant/ps/, 1999.
3. Trevor Bench-Capon. The role of ontologies in the verification and validation of knowledge based systems. In R. Wagner, editor, Proceedings of the 9th International Workshop on Database and Expert Systems, pages 64-69. IEEE Press, Los Alamitos, 1998.
4. Jan A. Bergstra and John V. Tucker. Algebraic specifications of computable and semicomputable data types. Theoretical Computer Science, 50:137-181, 1987.
5. Rod Burstall and Joseph A. Goguen. The semantics of Clear, a specification language. In Dines Bjorner, editor, Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification, pages 292-332. Springer, 1980. Lecture Notes in Computer Science, Volume 86.
6. Robert L. Carpenter. The Logic of Typed Feature Structures, volume 32 of Gam-bridge Tracts in Theoretical Computer Science. Cambridge, 1992.
7. Corina Cfrstea. A semantical study of the object paradigm. Transfer thesis, Oxford University Computing Laboratory, 1996.
8. Räzvan Diaconescu and Kokichi Futatsugi. CafeOBJ Report, volume 6 of AMAST Series in Computing. World Scientific, 1998.
9. Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, 1985.
10. Joseph A. Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95-146, 1992.
11. Joseph A. Goguen and Grant Malcolm. Algebraic Semantics of Imperative Programs. MIT Press, 1996.
12. Joseph A. Goguen and Grant Malcolm. A hidden agenda. Theoretical Computer Science, 1999. To appear.
13. Joseph A. Goguen and Grant Malcolm. Hidden coinduction: behavioral correctness proofs for objects. Mathematical Structures in Computer Science, 1999. To appear.
14. Joseph A. Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217-273, 1992.
15. Joseph A. Goguen, James Thatcher, and Eric Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In Current Trends in Programming Methodology, IV, Raymond Yeh, editor, Prentice-Hall, 1978, pages 80-149.
16. Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph A. Goguen and Grant Malcolm, editors, Software Engineering with OBJ: Algebraic Specification in Practice, to appear. Also available as a technical report from SRI International.
17. Thomas R. Gruber. Towards Principles for the Design of Ontologies Used for Knowledge Sharing. In N. Guarino and R. Poli, editors, Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, 1993.
18. Anne E. Haxthausen and Friederike Nicki. Pushouts of order-sorted algebraic specifications. In AMAST '96. Springer-Verlag Lecture Notes in Computer Science 1101, 1996.
19. Gertjan van Heijst, Guus Schreiber, and Bob J. Wielinga. Using explicit ontologies in KBS development. International Journal of Human Computer Interaction, 45:183-192, 1997.
20. Saunders Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer Verlag, 1971.
21. Grant Malcolm. Interconnection of object specifications. In Stephen Goldsack and Stuart Kent, editors, Formal Methods and Object Technology. Springer Workshops in Computing, 1996.
22. Karl Meinke and John V. Tücker. Universal algebra. In S. Abramsky, D. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 1, pages 189-411. Oxford University Press, 1993.
23. Mark A. Musen. Automated Generation of Model-Based Knowledge-Acquisition Tools. Research Notes in Artificial Intelligence. Pitman, 1989.
24. Donald Sannella and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications. Acta Informatica, 25:233-281, 1988.