Jahresbibliographie - Kumulierte Ausgabe (1993- )

Veröffentlichungen von
Angehörigen der Hochschulen des Saarlandes

Institut für Formale Ontologie und Medizinische Informationswissenschaften / Institute for Formal Ontology and Medical Information Science (IFOMIS) (14.12.12)

Bittner, Thomas
2005
- Understanding taxonomies of ecosystems / Sorokine, Alexandre ; Bittner, Thomas. - In: Developments in 
Spatial Data Handling / Ed.: Fisher, P.. - Berlin : Springer. 2005, 559-572 http://www.uni-leipzig.de/~tbittner/SorokineBittner-20040701.pdf

2004
- Axioms for Parthood and Containment Relations in Bio-ontologies / Bittner, Thomas. - In: Proceedings 
of the First International Workshop on Formal Biomedical Knowledge Representation (KR-MED 2004) / Ed.: 
Hahn, Udo ; Schulz, Stefan ; Cornet, R.. 2004, 4-11 (CEUR workshop proceedings ; 102)

- Endurants and Perdurants in Directly Depicting Ontologies / Bittner, Thomas ; Donnelly, Maureen ; Smith, 
Barry. - In: AI Communications, 17 (2004) , 4, 247-258 http://www.uni-
leipzig.de/~tbittner/BittnerAICOM.pdf

- Individuals, Universals, Collections : on the Foundational Relations of Ontology / Bittner, Thomas ; 
Donnelly, Maureen ; Smith, Barry. - In: Formal Ontology and Information Systems : Proceedings of the 
Third International Conference (FOIS 2004) / Ed.: Varzi, Achille C. ; Vieu, Laure. - Amsterdam : IOS 
Press. 2004, 37-48

- A Mereological Theory of Frames of Reference / Bittner, Thomas. - In: International Journal on Artificial 
Intelligence Tools : IJAIT, 13 (2004) , 1, 171-198 http://www.uni-
leipzig.de/~tbittner/IJAITBittnerTR.pdf

- The Mereology of Stages and Persistent Entities / Bittner, Thomas ; Donnelly, Maureen. - In: Proceedings 
/ ECAI 2004, 16th Eureopean Conference on Artificial Intelligence, August 22 - 27, 2004, Valencia, Spain. 
- Amsterdam : IOS Press. 2004, 283-287 http://www.uni-
leipzig.de/~tbittner/BittnerC0235.pdf

- Modeling Process with Endurance and Perdurance / Feng, Chen-Chieh ; Bittner, Thomas ; Flewelling, Douglas 
M.. - In: Geographic Information Science : Third International Conference, GIScience 2004, Adelphi, MD, 
USA, October 20 - 23 2004; proceedings / Ed.: Egenhofer, Max J. ; Freksa, Christian ; Miller, Harvey 
J.. - Berlin ; Heidelberg [u.a.] : Springer. 2004, 67-80 (Lecture notes in computer science ; 3234) http://www.uni-leipzig.de/~tbittner/FengGISci04_final.pdf

Donnelly, Maureen

2004
- Endurants and Perdurants in Directly Depicting Ontologies / Bittner, Thomas ; Donnelly, Maureen ; Smith, 
Barry. - In: AI Communications, 17 (2004) , 4, 247-258 http://www.uni-
leipzig.de/~tbittner/BittnerAICOM.pdf

- A Formal Theory for Reasoning about Parthood, Connection, and Location / Donnelly, Maureen. - In: Artificial 
Intelligence, 160 (2004) , 145-172 

- Individuals, Universals, Collections : on the Foundational Relations of Ontology / Bittner, Thomas ; 
Donnelly, Maureen ; Smith, Barry. - In: Formal Ontology and Information Systems : Proceedings of the 
Third International Conference (FOIS 2004) / Ed.: Varzi, Achille C. ; Vieu, Laure. - Amsterdam : IOS 
Press. 2004, 37-48

- The Mereology of Stages and Persistent Entities / Bittner, Thomas ; Donnelly, Maureen. - In: Proceedings 
/ ECAI 2004, 16th Eureopean Conference on Artificial Intelligence, August 22 - 27, 2004, Valencia, Spain. 
- Amsterdam : IOS Press. 2004, 283-287 http://www.uni-
leipzig.de/~tbittner/BittnerC0235.pdf

- On Parts and Holes : The Spatial Structure of the Human Body / Donnelly, Maureen. - In: Medinfo 2004 
: proceedings of the World Congress on Medical Informatics / Ed.: Fieschi, M. [u.a.]. - Amsterdam : IOS 
Press. 2004, 351-356

- Relative Places / Donnelly, Maureen. - In: Formal Ontology and Information Systems : Proceedings of the 
Third International Conference (FOIS 2004) / Ed.: Varzi, Achille C. ; Vieu, Laure. - Amsterdam : IOS 
Press. 2004  [Winner of IBM Prize for Best Paper at FOIS 2004], 249-260

Fielding, James Matthew

2004
- LinkSuite : Formally Robust Ontology-Based Data and Information Integration / Ceusters, Werner ; Smith, 
Barry ; Fielding, James Matthew. - In: Data integration in the life sciences : First International Workshop, 
DILS 2004, Leipzig, Germany, March 25 - 26, 2004 ; proceedings / Erhard Rahm (ed.). - Berlin ; Heidelberg 
: Springer. 2004, 79-94 (Lecture notes in computer science ; 2994 : Lecture notes in bioinformatics)

- Ontological Theory for Ontological Engineering : Biomedical Systems Information Integration / Fielding, 
James Matthew ; Jonathan, Simon ; Ceusters, Werner ; Smith, Barry. - In: Principles of knowledge representation 
and reasoning : proceedings of the ninth international conference (KR2004) ; [Whistler, BC, Canada, June 
2 - 5, 2004]. - Menlo Park, Calif.. 2004, 114-120 http://ontology.buffalo.edu/bio/KR_2004.pdf

- Philosophical Scrutiny for Run-Time Support of Application Ontology Development / Dos Santos, Mariana 
Casella ; Dhaen, Christoffel ; Fielding, James Matthew ; Ceusters, Werner. - In: Formal Ontology and 
Information Systems : Proceedings of the Third International Conference (FOIS 2004) / Ed.: Varzi, Achille 
C. ; Vieu, Laure. - Amsterdam : IOS Press. 2004, 342-352 http://ontology.buffalo.edu/medo/Run-Time-Support.pdf

- Reference Ontologies for Biomedical Ontology Integration and Natural Language Processing / Simon, Jonathan 
; Fielding, James Matthew ; Dos Santos, Mariana Casella ; Smith, Barry. - In: Proceedings / International 
Joint Meeting EuroMISE, Prague, 2004.04.12-15 / Ed.: Zvarova, Jana. - Prague. 2004, 62

- Using Philosophy to Improve the Coherence and Interoperability of Applications Ontologies : a Field Report 
on the Collaboration of IFOMIS and L&C / Simon, Jonathan ; Fielding, James Matthew ; Smith, Barry. - 
In: Proceedings of the First International Workshop on Philosophy and Informatics : WSPI '04, Cologne 
(Germany), March 31 - April 1, 2004 / Ed.: Büchel, Gregor ; Klein, Bertin ; Roth-Berghofer, Thomas. -
 Köln. 2004, 65-72 (CEUR workshop proceedings ; 112)

Goldberg Louis

2005
- The Significance of SNODENT / Goldberg Louis ; Ceusters, Werner ; Smith, Barry. - In: Medical Informatics 
Europe / Ed.: Engelbrecht, R. [u.a.]. - Amsterdam : IOS Press. 2005, 737-742

2004
- Biodynamic Ontology : Applying BFO in the Biomedical Domain / Grenon, Pierre ; Smith, Barry ; Goldberg 
Louis. - In: Ontologies in Medicine : Proceedings of the Workshop on Medical Ontologies, Rome, October 
2003 / Ed.: Pisanelli, Domenico M. - Amsterdam : IOS Press. 2004, 20-38 http://ontology.buffalo.edu/medo/biodynamic.pdf

Gorman, Michael

2005
- The Essential and the Accidental / Gorman, Michael. - In: Ratio, 18 (2005) , 3, 276-289 http://faculty.cua.edu/gorman/GormanEssAcc.pdf

Grenon, Pierre

2004
- Biodynamic Ontology : Applying BFO in the Biomedical Domain / Grenon, Pierre ; Smith, Barry ; Goldberg 
Louis. - In: Ontologies in Medicine : Proceedings of the Workshop on Medical Ontologies, Rome, October 
2003 / Ed.: Pisanelli, Domenico M. - Amsterdam : IOS Press. 2004, 20-38 http://ontology.buffalo.edu/medo/biodynamic.pdf

- The Cornucopia of Formal-Ontological Relations / Smith, Barry ; Grenon, Pierre. - In: Dialectica, 58 
(2004) , 3, 279-296 http://ontology.buffalo.edu/smith/articles/cornucopia.pdf

- A Formal Theory of Substances, Qualities, and Universals / Neuhaus, Fabian ; Grenon, Pierre ; Smith, 
Barry. - In: Formal Ontology and Information Systems : Proceedings of the Third International Conference 
(FOIS 2004) / Ed.: Varzi, Achille C. ; Vieu, Laure. - Amsterdam : IOS Press. 2004, 49-58 http://ontology.buffalo.edu/bfo/SQU.pdf

- Roles : One Dead Armadillo on WordNet's Speedway to Ontology / Trautwein, Martin ; Grenon, Pierre. - 
In: Proceedings of the Second International WordNet Conference : GWC 2004, Brno, Czech Republic, January 
20-23, 2004 / Ed.: Sojka, Petr ; Pala, Karel ; Smrz, Pavel ; Fellbaum, Christiane ; Vossen, Piek. - Brno. 
2004, 341-346

- SNAP and SPAN : Towards Dynamic Spatial Ontology / Grenon, Pierre ; Smith, Barry. - In: Spatial Cognition 
and Computation, 4 (2004) , 1, 69-104 http://ontology.buffalo.edu/smith/articles/SNAP_SPAN.pdf

Hennig, Boris

2005
- Complex Procedures Instantiated by their Proper Parts / Hennig, Boris. - In: 7th International Symposium 
on Logical Formalization of Common Sense Reasoning / Ed.: McIlraith, Sheila ; Peppas, Pavlos ; Thielscher, 
Michael. - Dresden. 2005, 93-98 (Technical Reports / TU Dresden)

Jansen, Ludger

2005
- Institutionen und die kategoriale Ontologie / Jansen, Ludger. - In: Institutionen und ihre Ontologie 
/ Ed.: Schönrich, Gerhard. - Frankfurt/M. ; Lancaster : Ontos. 2005, 45-57 http://home.arcor.de/metaphysicus/Texte/Institutionen-kategorial.pdf

Johansson, Ingvar

2005
- Qualities and the Endurant-Perdurant Distinction / Johansson, Ingvar. - In: Proceedings of the 3rd Conference 
on Professional Knowledge Management (WM 2005) / Ed.: Roth-Berghofer, Thomas [u.a.]. - Kaiserslautern. 
2005, 543-550

2004
- Functions, Function Concepts, and Scales / Johansson, Ingvar. - In: The Monist, 87 (2004) , 1, 96-114

- On the Transitivity of the Parthood Relation / Johansson, Ingvar. - In: Relations and predicates / Ed.: 
Hocberg, Herbert ; Mulligan, Kevin. - Frankfurt [u.a.] : Ontos Verlag. 2004, 161-181 (Philosophische 
Analyse ; 11)

- The Ontology of Temperature / Johansson, Ingvar. - In: Ursus philosophicus : essays dedicated to Björn 
Haglund on his sixtieth birthday. - Göteborg : Department of Philosophy, Göteborg University. 2004, 115-
124 (Philosophical communications : web series ; 32) http://www.phil.gu.se/posters/festskrift

- Truthmaking : a Cognition-Independent Internal Relation with Heterogeneous Relata / Johansson, Ingvar. 
- In: Experience and analysis : papers of the 27th International Wittgenstein Symposium, August 8 - 14, 
2004, Kirchberg am Wechsel / Ed.: Johann Christian Marek; Maria Elisabeth Reicher. - Kirchberg am Wechsel 
: Österreichische Ludwig-Wittgenstein-Gesellschaft. 2004, 154-156 (Contributions of the Austrian Ludwig 
Wittgenstein Society ; 12)

Kumar, Anand

2005
- Relations in Biomedical Ontologies / Smith, Barry ; Ceusters, Werner ; Klagges, Bert R.E. ; Köhler, Jacob 
; Kumar, Anand ; Lomax, Jane ; Mungall, Chris ; Neuhaus, Fabian ; Rector, Alan L. ; Rosse, Cornelius. 
- In: Genome Biology, 6 (2005) , R46 http://genomebiology.com/2005/6/5/R46

2004
- An Ontological Framework for the Implementation of Clinical Guidelines in Health Care Organizations / 
Kumar, Anand ; Smith, Barry ; Pisanelli, Domenico M. ; Gangemi, Aldo ; Stefanelli, Mario. - In: Ontologies 
in Medicine : Proceedings of the Workshop on Medical Ontologies, Rome, October 2003 / Ed.: Pisanelli, 
Domenico M. - Amsterdam : IOS Press. 2004, 95-107 http://ontology.buffalo.edu/medo/WorkflowFramework.pdf

- Biomedical Informatics and Granularity / Kumar, Anand ; Smith, Barry ; Novotny, Daniel. - In: Functional 
and Comparative Genomics, 5 (2004) , 501-508

- Context-Based Task Ontologies for Clinical Guidelines / Kumar, Anand ; Ciccarese, Paolo ; Smith, Barry 
; Matteo, Piazza. - In: Ontologies in Medicine : Proceedings of the Workshop on Medical Ontologies, Rome, 
October 2003 / Ed.: Pisanelli, Domenico M. - Amsterdam : IOS Press. 2004, 81-94 http://www.uni-leipzig.de/~akumar/CTO.pdf

- Dependence Relationships between Gene Ontology Terms based on TIGR Gene Product Annotations / Kumar, 
Anand ; Smith, Barry ; Borgelt, Christian. - In: Proceedings of CompuTerm 2004 : 3rd International Workshop 
on Computational Terminology, Coling, Geneva. 2004, 31-38 http://www.uni-
leipzig.de/~akumar/coling.pdf

- Investigating Subsumption in DL-Based Terminologies : A Case Study in SNOMED CT / Bodenreider, Olivier 
; Smith, Barry ; Kumar, Anand ; Burgun, Anita. - In: Proceedings of the First International Workshop 
on Formal Biomedical Knowledge Representation (KR-MED 2004) / Ed.: Hahn, Udo ; Schulz, Stefan ; Cornet, 
R.. 2004, 12-20 (CEUR workshop proceedings ; 102)

- MetaProt : A Proteomics Meta-Classification / Kumar, Anand. - In: Medinfo 2004 : proceedings of the World 
Congress on Medical Informatics / Ed.: Fieschi, M. [u.a.]. - Amsterdam : IOS Press. 2004, 1699 http://www.uni-leipzig.de/~akumar/metaprot.pdf

- Mistakes in Medical Ontologies : Where Do They Come From and How Can They Be Detected / Ceusters, Werner 
; Smith, Barry ; Kumar, Anand ; Dhaen, Christoffel. - In: Ontologies in Medicine : Proceedings of the 
Workshop on Medical Ontologies, Rome, October 2003 / Ed.: Pisanelli, Domenico M. - Amsterdam : IOS Press. 
2004, 145-164

- On Controlled Vocabularies in Bioinformatics : a Case Study in the Gene Ontology / Smith, Barry ; Kumar, 
Anand. - In: Drug discovery today / Biosilico, 2 (2004) , 6, 246-252 http://ontology.buffalo.edu/bio/Compositionality_in_GO.pdf

- On the Application of Formal Principles to Life Science Data : a Case Study in the Gene Ontology / Smith, 
Barry ; Köhler, Jacob ; Kumar, Anand. - In: Data integration in the life sciences : First International 
Workshop, DILS 2004, Leipzig, Germany, March 25 - 26, 2004 ; proceedings / Ed.: Erhard Rahm. - Berlin 
; Heidelberg [u.a.] : Springer. 2004, 124-139 (Lecture notes in computer science ; 2994 : Lecture notes 
in bioinformatics) http://ontology.buffalo.edu/medo/Database_Integration.pdf

- Ontological Model for Colon Carcinoma : a Case Study for Knowledge Representation in Clinical Bioinformatics 
/ Kumar, Anand ; Yip, Lina ; Jaramek, M. ; Scheib, H.. - In: Kooperative Versorgung, Vernetzte Forschung, 
Ubiquitäre Information : [Proceedings of GMDS 2004] / Ed.: Ammenwerth, Elske. - Niebüll : Videel. 2004, 
196-198 (Jahrestagung der GMDS ; 49)

- Ontology-Based Error Detection in SNOMED-CT / Ceusters, Werner ; Smith, Barry ; Kumar, Anand ; Dhaen, 
Christoffel. - In: Medinfo 2004 : proceedings of the World Congress on Medical Informatics / Ed.: Fieschi, 
M. [u.a.]. - Amsterdam : IOS Press. 2004, 482-486

- Towards a Proteomics Meta-Classification / Kumar, Anand ; Smith, Barry. - In: Proceedings / Fourth IEEE 
Symposium on Bioinformatics and Bioengineering, 2004, BIBE 2004 : 19 - 21 May 2004, Taichung, Taiwan. 
- Los Alamitos, Calif. [u.a.] : IEEE Computer Society. 2004, 419-427

Menzel, Christopher

2004
- Basic Semantic Integration / Menzel, Christopher. - In: Semantic Interoperability and Integration / Ed.: 
Kalfoglou, Y. .... - Dagstuhl. 2004, 13 S. (Dagstuhl Seminar Proceedings ; 04391) http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=42

Munn, Katherine

2004
- Bodily Systems and the Spatial-Functional Structure of the Human Body / Smith, Barry ; Munn, Katherine 
; Papakin, Igor. - In: Ontologies in Medicine : Proceedings of the Workshop on Medical Ontologies, Rome, 
October 2003 / Ed.: Pisanelli, Domenico M. - Amsterdam : IOS Press. 2004, 39-63 http://ontology.buffalo.edu/medo/OBS.pdf

Neuhaus, Fabian

2005
- Relations in Biomedical Ontologies / Smith, Barry ; Ceusters, Werner ; Klagges, Bert R.E. ; Köhler, Jacob 
; Kumar, Anand ; Lomax, Jane ; Mungall, Chris ; Neuhaus, Fabian ; Rector, Alan L. ; Rosse, Cornelius. 
- In: Genome Biology, 6 (2005) , R46 http://genomebiology.com/2005/6/5/R46

2004
- First-order logic revisited / Ed.: Hendricks, Vincent ; Neuhaus, Fabian ; Pedersen, Stig A. ; Scheffler, 
Uwe ; Wansing, Heinrich. - Berlin : Logos. 2004 (Logische Philosophie ; 12)

- A Formal Theory of Substances, Qualities, and Universals / Neuhaus, Fabian ; Grenon, Pierre ; Smith, 
Barry. - In: Formal Ontology and Information Systems : Proceedings of the Third International Conference 
(FOIS 2004) / Ed.: Varzi, Achille C. ; Vieu, Laure. - Amsterdam : IOS Press. 2004, 49-58 http://ontology.buffalo.edu/bfo/SQU.pdf

Smith, Barry

2005
- Referent Tracking in Electronic Healthcare Records / Ceusters, Werner ; Smith, Barry. - In: Medical Informatics 
Europe / Ed.: Engelbrecht, R. [u.a.]. - Amsterdam : IOS Press. 2005, 71-76

- Relations in Biomedical Ontologies / Smith, Barry ; Ceusters, Werner ; Klagges, Bert R.E. ; Köhler, Jacob 
; Kumar, Anand ; Lomax, Jane ; Mungall, Chris ; Neuhaus, Fabian ; Rector, Alan L. ; Rosse, Cornelius. 
- In: Genome Biology, 6 (2005) , R46 http://genomebiology.com/2005/6/5/R46

- The Significance of SNODENT / Goldberg Louis ; Ceusters, Werner ; Smith, Barry. - In: Medical Informatics 
Europe / Ed.: Engelbrecht, R. [u.a.]. - Amsterdam : IOS Press. 2005, 737-742

- Wüsteria / Smith, Barry ; Ceusters, Werner ; Temmermann, R.. - In: Medical Informatics Europe / Ed.: 
Engelbrecht, R. [u.a.]. - Amsterdam : IOS Press. 2005, 647-652

2004
- 2004 Ontological Foundations for Geographic Information Science / Mark, David M. ; Smith, Barry ; Egenhofer, 
M.J. ; Hirtle, S.C.. - In: A Research Agenda for Geographic Information Science / Ed.: McMaster, R. B. 
; Usery, E. L.. - Boca Raton, Florida : CRC Press. 2004, 335-350

- An Ontological Framework for the Implementation of Clinical Guidelines in Health Care Organizations / 
Kumar, Anand ; Smith, Barry ; Pisanelli, Domenico M. ; Gangemi, Aldo ; Stefanelli, Mario. - In: Ontologies 
in Medicine : Proceedings of the Workshop on Medical Ontologies, Rome, October 2003 / Ed.: Pisanelli, 
Domenico M. - Amsterdam : IOS Press. 2004, 95-107 http://ontology.buffalo.edu/medo/WorkflowFramework.pdf

- Beyond Concepts, or: Ontology as Reality Representation / Smith, Barry. - In: Formal Ontology and Information 
Systems : Proceedings of the Third International Conference (FOIS 2004) / Ed.: Varzi, Achille C. ; Vieu, 
Laure. - Amsterdam : IOS Press. 2004, 73-84 http://ontology.buffalo.edu/bfo/BeyondConcepts.pdf

- Biodynamic Ontology : Applying BFO in the Biomedical Domain / Grenon, Pierre ; Smith, Barry ; Goldberg 
Louis. - In: Ontologies in Medicine : Proceedings of the Workshop on Medical Ontologies, Rome, October 
2003 / Ed.: Pisanelli, Domenico M. - Amsterdam : IOS Press. 2004, 20-38 http://ontology.buffalo.edu/medo/biodynamic.pdf

- Biomedical Informatics and Granularity / Kumar, Anand ; Smith, Barry ; Novotny, Daniel. - In: Functional 
and Comparative Genomics, 5 (2004) , 501-508

- Bodily Systems and the Spatial-Functional Structure of the Human Body / Smith, Barry ; Munn, Katherine 
; Papakin, Igor. - In: Ontologies in Medicine : Proceedings of the Workshop on Medical Ontologies, Rome, 
October 2003 / Ed.: Pisanelli, Domenico M. - Amsterdam : IOS Press. 2004, 39-63 http://ontology.buffalo.edu/medo/OBS.pdf

- Brentano's Ontology / Chrudzimski, Arkadius ; Smith, Barry. - In: The Cambridge Companion to Brentano 
/ Ed.: Jacquette, Dale. - Cambridge : Cambridge University Press. 2004, 175-194

- Carving Up Reality / Smith, Barry. - In: Categories : Historical and Systematic Essays / Ed.: Gorman, 
Michael ; Sanford, J.. - Washington, DC : The Catholic University of America Press. 2004, 225-237

- Context-Based Task Ontologies for Clinical Guidelines / Kumar, Anand ; Ciccarese, Paolo ; Smith, Barry 
; Matteo, Piazza. - In: Ontologies in Medicine : Proceedings of the Workshop on Medical Ontologies, Rome, 
October 2003 / Ed.: Pisanelli, Domenico M. - Amsterdam : IOS Press. 2004, 81-94 http://www.uni-leipzig.de/~akumar/CTO.pdf

- The Cornucopia of Formal-Ontological Relations / Smith, Barry ; Grenon, Pierre. - In: Dialectica, 58 
(2004) , 3, 279-296 http://ontology.buffalo.edu/smith/articles/cornucopia.pdf

- La Costituzione ontologica / Smith, Barry ; Ferraris, Maurizio ; Zaibert, Leonardo. - In: Il sole, 24 
Ore. 2004 , 27 June

- Dependence Relationships between Gene Ontology Terms based on TIGR Gene Product Annotations / Kumar, 
Anand ; Smith, Barry ; Borgelt, Christian. - In: Proceedings of CompuTerm 2004 : 3rd International Workshop 
on Computational Terminology, Coling, Geneva. 2004, 31-38 http://www.uni-
leipzig.de/~akumar/coling.pdf

- Endurants and Perdurants in Directly Depicting Ontologies / Bittner, Thomas ; Donnelly, Maureen ; Smith, 
Barry. - In: AI Communications, 17 (2004) , 4, 247-258 http://www.uni-
leipzig.de/~tbittner/BittnerAICOM.pdf

- A Formal Theory of Substances, Qualities, and Universals / Neuhaus, Fabian ; Grenon, Pierre ; Smith, 
Barry. - In: Formal Ontology and Information Systems : Proceedings of the Third International Conference 
(FOIS 2004) / Ed.: Varzi, Achille C. ; Vieu, Laure. - Amsterdam : IOS Press. 2004, 49-58 http://ontology.buffalo.edu/bfo/SQU.pdf

- Individuals, Universals, Collections : on the Foundational Relations of Ontology / Bittner, Thomas ; 
Donnelly, Maureen ; Smith, Barry. - In: Formal Ontology and Information Systems : Proceedings of the 
Third International Conference (FOIS 2004) / Ed.: Varzi, Achille C. ; Vieu, Laure. - Amsterdam : IOS 
Press. 2004, 37-48

- Investigating Subsumption in DL-Based Terminologies : A Case Study in SNOMED CT / Bodenreider, Olivier 
; Smith, Barry ; Kumar, Anand ; Burgun, Anita. - In: Proceedings of the First International Workshop 
on Formal Biomedical Knowledge Representation (KR-MED 2004) / Ed.: Hahn, Udo ; Schulz, Stefan ; Cornet, 
R.. 2004, 12-20 (CEUR workshop proceedings ; 102)

- LinkSuite : Formally Robust Ontology-Based Data and Information Integration / Ceusters, Werner ; Smith, 
Barry ; Fielding, James Matthew. - In: Data integration in the life sciences : First International Workshop, 
DILS 2004, Leipzig, Germany, March 25 - 26, 2004 ; proceedings / Erhard Rahm (ed.). - Berlin ; Heidelberg 
: Springer. 2004, 79-94 (Lecture notes in computer science ; 2994 : Lecture notes in bioinformatics)

- L'ontologia del senso comune / Smith, Barry. - In: Valore e limiti del senso comune / Ed.: Agazzi, Evandro. 
- Milano : Angeli. 2004, 261-284

- Medical WordNet : a New Methodology for the Construction and Validation of Information / Smith, Barry 
; Fellbaum, Christiane. - In: Proceedings of COLING / 20th International Conference on Computational 
Linguistics, Geneva 23-27 August, 2004. - East Stroudsburg, Pa. 2004, 371-382

- Mistakes in Medical Ontologies : Where Do They Come From and How Can They Be Detected / Ceusters, Werner 
; Smith, Barry ; Kumar, Anand ; Dhaen, Christoffel. - In: Ontologies in Medicine : Proceedings of the 
Workshop on Medical Ontologies, Rome, October 2003 / Ed.: Pisanelli, Domenico M. - Amsterdam : IOS Press. 
2004, 145-164

- On Controlled Vocabularies in Bioinformatics : a Case Study in the Gene Ontology / Smith, Barry ; Kumar, 
Anand. - In: Drug discovery today / Biosilico, 2 (2004) , 6, 246-252 http://ontology.buffalo.edu/bio/Compositionality_in_GO.pdf

- On the Application of Formal Principles to Life Science Data : a Case Study in the Gene Ontology / Smith, 
Barry ; Köhler, Jacob ; Kumar, Anand. - In: Data integration in the life sciences : First International 
Workshop, DILS 2004, Leipzig, Germany, March 25 - 26, 2004 ; proceedings / Ed.: Erhard Rahm. - Berlin 
; Heidelberg [u.a.] : Springer. 2004, 124-139 (Lecture notes in computer science ; 2994 : Lecture notes 
in bioinformatics) http://ontology.buffalo.edu/medo/Database_Integration.pdf

- The Ontological Nexus between Speech Acts and Medical Records / Vizenor, Lowell ; Smith, Barry. - In: 
Proceedings / International Joint Meeting EuroMISE, Prague, 2004.04.12-15 / Ed.: Zvarova, Jana. - Prague. 
2004, 61

- Ontological Theory for Ontological Engineering : Biomedical Systems Information Integration / Fielding, 
James Matthew ; Jonathan, Simon ; Ceusters, Werner ; Smith, Barry. - In: Principles of knowledge representation 
and reasoning : proceedings of the ninth international conference (KR2004) ; [Whistler, BC, Canada, June 
2 - 5, 2004]. - Menlo Park, Calif.. 2004, 114-120 http://ontology.buffalo.edu/bio/KR_2004.pdf

- Ontologie-basierte Qualitätssicherung medizinischer Terminologien / Smith, Barry. - In: Kooperative Versorgung, 
Vernetzte Forschung, Ubiquitäre Information. - Niebüll : Verl. videel. 2004, 193-195 (Jahrestagung der 
GMDS / Deutsche Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie ; 49) http://ontology.buffalo.edu/medo/gmds2004.pdf

- Ontology-Assisted Database Integration to Support Natural Language Processing and Biomedical Data-mining 
/ Verschelde, Jean-Luc ; Dos Santos, Mariana Casella ; Deray, Tom ; Smith, Barry ; Ceusters, Werner. 
- In: Journal of Integrative Bioinformatics. 2004 , 01-16 http://www-bm.ipk-gatersleben.de/stable/php/journal/articles/pdf/jib-1.pdf

- Ontology-Based Error Detection in SNOMED-CT / Ceusters, Werner ; Smith, Barry ; Kumar, Anand ; Dhaen, 
Christoffel. - In: Medinfo 2004 : proceedings of the World Congress on Medical Informatics / Ed.: Fieschi, 
M. [u.a.]. - Amsterdam : IOS Press. 2004, 482-486

- The Ontology-Epistemology Divide : A Case Study in Medical Terminology / Bodenreider, Olivier ; Smith, 
Barry ; Burgun, Anita. - In: Formal Ontology and Information Systems : Proceedings of the Third International 
Conference (FOIS 2004) / Ed.: Varzi, Achille C. ; Vieu, Laure. - Amsterdam : IOS Press. 2004, 185-195 
http://ontology.buffalo.edu/medo/Onto_Epist.pdf

- Reference Ontologies for Biomedical Ontology Integration and Natural Language Processing / Simon, Jonathan 
; Fielding, James Matthew ; Dos Santos, Mariana Casella ; Smith, Barry. - In: Proceedings / International 
Joint Meeting EuroMISE, Prague, 2004.04.12-15 / Ed.: Zvarova, Jana. - Prague. 2004, 62

- The Role of Foundational Relations in the Alignment of Biomedical Ontologies / Smith, Barry ; Rosse, 
Cornelius. - In: Medinfo 2004 : proceedings of the World Congress on Medical Informatics / Ed.: Fieschi, 
M. [u.a.]. - Amsterdam : IOS Press. 2004, 444-448 http://ontology.buffalo.edu/bio/Compositionality_in_GO.pdf

- A Science of Topography: From Qualitative Ontology to Digital Representations / Mark, David M. ; Smith, 
Barry. - In: Geographic Information Science and Mountain Geomorphology / Ed. Bishop, Michael P. ; Shroder, 
John F.. - Berlin [u.a.] : Springer [u.a.]. 2004, 75-100 http://ontology.buffalo.edu/smith//articles/topography.pdf

- SNAP and SPAN : Towards Dynamic Spatial Ontology / Grenon, Pierre ; Smith, Barry. - In: Spatial Cognition 
and Computation, 4 (2004) , 1, 69-104 http://ontology.buffalo.edu/smith/articles/SNAP_SPAN.pdf

- Une théorie unifiée de la vérité et de la référence / Smith, Barry. - In: La structure du monde : objets, 
propriétés, états de choses / Ed.: Monnoyer, Jean-Maurice. - Paris : Vrin. 2004, 141-184

- Towards a Proteomics Meta-Classification / Kumar, Anand ; Smith, Barry. - In: Proceedings / Fourth IEEE 
Symposium on Bioinformatics and Bioengineering, 2004, BIBE 2004 : 19 - 21 May 2004, Taichung, Taiwan. 
- Los Alamitos, Calif. [u.a.] : IEEE Computer Society. 2004, 419-427

- Using Philosophy to Improve the Coherence and Interoperability of Applications Ontologies : a Field Report 
on the Collaboration of IFOMIS and L&C / Simon, Jonathan ; Fielding, James Matthew ; Smith, Barry. - 
In: Proceedings of the First International Workshop on Philosophy and Informatics : WSPI '04, Cologne 
(Germany), March 31 - April 1, 2004 / Ed.: Büchel, Gregor ; Klein, Bertin ; Roth-Berghofer, Thomas. -
 Köln. 2004, 65-72 (CEUR workshop proceedings ; 112)

- Warum benutzen Ärzte keine Computer? / Smith, Barry ; Siebert, Dirk. - In: Deutsches Ärzteblatt / Praxis 
Computer, 20 (2004) , 1, 18-20

- Was die philosophische Ontologie zur biomedizinischen Informatik beitragen kann / Smith, Barry ; Siebert, 
Dirk ; Ceusters, Werner. - In: Information - Wissenschaft und Praxis, 55 (2004) , 3, 143-146 http://ontology.buffalo.edu/medo/WasDiePhilosophie.pdf

Vizenor, Lowell

2004
- Actions in Health Care Organizations : an Ontological Analysis / Vizenor, Lowell. - In: Medinfo 2004 
: proceedings of the World Congress on Medical Informatics / Ed.: Fieschi, M. [u.a.]. - Amsterdam : IOS 
Press. 2004, 1403-1408

- The Ontological Nexus between Speech Acts and Medical Records / Vizenor, Lowell ; Smith, Barry. - In: 
Proceedings / International Joint Meeting EuroMISE, Prague, 2004.04.12-15 / Ed.: Zvarova, Jana. - Prague. 
2004, 61

Zaibert, Leonardo

2004
- La Costituzione ontologica / Smith, Barry ; Ferraris, Maurizio ; Zaibert, Leonardo. - In: Il sole, 24 
Ore. 2004 , 27 June