Barry Smith
State University of New York, Buffalo
Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date.
Keywords ontological engineering  Language and Computing
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Enhancing GO for the Sake of Clinical Bioinformatics.Anand Kumar & Barry Smith - 2004 - Proceedings of the Bio-Ontologies Workshop , Glasgow 133.
Mereotopology: A Theory of Parts and Boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
How to Express Ontological Commitment in the Vernacular.Jamin Asay - 2010 - Philosophia Mathematica 18 (3):293-310.


Added to PP index

Total views
282 ( #37,889 of 2,505,985 )

Recent downloads (6 months)
13 ( #59,957 of 2,505,985 )

How can I increase my downloads?


My notes