GFO Part I Basic Principles
           
  ontomed Theories Concepts Applications  
 
Ontological
Investigations
Conceptual
Modelling
Onto-Builder
 
 
Axiomatic
Foundations
Domain
Ontologies
Onco-Workstation
 
 
Metalogical
Analyses
Ontology
Languages
SOP-Creator
 
           
 
 

Onto-Med >> Theories >> GFO Part I Basic Principles

 
   

Bibliography

1
James F. Allen and Patrick J. Hayes.
Moments and points in an interval-based temporal logic.
Computational Intelligence, 5(4):225-238, 1990.

2
D. M. Armstrong.
A World of States of Affairs.
Cambridge University Press, 1997.

3
M. Ashburner, C. A. Ball, J. A. Blake, D. Botstein, H. Butler, J. M. Cherry, A. P. Davis, K. Dolinski, S. S. Dwight, J. T. Eppig, M. A. Harris, D. P. Hill, L. Issel-Tarver, A. Kasarskis, S. Lewis, J. C. Matese, J. E. Richardson, M. Ringwald, G. M. Rubin, and G. Sherlock.
Gene Ontology: tool for the unification of biology.
Nature Genetics, 25(1):25-29, 2000.

4
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors.
The Description Logic Handbook: Theory, Implementation and Applications.
Cambridge University Press, Cambridge (UK), 2003.

5
Charles W. Bachman and Manilal Daya.
The role concept in data models.
In Proceedings of the Third International Conference on Very Large Databases, pages 464-476. IEEE Computer Society, 1977.

6
Jonathan Bard, Seung Y. Rhee, and Michael Ashburner.
An ontology for cell types.
Genome Biology, 6(2):R21, 2005.

7
Jon Barwise and John Perry.
Situations and Attitudes.
Bradford Book. MIT Press, Cambridge (Massachusetts), 1983.

8
Guido Boella, James Odell, Leendert van der Torre, and Harko Verhagen, editors.
Proceedings of the 2005 AAAI Fall Symposium 'Roles, an Interdisciplinary Perspective: Ontologies, Languages, and Multiagent Systems', Nov 3-6, Arlington, Virginia, number FS-05-08 in Fall Symposium Series Technical Reports, Menlo Park (California), 2005. AAAI Press.

9
Grady Booch, James Rumbaugh, and Ivar Jacobson.
The Unified Modeling Language User Guide.
Object Technology Series. Addison Wesley, Reading (Massachusetts), 1999.

10
Eugene Braunwald, Kurt J. Isselbacher, Robert G. Petersdorf, Jean D. Wilson, Joseph B. Martin, and Antony S. Fauci, editors.
Harrison's Principles of Internal Medicine.
McGraw-Hill, New York, 11 edition, 1987.

11
Franz Brentano.
Philosophische Untersuchungen zu Raum, Zeit und Kontinuum.
Felix-Meiner Verlag, Hamburg, 1976.
Edited by S. Körner and R. M. Chisholm.

12
Catherine Brooksbank, Graham Cameron, and Janet Thornton.
The European Bioinformatics Institute's data resources: towards systems biology.
Nucleic Acids Res, 33(Database issue):D46-D53, 2005.

13
Patryk Burek.
Ontology of Functions: A Domain-independent Framework for Modeling Functions.
PhD thesis, University of Leipzig, Institute of Informatics (IfI), 2006.
Forthcoming.

14
Patryk Burek, Robert Hoehndorf, Frank Loebe, Johann Visagie, Heinrich Herre, and Janet Kelso.
A top-level ontology of functions and its application in the Open Biomedical Ontologies.
Bioinformatics, 22(14):e66-e73, 2006.

15
R. Casati and A. Varzi.
Holes and other Superficialities.
MIT Press, Cambridge (Massachusetts), 1994.

16
Roberto Casati and Achille Varzi.
Events.
In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Center for the Study of Language and Information (CSLI), Stanford University, Stanford, California, Fall 2002 edition, 2002.
http://plato.stanford.edu/archives/fall2002/entries/events/.

17
B. Chandrasekaran and J. R. Josephson.
Representing functions as effect.
In Proceedings of the Functional Modeling Workshop, Paris, France, 1997.

18
R. M. Chisholm.
Boundaries as dependent particulars.
Grazer Philosophische Studien, 20:87-96, 1983.

19
N. F. de Keizer, A. Abu-Hanna, and J. H. M. Zwetsloot-Schonk.
Understanding terminological systems I: Terminology and typology.
Methods of Information in Medicine, 39(1):16-21, 2000.

20
Dov Dori.
Object-Process Methodology: A Holistic Systems Paradigm.
Springer, Berlin, 2002.

21
Peter Gärdenfors.
Conceptual Spaces: The Geometry of Thought.
A Bradford Book. MIT Press, Cambridge (Massachusetts), 2000.

22
Michael R. Genesereth and Richard E. Fikes.
Knowledge Interchange Format.
Technical Report Logic-92-1, Stanford Logic Group, Stanford, 1992.

23
Jorge J. E. Gracia.
Metaphysics and Its Tasks: The Search for the Categorial Foundation of Knowledge.
SUNY series in Philosophy. State University of New York Press, Albany, 1999.

24
Thomas R. Gruber.
A translation approach to portable ontology specifications.
Knowledge Acquisition, 5(2):199-220, 1993.

25
Nicola Guarino.
Concepts, attributes and arbitrary relations: Some linguistic and ontological criteria for structuring knowledge bases.
Data & Knowledge Engineering, 8(3):249-261, 1992.

26
Nicola Guarino and Christopher Welty.
An overview of OntoClean.
In Steffen Staab and Rudi Studer, editors, Handbook on Ontologies, International Handbooks on Information Systems, chapter 8, pages 151-159. Springer, Berlin, 2004.

27
Nicola Guarino and Christopher A. Welty.
A formal ontology of properties.
In Rose Dieng and Oliver Corby, editors, Knowledge Engineering and Knowledge Management: Methods, Models, and Tools: Proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management (EKAW2000), Juan-les-Pins, France, Oct 2-6, volume 1937 of Lecture Notes in Computer Science, pages 97-112, Berlin, 2000. Springer.

28
Nicola Guarino and Christopher A. Welty.
Supporting ontological analysis of taxonomic relationships.
Data & Knowledge Engineering, 39(1):51-74, October 2001.

29
Nicolai Hartmann.
Der Aufbau der realen Welt.
Walter de Gruyter and Co, 1964.

30
Patrick J. Hayes.
A catalogue of temporal theories.
Technical Report UIUC-BI-AI-96-01, University of Illinois, 1995.

31
Heinrich Herre and Barbara Heller.
Semantic foundations of medical information systems based on top-level ontologies.
Journal of Knowledge-Based Systems, 19(2):107-115, 2006.

32
Roman Ingarden.
Der Streit um die Existenz der Welt I (Existentialontologie).
Max Niemeyer Verlag, Tübingen, 1964.

33
Ingvar Johansson.
Ontological Investigations: An Inquiry into the Categories of Nature, Man and Society.
Routledge, New York, 1989.

34
Jos Lehmann, Stefan Borgo, Aldo Gangemi, and Claudio Masolo.
Causality and causation in DOLCE.
In Achille C. Varzi and Laure Vieu, editors, Formal Ontology in Information Systems: Proceedings of the International Conference FOIS 2004, volume 114 of Frontiers in Artificial Intelligence and Applications, pages 273-284, Amsterdam, 2004. IOS Press.

35
Douglas B. Lenat and Rahmanathan V. Guha.
Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project.
Addison-Wesley, Reading (Massachusetts), 1990.

36
Frank Loebe.
An analysis of roles: Towards ontology-based modelling.
Onto-Med Report 6, Onto-Med Research Group, University of Leipzig, 2003.

37
Frank Loebe.
Abstract vs. social roles: A refined top-level ontological analysis.
In Boella et al. (8), pages 93-100.

38
M. Loux.
Metaphysics: A Contemporary Introduction.
Routledge, 1998.

39
Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari.
Wonderweb Deliverable D18: Ontology Library (final).
Technical report, Laboratory for Applied Ontology - ISTC-CNR, Trento, 2003.

40
Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, Alessandro Oltramari, and Luc Schneider.
Wonderweb Deliverable D17.
Preliminary Report Version 2.0, Laboratory for Applied Ontology - ISTC-CNR, Padova (IT), 2002.

41
Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, and Nicola Guarino.
Social roles and their descriptions.
In Didier Dubois, Christopher Welty, and Mary-Anne Williams, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, pages 267-277, Menlo Park, 2004. AAAI Press.

42
Ian Niles and Adam Pease.
Towards a standard upper ontology.
In Christopher Welty and Barry Smith, editors, Formal Ontology in Information Systems: Collected Papers from the Second International Conference, pages 2-9, New York, October 2001. ACM Press.

43
Adam Pease and Ian Niles.
IEEE Standard Upper Ontology: A progress report.
Knowledge Engineering Review, 17(1):65-70, 2002.

44
Roberto Poli.
ALWIS: Ontology for Knowledge Engineers.
PhD thesis, Zeno, the Leiden-Utrecht Research Institute of Philosophy, University of Utrecht, 2001.

45
Roberto Poli.
The basic problem of the theory of levels of reality.
Axiomathes, 12(3-4):261-283, 2001.

46
Roberto Poli.
Ontological methodology.
International Journal of Human-Computer Studies, 56(6):639-664, 2002.

47
Willibald Pschyrembel and Otto Dornblüth, editors.
Pschyrembel Klinisches Wörterbuch.
Walter de Gruyter, Berlin, 259. edition, 2002.

48
James Rumbaugh, Ivar Jacobson, and Grady Booch.
The Unified Modeling Language Reference Manual.
Object Technology Series. Addison Wesley, Reading (Massachusetts), 1999.

49
Stuart Russell and Peter Norvig.
Artificial Intelligence: A Modern Approach.
Prentice Hall Series in Artificial Intelligence. Prentice Hall, Upper Saddle River (New Jersey), 1995.

50
Munehiko Sasajima, Yoshinobu Kitamura, Mitsuru Ikeda, and Riichiro Mizoguchi.
FBRL: A function and behavior representation language.
In Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI 95, Montreal, Quebec, Canada, Aug 20-25, pages 1830-1836. Morgan Kaufmann, 1995.

51
John R. Searle.
The Construction of Social Reality.
Free Press, New York, 1995.

52
Johanna Seibt.
Free Process Theory: Towards a typology of processes.
Axiomathes, 14(1):23-55, 2003.

53
John F. Sowa.
Conceptual Structures: Information Processing in Mind and Machine.
Addison-Wesley, Reading (Massachusetts), 1984.

54
John F. Sowa.
Knowledge Representation: Logical, Philosophical and Computational Foundations.
Brooks/Cole, Pacific Grove, 2000.

55
Friedrich Steimann.
On the representation of roles in object-oriented and conceptual modelling.
Data & Knowledge Engineering, 35(1):83-106, 2000.

56
Eiichi Sunagawa, Kouji Kozaki, Yoshinobu Kitamura, and Riichiro Mizoguchi.
A framework for organizing role concepts in ontology development tool: Hozo.
In Boella et al. (8), pages 136-143.

57
SUO.
IEEE P1600.1 Standard Upper Ontology Working Group (SUO WG) [homepage].
http://suo.ieee.org, 2004.

58
L. W. Szczerba.
Interpretability of elementary theories.
In Robert E. Butts and Jaako Hintikka, editors, Logic, Foundations of Mathematics and Computability Theory, volume 9 of The Western Ontario Series in Philosophy of Science, pages 129-145. D. Reidel, Dordrecht, 1977.

59
Alfred Tarski.
The semantic conception of truth and the foundation of semantics.
Philosophy and Phenomenological Research, 4:341-375, 1944.

60
Alfred Tarski.
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.
Hackett, Indianapolis, 2. edition, 1983.
ed. by Corcoran, John.

61
W3C.
Web Ontology Language (OWL) Specifications.
W3C Recommendations, World Wide Web Consortium (W3C), Cambridge (Massachusetts), 2004.
http://www.w3.org/2004/OWL/.

62
Matthew West, Jan Sullivan, and Hans Teijgeler.
ISO/FDIS 15926-2: Lifecycle integration of process plant data including oil and gas production facilities.
Data model: EXPRESS and EXPRESS-G listing, ISO TC184/SC4/WG3N1328, July 2003.
http://www.tc184-sc4.org/wg3ndocs/wg3n1328/lifecycle_integration_sche ma.html.

63
T. E. Wilkerson.
Natural Kinds.
Avebury Series in Philosophy. Avebury, Aldershot (UK), 1995.

64
Ludwig Wittgenstein.
Tractatus logico-philosophicus.
Routledge & Kegan Paul, London, 1922.
transl. by Ogden, C. K.



Robert Hoehndorf 2006-10-18
 
       
     
     
     

   
     
     
       
 

deutsch   imise uni-leipzig ifi dep-of-formal-concepts