Fielding Fielding

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.

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies.[1] To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO).[2] With this project we aim to move beyond the level of controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny.

Comparisons of Ludwig Wittgenstein and John Cage typically focus on the “later Wittgenstein” of the Philosophical Investigations. However, in this article I focus on the deep intellectual sympathy between the “early Wittgenstein” of the Tractatus Logico-Philosophicus—with its evocative and controversial invocation of silence at the end, the famous proposition 7: “Whereof we cannot speak, thereof we must be silent”—and Cage's equally evocative and controversial work on the same theme—his “silent piece,” 4′33″. This sympathy expresses itself not only in the common aim of the two works (a mystical appreciation for the ordinary, everyday world that surrounds us) but also in a shared methodology for bringing about this aim (tracing the limits of language from within in order to transcend those very limits). In this sense, I argue that Cage's work gives a concrete, performative reality to Wittgenstein's early conception of language as well as the mystical revelation that lies behind it

The word "ontology" presently encompasses two different meanings. In the philosophical sense, ontology has been defined since the days of Aristotle as the "science of being," also called "metaphysics." In this sense, ontology is concerned with categorizing discrete entities in reality and the relationships that hold between those entities (Aristotle 1952). Ontology, in the tradition of philosophical realism, aims to describe every day, mesoscopic entities and relations as they are in themselves, and not from the specific viewpoint of some particular domain or conceptual schema. The type of entities realist ontology concerns are those that exist "out there" in the world (such as tables, chairs, mountains, streams ..

We would first of all like to thank Thor Grünbaum and Andrea Raballo for their thoughtful and lively commentary on our work. We would also like to thank Daniel Rubin for taking this opportunity to describe in detail some of the research carried out in this domain since our paper was first written. Although their commentaries may seem to fall on opposite ends of the critical scale, so to speak, taken together they provide an opportunity to take stock of the progress that has been made in this endeavor as well as some of the challenges that remain to be overcome. In this short response, we focus primarily on what we believe to be the most serious of Grünbaum and Raballo's criticisms to our work, arguing that our ..