[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