[seek-kr-sms] Barry Smith, IFOMIS Leipzig and Department of Philosophy, Buffalo
Deana Pennington
dpennington at lternet.edu
Tue Feb 10 08:38:39 PST 2004
This is really a great site! Will keep me busy reading for quite
awhile. Deana
Mark Schildhauer wrote:
> Here is, I think, a *very* useful Web site regarding KR for our
> purposes, from philosophy professor Barry Smith at U. Buffalo. I've
> just started exploring it, but it seems a goldmine of relevant issues--
>
> http://ontology.buffalo.edu/smith/
>
> ------------------------------------------------------------------------
>
>
>
> BARRY SMITH <http://ontology.buffalo.edu/smith/BORDEAUX.jpg>
>
> Department of Philosophy <http://wings.buffalo.edu/philosophy>
>
>
>
> University at Buffalo <http://www.buffalo.edu/>
>
>
>
> Heidegger <http://www.heidegger.li/home.htm> / The Heidegger Song
> <http://ontology.buffalo.edu/smith/heidegger>
>
> The Monist <http://wings.buffalo.edu/philosophy/monist/>
>
>
>
> Curriculum Vitae <http://ontology.buffalo.edu/smith/cv.html>
>
>
>
> List of Publications <http://ontology.buffalo.edu/smith/BSPUBLST.HTM>
>
> Courses <http://ontology.buffalo.edu/smith/courses.html>
>
>
>
> Buffalo Ontology Site <http://ontology.buffalo.edu/>
>
>
>
> Students <http://ontology.buffalo.edu/smith/students/>
>
> phismith at buffalo.edu <mailto:phismith at buffalo.edu>
>
>
>
> Fax: + 49 341 97 16179
>
>
>
> Baarle <http://ontology.buffalo.edu/smith/baarle.htm>
>
>
>
> Institute for Formal Ontology and Medical Information Science
> <http://www.ifomis.uni-leipzig.de/> / University of Leipzig
> <http://www.uni-leipzig.de/>
>
> FORMAL ONTOLOGY
>
> Basic Tools of Formal Ontology
> <http://ontology.buffalo.edu/smith/articles/fois1998.htm>
>
>
>
> Truthmakers <http://ontology.buffalo.edu/smith/articles/truthmakers>
>
>
>
> A Unified Theory of Truth and Reference
> <http://ontology.buffalo.edu/smith/articles/truthandreference.htm>
>
> Constituent Ontology
> <http://ontology.buffalo.edu/smith/articles/greensboro.html>
>
>
>
> Characteristica Universalis
> <http://ontology.buffalo.edu/smith/articles/charuniv.htm>
>
>
>
> An Essay in Formal Ontology
> <http://ontology.buffalo.edu/smith/articles/EinFO.pdf>
>
> Mereotopology
> <http://ontology.buffalo.edu/smith/articles/mereotopology.htm>
>
>
>
> Granular Partitions and Vagueness
> <http://ontology.buffalo.edu/smith/articles/vagueness.html>
>
>
>
> Boundaries: An Essay in Mereotopology
> <http://ontology.buffalo.edu/smith/articles/chisholm/chisholm.html>
>
> Framework for Formal Ontology
> <http://ontology.buffalo.edu/smith/articles/fffo.htm>
>
>
>
> Logic, Form and Matter
> <http://ontology.buffalo.edu/smith/articles/lfm.htm>
>
>
>
> Pieces of a Theory
> <http://ontology.buffalo.edu/smith/articles/pieces.htm>
>
> GOL: A General Ontological Language
> <http://www.ontology.uni-leipzig.de/Publications/Paper-FOIS-Herre-2001.pdf>
>
>
>
>
> BFO: Basic Formal Ontology <http://ontology.buffalo.edu/bfo>
>
>
>
> Quantum Mereotopology <http://ontology.buffalo.edu/smith/articles/QM.htm>
>
> Ontology: Philosophical and Computational
> <http://ontology.buffalo.edu/smith/articles/ontologies.htm>
>
>
>
> Physics and the Phenomenal World
> <http://ontology.buffalo.edu/smith/articles/ppw.htm>
>
>
>
> Reference Ontologies <http://ontology.buffalo.edu/referenceontology.html>
>
> Logic and Formal Ontology
> <http://ontology.buffalo.edu/smith/articles/lfo.html>
>
>
>
> Relevance, Relatedness and Restricted Set Theory
> <http://ontology.buffalo.edu/smith/articles/rrrst.htm>
>
>
>
> The Cornucopia of Formal-Ontological Relations
> <http://wings.buffalo.edu/philosophy/ontology/smith/articles/cornucopia.pdf>
>
>
> BIOMEDICAL ONTOLOGY
>
> The Niche <http://ontology.buffalo.edu/smith/articles/niches.html>
>
>
>
> Environmental Metaphysics
> <http://ontology.buffalo.edu/smith/articles/niche2.html>
>
>
>
> The Formal Structure of Ecological Contexts
> <http://ontology.buffalo.edu/smith/articles/Context_1999.pdf>
>
> Is a and Part of <http://ontology.buffalo.edu/medo/isa.pdf>
>
>
>
> The Ontology of the Gene Ontology
> <http://ontology.buffalo.edu/medo/Gene_Ontology.pdf>
>
>
>
> The Logic of Biological Classification
> <http://ontology.buffalo.edu/bio/logic_of_classes.pdf>
>
> Embryontology
> <http://ontology.buffalo.edu/smith/articles/embryontology.htm>
>
>
>
> Surrounding Space: The Ontology of
> <http://ontology.buffalo.edu/smith/articles/Surrounding_space.pdf>Organism-Environment
> Relations
> <http://ontology.buffalo.edu/smith/articles/Surrounding_space.pdf>
>
>
>
> Towards Industrial Strength Philosophy
> <http://ontology.buffalo.edu/medo/tisp.pdf>
>
> Ontology and Medical Terminology:
> Why Description Logics Are Not Enough
> <http://ontology.buffalo.edu/medo/TEPR2003.pdf>
>
>
>
> Ontology-Assisted Database Integration to Support Natural Language
> Processing and Biomedical Data-Mining
> <http://ontology.buffalo.edu/medo/O_ADI.pdf>
>
>
>
> Mistakes in Medical Ontologies: Where Do They Come From and How Can
> They Be Detected? <http://ontology.buffalo.edu/medo/errors.pdf>
>
> The Unified Medical Language System and the Gene Ontology
> <http://ontology.buffalo.edu/medo/UMLS_GO.pdf>
>
>
>
> Towards Blood Pressure Ontology <http://ontology.buffalo.edu/medo/BPO.pdf>
>
>
>
> Bodily Systems and the Modular Structure
> of the Human Body <http://ontology.buffalo.edu/medo/Modularity.pdf>
>
> Revising the UMLS Semantic Network
> <http://ontology.buffalo.edu/medo/UMLS_SN.pdf>
>
>
>
> Biodynamic Ontology <http://ontology.buffalo.edu/medo/biodynamic.pdf>
>
>
>
> Ontology and Bodily Systems <http://ontology.buffalo.edu/medo/OBS.pdf>
>
> A Framework for Protein Classification
> <http://ontology.buffalo.edu/medo/Proteomics.pdf>
>
>
>
> Underspecification in Formal Ontologies
> <http://ontology.buffalo.edu/medo/underspecification.pdf>
>
>
>
> Ontology-Based Error Detection in SNOMED-CT®
> <http://ontology.buffalo.edu/medo/SNOMED.pdf>
>
> A General Framework for Implementation of Clinical Guidelines
> <http://ontology.buffalo.edu/medo/WorkflowFramework.pdf>
>
>
>
> Implementing Clinical Guidelines in an Organizational Setup
> <http://ontology.buffalo.edu/medo/Functions-Workflow.pdf>
>
>
>
> Ontology for Task-Based Clinical Guidelines
> <http://ontology.buffalo.edu/medo/guidelines.pdf>
>
> Speech Acts, Documents, and Medical Phenomena
> <http://ontology.buffalo.edu/medo/HL7RIM.pdf>
>
>
>
> Biontological Functional Anatomy
> <http://ontology.buffalo.edu/medo/Functional_Anatomy.pdf>
>
>
>
> User Ontologies for Adaptive Interactive Systems
> <http://ontology.buffalo.edu/medo/Adaptivity.pdf>
>
> On the Application of Formal Principles to Life Science
> <http://ontology.buffalo.edu/medo/Database_Integration.pdf> Data: A
> Case Study in the Gene Ontology
> <http://ontology.buffalo.edu/medo/Database_Integration.pdf>
>
>
>
> Using Philosophy to Improve the Coherence and Interoperability of
> Applications Ontologies <http://ontology.buffalo.edu/medo/Cologne.pdf>
>
>
>
> Software Tools for Ontology-Based Data and Information Integration
> <http://ontology.buffalo.edu/bio/LinkSuite.pdf>
>
> Biomedical Ontology Integration and Natural Language Processing
> <http://ontology.buffalo.edu/medo/Integratin_and_NLP.pdf>
>
>
>
> Philosophische Dimensionen der biomedizinischen Forschung
> <http://ontology.buffalo.edu/bio/Lebensformen.pdf>
>
>
>
> On Controlled Vocabularies in Bioinformatics
> <http://ontology.buffalo.edu/bio/Compositionality_in_GO.pdf>
>
> Formal Ontology for Biomedical Knowledge Systems Integration
> <http://ontology.buffalo.edu/medo/FOBKSI.pdf>
>
>
>
> Speech Acts and Medical Records: The
> <http://ontology.buffalo.edu/medo/EuroMISE_HL7.pdf>
>
> Ontological Nexus <http://ontology.buffalo.edu/medo/EuroMISE_HL7.pdf>
>
>
>
> Using Ontology in Query Answering Systems
> <http://ontology.buffalo.edu/smith/articles/Q_A2003.pdf>
>
> GEOSPATIAL ONTOLOGY
>
> Geographic Categories <http://www.geog.buffalo.edu/ncgia/ontology/>
> (Buffalo NSF Project) <http://www.geog.buffalo.edu/ncgia/ontology/>
>
>
>
> Do Mountains Exist?
> <http://ontology.buffalo.edu/smith/articles/Mountains.htm>
>
>
>
> SNAP and SPAN: Towards Dynamic Spatial Ontology
> <http://ontology.buffalo.edu/smith/articles/SNAP_SPAN.pdf>
>
> Objects and Their Environments
> <http://ontology.buffalo.edu/smith/articles/napflion.htm>
>
>
>
> Spatial Objects <http://ontology.buffalo.edu/smith/articles/meinong.html>
>
>
>
> Fiat Objects <http://ontology.buffalo.edu/smith/articles/fiat.htm>
>
> Ontology of Fields
> <http://ontology.buffalo.edu/smith/articles/Ontology_of_Fields.pdf>
>
>
>
> Endurants and Perdurants in Directly Depicting
> <http://ontology.buffalo.edu/smith/articles/EPDDO.pdf>
>
> Ontologies <http://ontology.buffalo.edu/smith/articles/EPDDO.pdf>
>
>
>
> Agglomerations
> <http://ontology.buffalo.edu/smith/articles/SMITH%28COSIT%29.html>
>
> Layers: A New Approach to Locating Objects in Space
> <http://ontology.buffalo.edu/geo/Layers.pdf>
>
>
>
> A Science of Topography
> <http://wings.buffalo.edu/philosophy/faculty/smith/articles/topography.pdf>
>
>
>
> Ontological Tools for Geographic Representation
> <http://ontology.buffalo.edu/smith/articles/fois%28csv%29.html>
>
> SOCIAL ONTOLOGY
>
> Searle <http://wings.buffalo.edu/philosophy/ontology/socob.htm>
>
>
>
> Theory of Divides
> <http://ontology.buffalo.edu/smith/articles/israel.html>
>
>
>
> The Cognitive Geometry of War
> <http://ontology.buffalo.edu/smith/articles/bosnia.html>
>
> An Essay on Material Necessity
> <http://ontology.buffalo.edu/smith/articles/reinach.html>
>
>
>
> On the Metaphysics of Economics
> <http://ontology.buffalo.edu/smith/articles/menger.html>
>
>
>
> Applied Ontology Conference
> <http://wings.buffalo.edu/philosophy/farber/index.html>
>
> Social Objects <http://ontology.buffalo.edu/socobj.htm>
>
>
>
> Legal Ontology and the Problem of Normativity
> <http://ontology.buffalo.edu/smith/articles/Normativity.pdf>
>
>
>
> The Metaphysics of Real Estate
> <http://ontology.buffalo.edu/smith/articles/lz.htm>
>
> COGNITIVE ONTOLOGY
>
> Putting the World Back into Semantics
> <http://ontology.buffalo.edu/smith/articles/putting.html>
>
>
>
> True Grid <http://ontology.buffalo.edu/smith/articles/truegrid.pdf>
>
>
>
> Structures of the Common-Sense World
> <http://ontology.buffalo.edu/smith/articles/scsw.html>
>
> A Relational Theory of the Act
> <http://ontology.buffalo.edu/smith/articles/relact.html>
>
>
>
> Acta cum fundamentis in re
> <http://ontology.buffalo.edu/smith/articles/acta/acta.htm>
>
>
>
> Naive Physics
> <http://ontology.buffalo.edu/smith/articles/naivephysics.html>
>
> Cognition of States of Affairs
> <http://ontology.buffalo.edu/smith/articles/cogsvh/cogsvh.html>
>
>
>
> Topological Foundations of Cognitive Science
> <http://ontology.buffalo.edu/smith/articles/topo.html>
>
>
>
> Fallibilistic Apriorism
> <http://ontology.buffalo.edu/smith/articles/ROTHBARD.htm>
>
> Truth and the Visual Field
> <http://ontology.buffalo.edu/smith/articles/tvf.html>
>
>
>
> Hayek and Connectionism
> <http://ontology.buffalo.edu/smith/articles/HAYEK.HTM>
>
>
>
> Gestalt Theory: An Essay in Philosophy
> <http://ontology.buffalo.edu/smith/articles/gestalt.htm>
>
> Formal Ontology, Common Sense and Cognitive Science
> <http://wings.buffalo.edu/philosophy/ontology/focscs.pdf>
>
>
>
> History of Speech Act Theory
> <http://ontology.buffalo.edu/smith/articles/reid.htm>
>
>
>
> The Ecological Approach to Information Processing
> <http://ontology.buffalo.edu/smith/articles/Ecological_Approach.pdf>
>
> HUSSERL, BRENTANO, VARIA
>
> Textual Deference
> <http://ontology.buffalo.edu/smith/articles/texdef.html>
>
>
>
> Husserl <http://ontology.buffalo.edu/smith/articles/husserl.html>
>
>
>
> Austrian Philosophy / Brentano
> <http://ontology.buffalo.edu/smith/articles/brentano/austria.htm>
>
> Varia <http://ontology.buffalo.edu/smith/varia>
>
>
>
> Books <http://ontology.buffalo.edu/smith/books.html>
>
>
>
> Papers in Other Languages <http://ontology.buffalo.edu/smith/papers.html>
>
>
>
>
>
>
>
>
>
>
--
********
Deana D. Pennington, PhD
Long-term Ecological Research Network Office
UNM Biology Department
MSC03 2020
1 University of New Mexico
Albuquerque, NM 87131-0001
505-272-7288 (office)
505 272-7080 (fax)
More information about the Seek-kr-sms
mailing list