A meta-ontological architecture for foundational ontologies

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

Volumn 3761 LNCS, Issue , 2005, Pages 1398-1415

  Herre, Heinrich ^a   Loebe, Frank ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; FORMAL LOGIC; METADATA; SET THEORY;

ABSTRACT CORE ONTOLOGIES (ACO); CONCEPT LATTICES; METAONTOLOGICAL ARCHITECTURE;

COMPUTER ARCHITECTURE;

EID: 33646673618     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11575801_29     Document Type: Conference Paper

References (33)

1. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)
2. Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition 5 (1993) 199-220
3. Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Wonderweb Deliverable D18: Ontology library (final). Technical report, Laboratory for Applied Ontology - ISTC-CNR, Trento (2003)
4. Heller, B., Herre, H.: Ontological categories in GOL. Axiomathes 14 (2004) 57-76
5. Pease, A., Niles, I.: IEEE Standard Upper Ontology: A progress report. Knowledge Engineering Review 17 (2002) 65-70
6. Seibt, J.: Free Process Theory: Towards a typology of processes. Axiomathes 14 (2003) 23-55
7. Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks/Cole, Pacific Grove (2000)
8. West, M., Sullivan, J., Teijgeler, H.: ISO/FDIS 15926-2: Lifecycle integration of process plant data including oil and gas production facilities. (Data Model), ISO TC184/SC4/WG3N1328 (2003) Available from: http://www.tc184- sc4.org/ wg3ndocs/wg3n1328/lifecycle_integration_schema.html.
9. DSTC, Gentleware, IBM, Sandpiper Software: Ontology Definition MetaModel: Preliminary revised submission to OMG RFP ad/2003-03-40. Technical report, Object Management Group (OMG) (2004)
10. W3C: Web Ontology Language (OWL) Specifications. W3C Recommendation, World Wide Web Consortium (W3C), Cambridge (Massachusetts) (2004) Available from: http://www.w3.org/2004/OWL/.
11. Frege, G.: Die Grundlagen der Arithmetik. Felix Meiner Verlag, Hamburg (1988) edited by C. Thiel.
12. Wittgenstein, L.: Tractatus logico-philosophicus. Routledge & Kegan Paul, London (1922) transl. by Ogden, C. K.
13. Wittgenstein, L.: Philosophische Untersuchungen. Suhrkamp, Frankfurt/Main (1967)
14. Russell, B.: On denoting. Mind 14 (1905) 479-493
15. Tarski, A.: Logic, Semantics, Metamathematics: Papers from 1923 to 1938. 2. edn. Hackett, Indianapolis (1983) ed. by Corcoran, John.
16. W3C: RDF Semantics. W3C Recommendation, World Wide Web Consortium (W3C), Cambridge (Massachusetts) (2004) Available from: http://www.w3.org/ TR/rdf-mt/.
17. Hayes, P., Menzel, C.: A semantics for the Knowledge Interchange Format. In: Workshop on the IEEE Standard Upper Ontology at IJCAI, Aug 6, 2001. (2001)
18. Menzel, C.: Common Logic. Available from: http://philebus.tamu.edu/cl/ (2005)
19. Devlin, K.: The Joy of Sets: Fundamentals of Contemporary Set Theory. 2. edn. Springer, Berlin (1993)
20. Barr, M., Wells, C.: Category Theory for Computing Science. 2. edn. Prentice-Hall International Series in Computer Science. Prentice-Hall, London (1995)
21. Guizzardi, G., Herre, H., Wagner, G.: On the general ontological foundations of conceptual modeling. In Spaccapietra, S., March, S.T., Kambayashi, Y., eds.: Conceptual Modeling - ER 2002, Proceedings of the 21st International Conference on Conceptual Modeling. Volume 2503 of Lecture Notes in Computer Science., Berlin, Springer (2002) 65-78
22. Pan, J.Z., Horrocks, I.: Metamodeling architecture of web ontology languages. In Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L., eds.: Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, Jul 30 - Aug 1,2001. (2001) 131-149
23. Chaudhri, V.K., Farquhar, A., Fikes, R., Karp, P.D., Rice, J.P.: Open Knowledge Base Connectivity 2.0.3. Specification, Artificial Intelligence Center, SRI International and Knowledge Systems Laboratory, Stanford University (1998)
24. OMG: Unified Modeling Language Specification. Version 1.5, Object Management Group (OMG), Needham (Massachusetts) (2003)
25. Gracia, J.J.E.: Metaphysics and Its Tasks: The Search for the Categorial Foundation of Knowledge. SUNY series in Philosophy. State University of New York Press, Albany (1999)
26. Gracia, J.J.E.: Individuality: An Essay on the Foundations of Metaphysics. SUNY Series in Philosophy. State University of New York Press, Albany (1988)
27. Swoyer, C.: Properties. In Zalta, E.N., ed.: The Stanford Encyclopedia of Philosophy. Winter 2000 edn. Stanford University, Center for the Study of Language and Information (2000) Available from: http://plato.stanford.edu/ archives/win2000/ entries/properties/.
28. Loebe, F.: An analysis of roles: Towards ontology-based modelling. Onto-Med Report 7, Research Group Ontologies in Medicine, University of Leipzig (2003)
29. Kent, R.: Distributed conceptual structures. In de Swart, H.C.M., ed.: Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers. Volume 2561 of Lecture Notes in Computer Science., Berlin, Springer (2002) 104-123
30. Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39 (1992) 95-146
31. OMG: Meta Object Facility (MOF) Specification. Version 1.4, Object Management Group (OMG), Needham (Massachusetts) (2002)
32. Kogut, P., Cranefield, S., Hart, L., Dutra, M., Baclawski, K., Mieczyslaw, K., Smith, J.: UML for ontology development. The Knowledge Engineering Review 17 (2002) 61-64
33. Kent, R.: The IFF foundation for ontological knowledge organization. In Williamson, N.J., Beghtol, C., eds.: Knowledge Organization and Classification in International Information Retrieval. Volume 37 of Cataloging & Classification Quarterly. Haworth Press, New York (2004) 187-203