Professional Documents
Culture Documents
Ontologies Paper Agarwal
Ontologies Paper Agarwal
Science
Review Article
P. AGARWAL*
School of Computing, University of Leeds, Leeds, UK
1. Introduction
‘The field of ontology, or as it may otherwise be termed, the field of supremely
abstract entities, is a yet untrodden labyrinth.’ (Bentham 1843: 195 from Hart
1982)
2. What is ontology?
Ontology began as a philosophical tradition but has found widespread application in
many diverse disciplines. The interpretation of ontology varies across different
disciplines; the primary divergence exists between the philosophical (or meta-physical)
approach and the AI (or information system) approach. Other confusions in defining
and applying ontology lie in the unclear distinctions between ontology and ontologies,
ontology and knowledge base, and ontology and epistemology.
In logic, the existential quantifier ’ is a notation for asserting that something
exists, but logic itself has no vocabulary for describing the things that exist.
Ontologies fill this gap; they are used to study the existence of all kinds of entities,
abstract and concrete, that make up the world (Sowa 2000). In the Oxford English
Dictionary (OED), ontology is defined as belonging to the ‘metaphysical
department’ and as the ‘science or study of being’ (OED 2003). From WordNet
(WORDNET 1998), the meaning of ontology can be extracted as the ‘metaphysical
study of the nature of being and existence’. The first recorded attempt at a complete
ontology of reality is believed to be by Aristotle in 340 BC, in his seminal work
‘Categories’ (Mann 2000), later adopted by Plato. Aristotle regards the reality as ‘all
the species of being qua being and the attributes which belong to it qua being’
(Aristotle Metaphysics IV.1, from Guarino and Giaretta 1995: 26). This study of
explaining reality by breaking it down into concepts, relations and rules has since
come to be known as ontology (Audi 1995). It was brought into prominence in the
eighteenth century by Christian Wolff (1679–1750), a German rationalist, for whom
it was a deductive discipline leading to necessary truths about the essences of beings.
Although these views on ontology as a deductive system were refuted later by Kant
(1724–1804), with the 20th century renovation of metaphysics, ontology or
ontological thought has again become important, notably among phenomenologists
and existentialists. This specification of ‘what constitutes reality’ forms the basis of
an ontology described from a philosophical perspective (Smith 1995b). However, no
clear criterion for what constitutes ‘being’ and how to identify it is defined. Even
Quine’s (1992) famous criterion for ‘being’ (‘to be is to be the value of a quantified
variable’) is criticized for lack of specificity. The philosophical ontology is presented
in the form of taxonomies or hierarchical classifications and is representative of the
world in total. In this context, Husserl’s work (Smith 1989, Poli 1993, Smith and
504 P. Agarwal
‘normative’ and ‘descriptive’ ontologies (Curry 2000). Here, the first-order (or
generic) ontologies are bare-bones concepts for the domain, including physical
objects and classes; the second-order (or normative) ontologies are precise and based
on object-substance classification; and the third-order ontologies are descriptive,
consisting of what Curry (2000) refers to as socially constructed or imagined
concepts. Other ontology typologies are based on the nature of the conceptualiza-
tion itself. Mizoguchi et al. (1995) and van Heijst et al. (1996) provide an exhaustive
typology of ontologies. These can be outlined as follows:
1. ‘Knowledge Representation ontologies’ capture the representation primitives
used to formalize knowledge in knowledge representation paradigms. The most
representative example is the Frame-Ontology (Gruber 1993), which captures
the representation primitives (classes, instances, slots, facets, etc.) used in frame-
based languages, and an object-based representation of the world.
2. ‘General’ or ‘Common ontologies’ (Mizoguchi et al. 1995) include vocabulary
related to things, events, time, space, causality, behaviour, function, etc. This
is also part of the distinction provided by Guarino and Giaretta (1995).
3. ‘Meta-ontologies’, also called ‘Generic Ontologies’ or ‘Core Ontologies’, are
reusable across domains. The mereology ontology (Borst et al. 1997) and the
gene-ontology (Gene Ontology Consortium 2003) can be considered as the
most representative examples of the meta-ontology.
4. ‘Domain ontologies’ (DO) are reusable in a given domain. They provide
vocabularies about the concepts within a domain and their relationships, the
activities that take place in that domain, and the theories and elementary
principles governing that domain. ‘Task ontologies’ provide a systematized
vocabulary of the terms used to solve problems associated with tasks that may or
may not be from the same domain, and these are application-oriented ontologies.
5. ‘Reference Ontologies’ are proposed, from the philosophical standpoint as
theories for ‘independently existing realities’ (Smith 1999). On the other hand,
the KE approach follows two distinct approaches: first, where the focus is on
the design of the theory and the rich axiomatization is needed to define the
ontological commitments and second, where the focus is on having an
ontology as a working application using minimum terminology and simple
taxonomies (Guarino and Giaretta 1995). As opposed to formal, axiomatized
ontology that constitutes a detailed description of the domain, ‘reference
ontologies’ serve the purpose of negotiating meanings between communities
by explaining the meaning of terms that are included in the top-level ontology
(Borgo et al. 2002).
6. ‘Linguistic ontologies’ (e.g. Henschel and Bateman 1994) are sometimes
employed to bridge the gap between the philosophical and engineering-
oriented ontologies by relating concepts to natural language and semantics of
the grammatical units. Examples consist of EuroWordNet (Vossen et al.
1997), SENSUS (Knight et al. 1995), Goi-Taikei (Ikehara et al. 1997), and
WordNet (Felbaum 1998).
interrelated, which collectively impose a structure on the domain and constrain the
possible interpretations of terms.
In the case of a metaphysical ontology, the three major types of top-level
distinction for real world entities are identified as follows:
1. Universals and Particulars: Realist philosophers in the Aristotelian traditions
distinguish between ‘universals’ (kinds, species, types) and ‘particulars’
(individuals, instances, tokens). The universal–particular distinction forms
the backbone of the Basic Formal Ontology (BFO) (Grenon and Smith 2004).
2. Endurant–Perdurant: The ‘endurant’ is a kind of entity that endures or
persists through time and is wholly present at each moment of its existence,
while ‘perdurant’ (or occurrant) entities are never fully present at any one
given moment in time, but instead ‘unfold’ themselves in successive phases or
temporal parts (Fielding et al. 2004). Examples of endurants are those
mesoscopic objects such as tables and chairs, people, operating rooms, cells,
and chromosomes. All of these kinds of entities, and all of their parts,
maintain their full identity from one moment to the next. Entities that ‘occur’
are processes or events such as a morning run or cellularization. Endurants
and perdurants have parthood relations, but never relate to each other. For
example, in the SNAP–SPAN ontology (Grenon and Smith 2004), a process-
oriented conceptualization is formed on this basis, where spatial regions,
niches and environments are endurants (SNAP); while actions, social and
physical change, and events are perdurants (SPAN). A ‘nation’ is an endurant,
while its ‘history’ is the perdurant. Similar relationships hold between ‘ocean’
and ‘tide’, and ‘population’ and ‘migration’ (Smith 2002).
3. Independent–dependent: ‘Independent’ entities have the ability to exist
without the ontological support of other entities. These are entities such as
people, tables, or molecules. On the other hand, ‘dependent’ entities require
the existence of these first sorts of entities for their own existence, such as a
viral infection is dependent on the virus and the organism infected (Fielding
et al. 2004).
Maedche and Staab (2001) propose that an ontology comprises a lexicon, concepts,
relations and axioms. From a summary of the different literature (Gruber 1993,
Uschold and Gruninger 1996, Studer et al. 1998, Chandrasekaran et al. 1999, Arpirez et
al. 2001), the primary components of an ontology are summarized as follows:
1. ‘Axioms’ are used to model conditions that are always true for the domain. A
rich axiomatic specification is critical in distinguishing an ontology from a
terminological taxonomy.
2. A ‘class’ or ‘category’ is a set of objects and the basis of knowledge
representation in an ontology. Categories include concepts (Sowa 2000), and
while concepts are linked to cognitive semantics, categories are universal in
the real world. A concept represents a set or class of entities or ‘things’ within
a domain.
3. ‘Relations’ represent types of interactions between the classes (or concepts) in
an ontology. Relations can be taxonomic, where concepts are part of other
concepts with ‘is a kind of’ and partitive relationships. Relations can also be
associative, nominal, locative, functional or causative. Further axiomatic
specifications for relations specify formal relations of mereology, identity,
unity, essence, rigidity and other dependence criteria. In the geographic
508 P. Agarwal
Raubal (2001: 658) defines ontology as ‘the content for a domain with definitions of
specific classes of objects and entities existing in that domain’, and epistemology as
‘what is known within that domain along with individual beliefs and knowledge’.
However, this distinction does not follow the metaphysical definition of ontology as
‘the definition of reality’ and the ‘knowledge within a domain’ (Audi 1995).
Historical development in the geographic discipline has been centred essentially on
binary oppositions, either space–time or realist–materialist attitudes. This has meant
that the viewpoints on knowledge generation have constantly wavered between
ontology and epistemology (Jones 2003). Postmodernist philosophical attitudes
towards this debate make these concepts explicitly inter-reducible by arguing that
issues of what constitutes the natural world are equivalent to describing the notion
or idea of what exists in the natural world (Spencer 1995).
Most GIScience research is based in a partly structuralist, partly critical–realist
paradigm. In this approach, the reality in a domain cannot be separated wholly from
the beliefs and thought in the domain, and the distinction between these two
concepts is inherently complex. Parallels can be easily drawn between the notion of
‘epistemic fallacy’ (Bhaskar 1994) and the concepts underlying ‘Naı̈ve Geography’
(in Egenhofer and Mark 1995). Both consider that ‘anything that defines what exists
in the real world is in fact a definition of a particular thought or idea of that reality’.
The ontology–epistemology binary opposition and conflict has been resolved
partially by saying that this distinction is an overall ontological problem, and can be
categorized as such. Guarino and Giaretta (1995) distinguish between ontology as
the ‘determinate interpretation of reality’ and epistemology as the ‘nature and
source of knowledge in the world’. Epistemology has not gained much attention
within GIScience, and with the philosophical realist position dominating the
discipline, the focus has largely been on ontology. In determining geo-spatial
ontologies, the question ‘what exists in a domain’ is not separated explicitly from the
‘theory of how that knowledge was identified and defined’.
Figure 1. Schematic diagram showing connections between Ontology and GIScience. (Colour
version available online.)
shows the connections between ontology and GIScience, and an indication of how
ontology of geography is an important part of the foundation of GIScience. Some of
these connections will become clearer from the following discussions.
In the geographic domain, discussion of knowledge generation and consequently
the use of ontology has primarily targeted the following questions: (1) what are the
geographic categories and context and (2) what are the semantics associated with
these concepts to make their definition unequivocally explicit? The three main
applications of ontology in the GIScience discipline that are apparent from a review
of the related literature are:
1. ontology for knowledge generation,
2. ontology for domain specification, and
3. ontology for information system development.
These have translated into the following research themes: (1) methods for linking
application-oriented ontologies to the real world (Timpf and Volta 1992, Raubal
et al. 1997, Mark et al. 1999); (2) attempts to define an overall ontology to
encapsulate all concepts, processes, and scales (both spatial and temporal) in a single
framework (Smith and Medin 1981, Smith 1995a, Frank 1997, 2001a, 2003a); and
(3) the methods for formalizing spatial and temporal relations and hierarchies from
the real world, at both the conceptual and operational level (Cohn 1997, Bennett
1998, 2001b, Guarino 1998, Bittner 2002, Bittner and Stell 2002, Grenon 2003). The
primary ontology initiatives in GIScience are aimed either at developing a
comprehensive geo-spatial ontology or at modelling certain specialized tasks. In
the second category, the focus is on application-oriented or purpose-driven
ontologies, and human actions and behaviour in a specific sub-domain are of
primary consideration to develop systems that are based on an understanding of
human reasoning and decision-making. The philosophical approach in GIScience,
on the other hand, aims at finding a top-level overall ontology for the geo-spatial
domain that can form a unifying framework for all concepts shared within the
geographic community.
3.3.1 Top-level ontologies. Most top-level ontologies are organized into hierarch-
ical concepts. In the GIScience domain, a distinct dual ontology in the binary
tradition is proposed by Grenon and Smith (2004). Frank (2001a) proposes a tiered
512 P. Agarwal
language such as that used in BFO is not complete (Frank 2003b). On the other
hand, Frank (2003a) adopts a more pragmatic standpoint that is not based on
metaphysical traditions, but is influenced by human conceptualization through
language structures and descriptors. It is not based in an independently existing
reality. Nevertheless, it comprises higher-order primitives as a foundation for lower-
level concepts, attempts to define a framework for concepts and relations applicable
to all geographic processes and phenomena, and hence qualifies as a top-level
ontology. This linguistically justified top-level ontology has its precedence in a tiered
ontology proposed earlier by Frank (2001a).
Suggested Upper Merged Ontology (SUMO) is constructed as an upper level
knowledge-base and is limited to meta-generic concepts that are adequate to address
a broad range of domain areas (Pease and Niles 2002, Pease et al. 2002). The major
top-level formal ontologies included within SUMO are: (1) the top-level ontology
of Sowa (1995) and Russell and Norvig (1995), (2) temporal axioms (Allen 1983,
Allen and Hayes 1985), (3) the formal theory of holes (Casati and Varzi 1994),
(4) ontology of boundaries (Smith and Varzi 1997), and (5) ontology for formal
mereotopology (Guarino 1995, Borgo et al. 1997). Concepts from specific domains
are not included but can be constructed using the concepts available within this
generic ontology. A few of the concepts included here that are relevant to the
geographic domain are topological relations, dimensions, latitude and longitude, and
political subdivisions. Additional resources on elevation, linked to terrain ontology,
are currently under development. A Middle Level Ontology (MILO) is also under
development that is expected to bridge the gap between SUMO and domain-level
ontologies. First-order logic based on a knowledge interchange format (KIF) has
been used for the development of this ontology that includes declarative semantics,
and is implemented to allow for easier merging from diverse sources. This ontology
is hierarchical in nature but by no means complete. It is also restrictive in
considering space and time as static and linear aspects.
3.3.2 Domain-specific ontologies. Kuhn’s (2001) ‘task-oriented ontologies’
emerge from the standpoint that the knowledge in a domain depends on what it
is used for, and hence the ontology for a GIS model will admit only entities that are
needed for the functions to be performed in the GIS. This is a user-oriented
perspective, based in realist assumptions and in individual differences, and is
concerned with finding universal common sets for the whole of the geographic
domain. Such ontologies are not based in the metaphysical notion of an absolute
independent reality but are emerging from requirements and syntax in the model,
and are focused on defining the categories and relations within a specific area of
application.
Since the domain ontologies do not constitute the philosophically motivated,
independent reality, the context in which the reality is defined (i.e. the nature of the
ontological commitment) has to be made explicit. The methods for defining the links
between the hierarchies and taxonomies in the ontology to reality, to resolve the
question of ‘where to take the ontology’ from, and to specify the assumptions that
are deployed within the operational framework, have been termed ‘grounding’
mechanisms (Uschold and Gruninger 1996, Kuhn 2000). So far, proposed ‘grounding
methods’ have included: (1) cognitive anchors (Tversky and Hemenway 1984, Lakoff
1987), (2) texts (Kuhn 2001), (3) actions and activities (Camara et al. 2000, Kuhn 2001),
(4) linguistics (Talmy 1983, Taylor 1995, WORDNET 1998), and (5) semantics (Rosch
1973, Keil 1979, Lakoff 1988, Kuhn 2003b). More specific proposals have included
514 P. Agarwal
geometric concepts. The World Wide Web Consortium (W3C) is directing initiatives
for the development of an inter-operable web. The ‘Semantic Web’ is the use of the
WWW to create a network of data resources (Palmer 2001). It uses Universal
Resource Locators (URLs) for naming, XML for interchange syntax and Resource
Definition Framework Schema (RDF-S) for basic facts and descriptions. The
Ontology Web Language (OWL) allows for better inter-operability of content over
the web by providing more formal semantics as compared with that provided by
RDF-S and XML (McGuinness and vanHarmelen 2003), and is more appropriate
for building web-based ontologies within a common semantic framework.
The Ontology Interface Language (OIL) is an initiative to provide a common
mark-up language for the web and integrates description logic, frame-based
representations and semantics (Bechhofer et al. 2000, OIL 2001). The aim is to
increase the expressiveness and provide a flexible framework for integration of
various higher-order concepts and ontologies into one framework. ‘OntoWeb’ is
another initiative to provide an ontology-based information exchange for knowl-
edge management over the WWW. Besides providing a context-management
interface, it also builds on the catalogue of concepts provided by the ‘Semantic Web’
standardization efforts of the IEEE Standard Upper Ontology (SUO) Group
and extends to a large common ontology of more than 20,000 concepts (OntoWeb
2003). The Ontology is provided in both XML and RDF format, although it is
proposed to be extended to include OWL (Sure et al. 2002). The Darpa Agent
Mark-up Language (DAML) is being developed as an extension to the XML and
the RDF-S language and schemas, and the version DAML+OIL is aimed at
providing a framework for developing inter-operable ontologies with more specific
definitions for primitives and concepts than those included in OWL. The ontologies
in DAML are not necessarily standards but mostly links to resources providing
standards and include links to spatial reasoning resources. DAML-map provides an
ontology along with a render-independent software designed to extend the
applicability of semantic web for Internet-based mapping and semantic inter-
operability of geo-spatial data and services. It is being extended to link with
common GIS frameworks by designing a program to convert map ontology into
vector shapes. This ontology consists of classes and property hierarchies and is
currently able to handle only points as concepts, but efforts are ongoing to include
polygons and polylines within the same foundational ontology. The ontology has
been designed as such so that it can be developed and modelled within the GML
schema developed by the OpenGIS initiatives, providing a standardization across
cartographic applications.
The ‘WonderWeb’ initiative (Masolo et al. 2003b) is aimed at providing an
ontology infrastructure for the web with standardized tools that allow flexibility and
also sharing and merging of concepts. It aims to have a library of different module
ontologies reflecting different commitments and purposes, rather than a single over-
riding ontology for the whole of the Semantic Web. This is aimed at making the
assumptions in all the modules explicit so that a network of ontologies is available
for user selection and as a base from which new ontologies are built. Existing
standards of RDF and a modular DAML+OIL are being used for development of
these foundational ontologies. OWL is considered limited in its expressivity
compared with first-order logic. Hence, a Descriptive Ontology for Linguistic and
Cognitive Engineering (DOLCE) has been developed as a module for this
foundational ontology and is expressed in first-order logic (Gangemi et al. 2002).
Ontological considerations in GIScience 517
REALITY—SPACE+TIME
Ontological Theory5Ontology+Semantics+Epistemology
Ontology ontology ontologies
Categories, Entities, Concepts, Relations, Axioms, Rules, Meanings
Theoretical/Abstract Formalized Theoretical/Informal Formalized
Top-level Domain-level
Generic Lower-level
Prescriptive Descriptive
Higher-order Normative
Reference Ontology Specific
Foundational Action-oriented/Task-oriented
Ontology
Purpose-driven
Elicited ontologies
Applications ontology
(light-weight ontology)
Philosophical realism/ Knowledge-Engineering/ Linguistics
Meta-physical Information systems
approach Semantics
Texts
Affordances
Image-Schematas
Human Conceptualizations
(elicited ontologies)
Folk Ontologies
Abstract First-Order logic Abstract Procedural Logic
Conceptualizations Procedural logic Abstract/Theoretical Functional
Conceptualizations languages
First-Order logic Functional Languages Theory for the domain Object-oriented
Primitives from
higher-order languages
Primary Theory
Tiered, tree-like or layered organisations
Taxonomies
Binary distinctions- Dual ontologies
Hierarchies
Networks of concepts
Universal Semantics (Meanings of Concepts Concepts, Objects, Actions, Tasks
and primitives)
Hierarchical organizations (Inheritance Relations
in sub-concepts)
Rich Axiomatization Rules
Predicates Context
Grounding
Topological and Mereological relationships Meanings and definitions
BFO SUMO Ontolingua
SNAP-SPAN (Smith)
Temporal Axioms DAML-S (OWL-S) OWL
(Allen)
Holes (Casati and DAML-T OIL
Varzi)
Ontological considerations in GIScience 519
Table 1. (Continued.)
(Smith and Mark 1998). Geographic objects are tied intrinsically to their spatial and
temporal context, inheriting properties and determining relationships from the
spatio-temporal framework in which they are referenced. This leads to problems in
determination of an ontology for the geographic domain, both at the abstract and
conceptual level. First, the ways that space and time determine relations and
property inheritance are not yet clear. Second, human dependence means that
geographic categories and nomenclature can have different meanings in different
application contexts. The boundaries in the geographic domain have been loosely
‘ontologised’ as fiat and bona fide boundaries (Smith and Varzi 2000, Smith and
Mark 2001), but further research is needed to assess the comprehensive inclusion of
all kinds of geographic boundaries within this categorization. The nature of
boundaries, the kind of regions that are created, and the spatial and temporal
properties and relations that result between objects located inside and outside such
regions are yet to be investigated and fully understood. The vagueness in the
geographic discipline, if systematically investigated, can lead to a better under-
standing of the dependence of commonly used geographic concepts on human
cognition. Examples include the research carried out by Agarwal (2004), Bennett
(2001c) and Worboys (2001) to investigate the meanings of concepts and relations
commonly employed in the geographic domain.
The top-level ontology and ontological languages developed in the KE
domain have to be assessed for their applicability to the categories and classes
(not only physical and natural categories, but also cognitive), in the geographic
domain. In summary, the main considerations in designing geographic ontologies
are to aim for:
1. inclusion of spatial and temporal concepts, categories, rules and relations;
2. resolution of issues of spatio-temporal integration and representational issues
arising from an object–field dichotomy;
3. resolution of vagueness and ambiguity in geographic information; and
4. resolution of issues in applying higher-order ontology to vague concepts.
For development of an integrated consensual ontology, it is important to resolve the
inherent vagueness encapsulated in geographic terms and concepts, causing conflicts
and mismatches. The issue of scale in geographic conceptualization and
representation requires further investigation for understanding variation in the
520 P. Agarwal
issues, directions and problems, and providing solutions. Besides providing the basis
for a consensual terminology, an ontological approach can also pave the way for
future research directions by questioning current approaches in the definition of
categorization and semantic content. A unified strategy and framework for
application of ontology within GIScience will need further and wider academic
discussion. Nevertheless, a proposed checklist of considerations is provided in
table 2 that offers the possibility of a common basis for ontology development in the
geographic discipline. This table is developed from a critical review of existing
approaches for ontology development in GIScience, and from an understanding of
the key factors that affect the specification of a meaningful ontology. Particular
emphasis is on explication of ontological commitments, defining links of modelled
entities to the real world, and reflections on the level of axiomatization needed for
the ontology. The aim of the checklist is to outline the significant aspects that will
allow the specification and explication of the technical and theoretical paradigm that
any ontology is set in, and ensure that attention is paid to all the critical stages of
ontology development, from specification of the domain to the role of the ontology,
and the links with existing ontologies.
Framework:
i. What is the terminological framework and assumptions that the ontology is set in?
Domain and intended role of ontology:
i. What is the scale of ontology design and development? Is it top-level or domain-specific?
ii. Are the already-existing higher-order concepts and tools not exhaustive enough for
application? What are the limitations?
iii. Which paradigm (KE or meta-physical) is the ontology set in?
iv. What is the purpose of the ontology—descriptive or prescriptive?
v. If theoretical, what is the practical role of the ontology?
vi. If formalized, what is the end-application or purpose for developing this ontology?
vii. What is the extent of the domain? Is the application framework and context delimited?
Specification of the ontology and ontological commitments:
i. What are the universal categories in the domain?
ii. What are the primary concepts defining the categories?
iii. How are these concepts identified and defined? Where are the concepts extracted from?
iv. In what way are the concepts linked to real-world entities, objects and processes?
v. Are the semantics for the concepts explicit? Are there any common primitives that can
define the vague concepts?
vi. Are real-world objects and entities linked to these concepts crisp or vague? If vague,
what operational framework and assumptions are being used to define these?
vii. What is the level of axiomatization to be specified?
viii. Do these concepts include human conceptualizations? What is the role of space and
time, and what spatio-temporal paradigm and theoretical framework is the ontology
based in?
ix. How can the relations on the different entities be prescribed? Are these definitive or vague?
Validation for a good ontology:
i. Can the applicability and functionality of the resultant ontology be effectively
demonstrated? Can the inter-operability capacity of the ontology be demonstrated?
ii. Can the links to a top-level ontology or higher-order concepts be demonstrated for a
domain-specific ontology, and vice versa?
522 P. Agarwal
level ontologies in the geographic domain that include spatial and temporal concepts.
Some of the concepts included within DAML-S and DAML-T ontology, formulated as
first-order predicate calculus axioms, are topology, duration, granularity, shape, size,
dimension, orientation, and aggregates (Hobbs 2003). The DAML-time ontology (Pease
2002) is built as a set of first-order predicate calculus axioms. Formal specifications of
temporal concepts, such as Allen’s algebra of time (Drakengren and Jonsson 1997),
provide the foundation for the temporal ontology in correspondence with the concepts
that are available in SUMO. A sub-ontology is constructed in OWL (Feng and Hobbs
2003, McGuinness and vanHarmelen 2003) that enables users to handle most of the
temporal concepts in their domain. This is done by providing a vocabulary for
topological relations among primitives such as events, instants and intervals, along with
information about durations and calendar time (dates) and clock time. Vague terms
such as ‘recent’ and ‘short’, and deictic terms such as ‘now’ and ‘ago’ are still to be
included. Although these kinds of vague terms have been considered relatively
unimportant for the semantic web (Hobbs 2002), they will be crucial in modelling naı̈ve
notions of real-world geographic processes, and therefore, in its current state, the OWL
sub-ontology is not capable of modelling all kinds of geographic processes.
Although it has not been recognized as a problem in the software engineering
approach, modelling spatial and temporal entities and the relations between them at
different levels of granularity is a significant problem in the design of geographic
ontologies. With behavioural procedures and cognitive conceptualizations deter-
mining the categories and knowledge in the geographic domain, the task of defining
temporal knowledge is made even more complicated. Research carried out in
qualitative spatial and temporal reasoning (Cohn et al. 1995, Bennett and Galton
2001, Bittner 2002, Bittner and Stell 2002) suggests directions for adequate language
structures by defining semantics, concepts and relations involved in cognitive
processes. Spatio-temporal frameworks proposed by Allen (Allen and Hayes 1985),
Peuquet (1994), Hornsby and Egenhofer (2000) and Medak (2001) have contributed
by suggesting frameworks for incorporating qualitative aspects of time and space
that are difficult to handle in more definitive and traditionally employed object-
oriented frameworks. These efforts are yet to be integrated in the development and
specification of geographic ontologies. In addition, the development of ontological
frameworks that can model processes is a research issue that demands attention in
order to develop adequately rigorous geographic ontologies.
different scales in the real world, ranging from absolute higher-order concepts to
action-oriented ontology. Relevant terms and related concepts have been presented
in table 1. This allows the scale of application most suitable for a particular context
to become apparent. This framework is supplemented with the methods and
approaches that can be applied at each level of operation and the ontologies that
already exist. Its flexibility allows it to be updated as more research is carried out in
this direction. Finally, it can provide directions for a unified framework of
ontological considerations in GIScience.
As researchers in the geographic domain actively search for a comprehensive
ontology, many ontological initiatives that are happening outside the direct realm of
GIScience gain relevance and can provide a useful direction and framework for
development of geo-ontologies. Space and time have become significant along with
emphasis on consideration of the cognitive primitives. This has implications on the
flexibility needed within the meta-ontologies to support such concepts. It is, hence,
important for the GIScience community to have active representation in these
research communities and initiatives for building standardized languages to make
sure that the specific nature of the geographic concepts is incorporated and
represented.
It is evident from the discussion in the previous sections that the specific nature of
geographic categories and the predominantly cognitive nature of geographic
information make it difficult to organize the domain and the concepts in it within
a structured formal framework. The specific nature of the geographic domain is
characterized by indeterminacy, both semantic and conceptual, and by the
inherently spatial, topological and mereological properties of the entities and
objects constituting the geographic concepts. Specific issues underlying geographic
information, primarily vagueness, indicate the need to revisit and re-evaluate
existing methods and approaches handed down through philosophy or information
science traditions, and adapt them suitably to the specific requirements of the
geographic domain. Vagueness, especially semantic vagueness, is a critical obstacle
in the development of a comprehensive geo-ontology. Ontology is distinguished
from a terminological hierarchy by the semantic content explicated in the ontology.
Semantics are a key to distinguishing categories from concepts, and the semantic
heterogeneity in the geographic concepts leads to conflicts and problems in
achieving seamless inter-operability. It is, therefore, impossible to specify a top-level
ontology for the geo-spatial domain until the meanings of concepts and the
boundaries between different concepts are made clear. A catalogue of shared
meanings as a knowledge base can be created from a systematic and scientific
investigation into the different viewpoints for the meanings of concepts. Ontological
theory for concepts can be generated by grounding meanings through mapping and
aligning ontological commitments in different knowledge domains. Meanings and
definitions of terms and the underlying relations within most sub-domains in
geography are much more flexible, modifiable, and open to interpretation as
compared with many other scientific disciplines.
As the GIScience community is still attempting to define most common notions or
concepts more clearly, the over-riding ontology can only be constructed at a very
high level of abstraction. This problem is also associated with the different
backgrounds and disciplinary baggage that researchers within GIScience bring with
them into this inter-disciplinary environment. Consequently, the result is the varying
use for the same terminology and different conceptualizations for the same
Ontological considerations in GIScience 525
6. Concluding remarks
In this paper many of the key ontological efforts in GIScience and in the wider
academic community have been critically reviewed, and some of the terminological
ambiguities that stem from the philosophical and operational traditions in the study
of ontology have been clarified. The notion of ontology and its use in the geographic
domain has been de-mystified by discussing the different approaches and methods
used for ontology development generally and, more specifically, in the geo-spatial
domain. Underlying all applications of ontology are two primary traditions: the
philosophical approach and the knowledge-engineering approach. Emerging from
these distinct lines of thought, two primary approaches to ontology application in
the geographic domain are identified: a comprehensive top-level ontology involving
an over-riding theory of everything, and an ontology where task and application-
specific models are specified. The limitations in current approaches and the key
526 P. Agarwal
Acknowledgements
I am thankful to Prof. Peter Fisher and the three anonymous reviewers for
their constructive feedback that helped improve the quality of the paper. I also
wish to thank Prof. Mike Goodchild and Prof. Roy Haines-Young for their
comments on the initial drafts of the paper. All mistakes are, however, solely mine.
References
AdV, 2001, Authoritative Topographic Cartographic Information System (ATKIS). Available
online at: http://www.adv-online.de/english/products/atkis.htm (accessed 20 October
2003).
AGARWAL, P., 2004, Contested nature of ‘place’: Knowledge mapping for resolving
ontological distinctions between geographical concepts. In M. Egenhofer, C. Freksa
and M. Harvey (Eds), Third International Conference, GIScience 2004, Lecture Notes
in Computer Science (Berlin: Springer-Verlag), LNCS 3234, pp. 1–21.
ALLEN, J.F., 1983, Maintaining knowledge about temporal intervals. Communications of the
ACM, 26, pp. 832–843.
ALLEN, J.F. and HAYES, P.J., 1985, A common-sense theory of time. In A.K. Joshi (Ed.),
Proceedings of the 9th International Joint Conference on Artificial Intelligence, IJCAI,
Los Angeles, CA, August 1985, pp. 528–531 (San Francisco: Morgan-Kaufmann).
ANSI, 2003, American National Standards Institute (ANSI). Available online at: http://
www.ansi.org/ (accessed 20 October 2003).
ARPIREZ, J.C., CORCHO, O., FERNANDEZ-LOPEZ, M. and GOMEZ-PEREZ, A., 2001, WebODE:
a scalable workbench for ontological engineering. In Y. Gil, M. Musen and J. Shavlik
(Eds), Proceedings of the First International Conference on Knowledge
Capture, K-CAP’01, Victoria, Canada, October 20–23, 2001 (New York: ACM
Press), pp. 6–13.
AUDI, R., 1995, The Cambridge Dictionary of Philosophy (Cambridge: Cambridge University
Press).
Ontological considerations in GIScience 527
BARSALOU, L.W., YEH, W., LUKA, B.J., OLSETH, K.L., MIX, K.S. and WU, L., 1993, Concepts
and meaning. In K. Beals et al. (Eds), Chicago Linguistics Society 29: Papers from the
Session on Conceptual Representations, pp. 23–61 (Chicago: University of Chicago:
Chicago Linguistics Society).
BATEMAN, J., 2003, Linguistic Ontologies … and a spatial slice. Available online at: http://
www.informatik.uni-bremen.de/,roefer/rgo/1.2.pdf.
BECHHOFER, S., BROEKSTRA, J., DECKER, S., ERDMANN, M., FENSEL, D., GOBLE, C., VAN
HARMELEN, F., HORROCKS, I., KLEIN, M., MCGUINNESS, D., MOTTA, E., PATEL-
SCHNEIDER, P., STAAB, S. and STUDER, R., 2000, An informal description of Standard
OIL and Instance OIL, White Paper. Available online at: http://www.ontoknowl-
edge.org/oil/downl/oil-whitepaper.pdf (accessed 22 October 2003).
BENNETT, B., 1996, The application of qualitative spatial reasoning to GIS. In R.J. Abrahart
(Ed.), Proceedings of First International Conference on GeoComputation, Leeds, UK,
pp. 44–47.
BENNETT, B., 1998, Modal semantics for knowledge bases dealing with vague concepts.
In A.G. Cohn, L. Schubert, S. Shapiro and M. Kaufman (Eds), Principles of
Knowledge Representation and Reasoning: Proceedings of the 6th International
Conference (KR-98), pp. 234–244.
BENNETT, B., 2001a, Application of supervaluation semantics to vaguely defined spatial
concepts. In D.R. Montello (Ed.), Spatial Information Theory: Foundations of
Geographic Information Science; Proceedings of Conference on Spatial Information
Theory, COSIT’01, pp. 108–123 (Morro Bay: Springer).
BENNETT, B., 2001b, Space, time, matter and things. In C. Welty and B. Smith (Eds),
Proceedings of the 2nd International Conference on Formal Ontology in Information
Systems (FOIS’01), pp. 105–116 (Ogunquit: ACM).
BENNETT, B., 2001c, What is a forest? On the vagueness of certain geographic concepts. Topoi,
20, pp. 189–201.
BENNETT, B. and GALTON, A.P., 2001, A Versatile Representation for Time and Events, Fifth
Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense
2001), pp. 43–52.
BHASKAR, R., 1994, Plato Etc: the Problems of Philosophy and their Resolution (London:
Verso).
BITTNER, T., 2002, Reasoning about qualitative spatio-temporal relations at multiple levels of
granularity. In F. vanHarmelen (Ed.), Proceedings of the 15th European Conference on
Artificial Intelligence—ECAI 2002, pp. 317–322 (Amsterdam: IOS Press).
BITTNER, T. and SMITH, B., 2002, A theory of granular partitions. In M. Duckham, M.
Goodchild and M. Worboys (Eds), Foundations of Geographic Information Science,
pp. 117–151 (London: Taylor & Francis).
BITTNER, T. and STELL, J.G., 2002, Approximate qualitative spatial reasoning. Spatial
Cognition and Computation, 2, pp. 435–466.
BITTNER, T. and SMITH, B., 2003, Granular Spatio-Temporal Ontologies, 2003 AAAI
Symposium: Foundations and Applications of Spatio-Temporal Reasoning (FASTR),
(AAAI Press), pp. 12–17.
BORGO, S., GANGEMI, A., GUARINO, N., MASOLO, C. and OLTRAMARI, A., 2002, WonderWeb
Deliverable D15: Ontology RoadMap, ISTC-CNR; IST Project 2001–33052
WonderWeb: Ontology Infrastructure for the Semantic Web, Padua, Italy.
BORGO, S., GUARINO, N. and MASOLO, C., 1997, An ontological theory of physical objects.
In L. Ironi (Ed.), Proceedings of Eleventh International Workshop on Qualitative
Reasoning (QR’97), Cortona, Italy, pp. 223–231.
BORST, W.N., AKKERMANS, J.M. and TOP, J.L., 1997, Engineering ontologies. International
Journal of Human–Computer Studies, 46, pp. 365–406.
BOSCH, P., 1983, Vagueness is context-dependence: a solution to the Sorites Paradox. In T.T.
Ballmer and M. Pinkal (Eds), Approaching Vagueness, pp. 189–210 (Amsterdam:
North-Holland).
528 P. Agarwal
BROGAARD, B., PEUQUET, D. and SMITH, B., 1999, Objects and Fields: Report on the Specialist
Meeting of Varenius Research Initiative (Buffalo, NY: National Center for
Geographic Information and Analysis).
BUNGE, M., 1977, Treatise on Basic Philosophy: Ontology I: The Furniture of the World
(Boston, MA: Reidel).
BURNS, L., 1991, Vagueness. An Investigation into Natural Languages and the Sorites Paradox
(Dordrecht, Netherlands: Kluwer Academic).
CAMARA, G., MONTEIRO, A.M.V., PAIVA, J. and SOUZA, R.C.M., 2000, Action-driven
ontologies of the geographical space: beyond the field–object debate, extended
abstract. In M.J. Egenhofer and D.M. Mark (Eds), Proceedings of the Second
International Conference GIScience2000, October 28–31, 2000 (Savannah, GA: AAG).
CASATI, R. and VARZI, A.C., 1994, Holes and Other Superficialities (Cambridge, MA/London:
MIT Press/Bradford Books).
CASATI, R. and VARZI, A.C., 1999, Parts and Places: The Structures of Spatial Representations
(Cambridge, MA: MIT Press).
CHANDRASEKARAN, B., JOHNSON, T.R. and BENJAMINS, V.R., 1999, Ontologies: what are
they? Why do we need them? IEEE Intelligent Systems and Their Applications: Special
Issue on Ontologies, 14, pp. 20–26.
COCCHIARELLA, N.B., 1991, Formal ontology. In H. Burkhardt and B. Smith (Eds),
Handbook of Metaphysics and Ontology, pp. 640–647 (Munich: Philosophia Verlag).
COHN, A.G., 1997, Qualitative spatial representation and reasoning techniques. In
G. Brewka, C. Habel and B. Nebel (Eds), Proceedings of 21st German Annual
Conference on Artificial Intelligence, KI-97, 9–12 September 1997, pp. 1–30 (Berlin:
Springer).
COHN, A.G., GOODAY, J., BENNETT, B. and GOTTS, N.M., 1995, A logical approach to
representing and reasoning about space. Artificial Intelligence Review, 9, pp. 255–259.
COHN, A. and GOTTS, N., 1996, Representing spatial vagueness: A mereological approach.
In L. Carlucci Aiello, J. Doyle and S. Shapiro (Eds), Principles of Knowledge
Representation and Reasoning: Proceedings of 5th International Conference (KR’96)
(San Francisco: Morgan-Kaufmann), pp. 230–241.
COUCLELIS, H., 1988, The truth seekers: Geographers in search of the human world. In
R. Golledge, H. Couclelis and P. Gould (Eds), A Ground for Common Search, The
Santa Barbara Geographical Press, Santa Barbara, CA, pp. 148–155.
COUCLELIS, H., 1996, A typology of geographic entities with ill-defined boundaries. In
P. Burrough and A. Frank (Eds), Geographic Objects with Indeterminate Boundaries.
GISDATA 2 (London: Taylor & Francis), pp. 44–55.
CURRY, M.R., 2000, Geographical Practice and the Ontologies Of Geographic Information
Systems, Presented at the Annual Conference of the Association of American
Geographers, Pittsburgh, PA, http://baja.sscnet.ucla.edu/%7Ecurry/Curry_
Ontology_GIS.pdf, Last Accessed, March 2004.
DAVIS, E., 1990, Representations of Commonsense Knowledge. Representation and Reasoning
Palo Alto: Morgan Kaufmann Publishers).
DONNELLY, M. and SMITH, B., 2003, Layers: a new approach to locating objects in space.
In W. Kuhn, M. Worboys and S. Timpf (Eds), Spatial Information Theory:
Foundations of Geographic Information Science, Proceedings of the International
Conference on Spatial Information Theory, COSIT’03, pp. 46–61 (Kartause Ittingen,
Switzerland: Springer).
DRAKENGREN, T. and JONSSON, P., 1997, Eight maximal tractable subclasses of Allen’s
algebra with metric time. Journal of Artificial Intelligence, 7, pp. 25–45.
EGENHOFER, M.J. and MARK, D.M., 1995, Naive geography. In A.U. Frank and W. Kuhn
(Eds), Proceedings of the International Conference on Spatial Information Theory,
COSIT’95, pp. 1–15 (New York: Springer).
ELIASMITH, C., ed., 2003, Dictionary of philosophy of mind. Available online at: http://
www.artsci.wustl.edu/,philos/MindDict/ (accessed 20 December 2003).
Ontological considerations in GIScience 529
FELLBAUM, C., Ed., 1998, WordNet: An Electronic Lexical Database (Cambridge, MA: The
MIT Press).
FENG, P. and HOBBS, J.R., 2003, Documentation for an entry sub-ontology of time in OWL,
USC Information Sciences Institute, Marina del Rey, California. Available online at:
http://www.isi.edu/,pan/damltime/time-entry-documentation.txt (accessed July
2003).
FERNANDEZ-LOPEZ, M., 1999, Overview of methodologies for building ontologies. In VR.C.
Benjamin, A. Gomez-Perez, N. Guarino and M. Uschold (Eds), Workshop on
Ontologies and Problem-Solving Methods, Stockholm, Available online at: http://
sunsite.informatik.rwth-aachen.de/Publications/CEIR-WS/Vol-18/ (accessed October
2003).
FIELDING, J.M., SIMON, J., CEUSTERS, W. and SMITH, B., 2004, Ontological theory for
ontological engineering: biomedical systems information integration. In Proceedings
of the Ninth International Conference on the Principles of Knowledge Representation
and Reasoning (KR’04), 2–5 June 2004, Whistler, BC.
FISHER, P., 2000, Sorites Paradox and vague geographies. Fuzzy Sets and Systems,
113, pp. 7–18.
FODOR, J.A., 1998, Concepts: Where Cognitive Science Went Wrong (New York: Oxford
University Press).
FONSECA, F.T. and EGENHOFER, M.J., 1999, Ontology-driven geographic information
systems. In C.B. Medeiros (Ed.), 7th ACM Symposium on Advances in Geographic
Information Systems, Kansas City, MO, pp. 14–19.
FONSECA, F.T., EGENHOFER, M.J., AGOURIS, P. and CAMARA, G., 2002, Using ontologies for
integrated geographic information systems. Transactions in GIS, 6, pp. 231–257.
FORGUSON, L., 1989, Common Sense (London: Routledge).
FRANK, A.U., 1997, Spatial ontology: a geographical information point of view. In O. Stock
(Ed.), Spatial and Temporal Reasoning, pp. 135–153 (Dordrecht, Netherlands:
Kluwer).
FRANK, A.U., 2001a, Tiers of ontology and consistency constraints in geographical
information systems. International Journal of Geographic Information Science, 15,
pp. 667–679.
FRANK, A.U., 2001b, The rationality of epistemology and the rationality of ontology. In
B. Smith and B. Brogaard (Eds), Rationality and Irrationality: Proceedings of the 23rd
International Ludwig Wittgenstein Symposium (Vienna: Holder-Pichler-Tempsky).
FRANK, A.U., 2003a, A linguistically justified proposal for a spatio-temporal ontology. In
Workshop on Fundamental Issues in Spatial and Geographic Ontologies, 23
September 2003. Available online at: http://www.comp.leeds.ac.uk/brandon/cosi-
t03ontology/ (accessed 25 October 2003).
FRANK, A.U., 2003b, Operation-based semantics, Tutorial given at the International Spatial
Cognition Summer Institute (ISCSI) Bad Herrenalb, Germany, September
2003. Available online at: http://www.cosy.informatik.uni-bremen.de/iqn/ISCSI/
ISCSI_program/schedule.htm (accessed September 2003).
FREGE, G., 1903, Grundgesetze der Arithmetik, vol. ii. Jena. As cited in Bosch (1983),
Vagueness is Context-Dependence: A solution to the Sorites Paradox. In T.T. Ballmer
and M. Pinkal (Eds), Approaching Vagueness, pp. 189–210 (Amsterdam: North-
Holland).
GALTON, A., 2001b, Space, time, and the representation of geographic reality. Topoi, 20,
pp. 173–187.
GALTON, A., 2003a, On the ontological status of geographical boundaries. In
M. Goodchild, M. Duckham and M. Worboys (Eds), Perspectives on Geographic
Information Science (London: Taylor & Francis).
GALTON, A., 2003b, Desiderata for a spatio-temporal geo-ontology. In W. Kuhn,
M. Worboys and S. Timpf (Eds), Spatial Information Theory: Foundations of
530 P. Agarwal
HORNSBY, K. and EGENHOFER, M., 2000, Identity-based change: a foundation for spatio-
temporal knowledge representation. International Journal of Geographical Information
Science, 14, pp. 207–224.
HORTON, R., 1982, Tradition and modernity revisited. In M. Hollis and S. Lukes (Eds),
Rationality and Relativism, pp. 201–260 (Oxford: Blackwell).
HUNTER, G., 2002, Understanding semantics and ontologies: they’re quite simple really—if
you know what i mean! Transactions in GIS, 6, pp. 83–87.
IKEHARA, S., MIYAZAKI, M., SHIRAI, S., YOKOO, A., NAKAIWA, H., OGURA, K., OOYAMA,
Y. and HAYASHI, Y., 1997, Goi-Taikei—A Japanese Lexicon, 5 volumes/CD-ROM
(Tokyo: Shoten).
JACKENDOFF, R., 1983, Semantics and Cognition (Cambridge, MA: MIT Press).
JACKENDOFF, R., 1991, Parts and boundaries. Cognition, 41, pp. 9–45.
JONES, C.B., ALANI, H. and TUDHOPE, D., 2001, Geographical information retrieval with
ontologies of place. In D.R. Montello (Ed.), Proceedings of International Conference
on Spatial Information Theory: Foundations of Geographic Information Science,
COSIT 2001, 19–23 September. Lecture Notes in Computer Science 2205,
pp. 322–335 (Morro Bay, CA: Springer).
JONES, J.P., 2003, Introduction: reading geography through binary oppositions. In K.
Anderson, M. Domosh, S. Pile and N. Thrift (Eds), Handbook of Cultural Geography,
pp. 511–520 (London: Sage).
KEIL, F.C., 1979, Semantic and Conceptual Development: An Ontological Perspective
(Cambridge, MA: Harvard University Press).
KNIGHT, K., CHANDER, I., HAINES, M., HATZIVASSILOGLOU, V., HOVY, E.H., IIDA, M.,
LUK, S.K., WHITNEY, R.A. and YAMADA, K., 1995, Filling knowledge gaps in a
broad-coverage MT system. In Proceedings of the 14th International Conference on
Artificial Intelligence-IJCAI, August 1995, Montreal, Canada, pp. 1382–1389 (San
Francisco: Morgan-Kaufmann).
KOKLA, M. and KAVOURAS, M., 2002, Theories of concepts in resolving semantic
heterogeneity. In Proceedings of the 5th AGILE Conference on Geographic
Information Science, 25–27 April 2002, Palma, Spain.
KUHN, W., 1996, Formalising Spatial Affordances, Formal models of commonsense worlds,
Specialist Metting, NCGIA Research Initiative 21, National Center for Geographic
Information and Analysis (NCGIA), San Marcos, TX.
KUHN, W., 2000, How to produce ontologies. In S. Winter (Ed.), EuroConference on
Ontology and Epistemology for Spatial Data Standards, 22–27 September 2000.
GeoInfo Series, pp. 63–73 (Vienna: Institute for Geoinformation, Vienna University of
Technology).
KUHN, W., 2001, Ontologies in support of activities in geographical space. International
Journal of Geographic Information Science, 15, pp. 613–633.
KUHN, W., 2002, Modelling the semantics of geographic categories through conceptual
integration. In M. Egenhofer and D. Mark (Eds), Proceedings of the Second
International Conference on Geographic Information Science—GIScience 2002. Lecture
Notes in Computer Science 2478, pp. 108–118 (Berlin: Springer).
KUHN, W., 2003a, Semantic reference systems. International Journal of Geographical
Information Science, 17, pp. 405–409.
KUHN, W., 2003b, Why information science needs cognitive semantics—and what it has to
offer in return, http://musil.uni- muensterde/documents/WhyCogLingv1.pdf, Draft
version 1.0 (accessed 31 March 2003).
KUHN, W. and RAUBAL, M., 2003, Implementing semantic reference systems. In M. Gould, R.
Laurini and S. Coulondre (Eds), Proceedings of the 6th AGILE Conference on
Geographic Information Science, AGILE 2003, Lyon, France, pp. 63–72.
LAKOFF, G., 1987, Women, Fire and Dangerous Things: What Categories Reveal About the
Mind (Chicago: The University of Chicago Press).
532 P. Agarwal
LAKOFF, G., 1988, Cognitive semantics. In U. Eco, M. Santambrogio and P. Violi (Eds),
Meaning and Mental Representations, pp. 119–154 (Bloomington: Indiana University
Press).
LUTZ, M., RIEDERMANN, C. and PROBST, F., 2003, A classification framework for approaches
to achieving semantic inter-operability between GI web services. In W. Kuhn, M.
Worboys and S. Timpf (Eds), Proceedings of Conference on Spatial Information
Theory: Foundations of Geographic Information Science, COSIT 2003, pp. 186–203
(Kartause, Ittingen: Springer).
MAEDCHE, A. and STAAB, S., 2001, Ontology learning for the semantic Web. IEEE Intelligent
Systems, 16, pp. 72–79.
MANN, W.R., 2000, The Discovery of Things: Aristotle’s Categories and their Context
(Princeton, NJ: Princeton University Press).
MARK, D.M., 1989, Cognitive image-schemata for geographic information: Relations to
user views and GIS interfaces. In Proceedings of GIS/LIS’89, Orlando, FL,
pp. 551–560.
MARK, D.M., 2000, Ontology of geographic object categories. In Proceedings of
EuroConference on Ontology and Epistemology for Spatial Data Standards, La
Londe-les-Maures, France.
MARK, D.M., EGENHOFER, M., HIRTLE, S. and SMITH, B., in press, Ontological Foundations
for Geographic Information Science, UCGIS Emerging Research Theme. In R.B.
McMaster and L. Usery (Eds), Research Challenges in Geographic Information Science
(New York: John Wiley and Sons).
MARK, D.M., SKUPIN, A. and SMITH, B., 2001, Features, objects and other things: ontological
distinctions in the geographic domain. In D.R. Montello (Ed.), Proceedings of
Conference on Spatial Information Theory: Foundations of Geographic Information
Science, COSIT’01, pp. 488–502 (Berlin: Springer).
MARK, D.M., SMITH, B. and TVERSKY, B., 1999, Ontology and geographic objects: an
empirical study of cognitive categorisation. In C. Freksa and D.M. Mark (Eds),
Proceedings of Conference on Spatial Information Theory: A Theoretical Basis for GIS,
COSIT 1999, pp. 283–298 (Berlin: Springer).
MASOLO, C., BORGO, S., GANGEMI, A., GUARINO, N. and OLTRAMARI, A., 2003a,
WonderWeb Deliverable D18 Ontology Library (final), IST Project 2001-33052
WonderWeb: Ontology Infrastructure for the Semantic Web.
MASOLO, C., BORGO, S., GANGEMI, A., GUARINO, N., OLTRAMARI, A. and SCHNEIDER, L.,
2003b, The WonderWeb Library of foundational ontologies: A preliminary report
(WonderWeb Deliverable D17), ISTC-CNR, Padua, Italy.
MCGEE, V., 1997, Kilimanjaro. Canadian Journal of Philosophy, 23 (Supplement), pp. 141–
195.
MCGUINNESS, D.L. and vANHARMELEN, F., 2003, OWL Web Ontology Language Overview:
W3C Candidate Recommendation 18 August 2003. Available online at: http://
www.w3.org/TR/owl-features/ (accessed 2003).
MEDAK, D., 2001, Lifestyles. In A.U. Frank, J. Raper and J.-P. Cheylan (Eds), Life and
Motion of Socio-Economic Units GISDATA Volume 8 (London: Taylor & Francis),
pp. 139–154.
MILTON, S.K. and KAZMIERCZAK, E., 2003, An ontology of data modelling languages: a study
using a common-sense realistic ontology. Available online at: http://www.dis.unimel-
b.edu.au/staff/simonm/pdf/JDM2003.pdf (accessed XXXX).
MIZOGUCHI, R., VAN WELKENHUYSEN, J. and IKEDA, M., 1995, Task ontology for reuse of
problem solving knowledge. In NJ.I. Mars (Ed.), Towards Very Large Knowledge
Bases, pp. 46–57 (Amsterdam: IOS Press).
MURPHY, G.M., 1991, Meaning and concepts. In P.J. Schwanenflugel (Ed.), The Psychology
of Word Meanings (Hillsdale, NJ: Erlbaum).
NECHES, R., FIKES, R., FININ, T., GRUBER, T., SENATOR, T. and SWARTOUT, W., 1991,
Enabling technology for knowledge sharing. AI Magazine, 12, pp. 36–56.
Ontological considerations in GIScience 533
SHETH, A., 1999, Changing focus on interoperability in information systems: from system,
syntax, structure to semantics. In M.F. Goodchild, M. Egenhofer, R. Fegeas and C.A.
Kottman (Eds), Interoperating Geographic Information Systems, pp. 5–30 (Dordrecht,
Netherlands: Kluwer Academic).
SIMONS, P., 1987, Parts. A Study in Ontology (Oxford: Clarendon Press).
SMITH, B., 1989, Logic and formal ontology. In J.N. Mohanty and W. McKenna (Eds),
Husserl’s Phenomenology: A Textbook (Lanham: University Press of America),
pp. 29–67.
SMITH, B., 1994, Fiat objects. In N. Guarino, L. Vieu and S. Pribbenow (Eds), Parts and
Wholes: Conceptual Part–Whole Relations and Formal Mereology, Proceedings of the
11th European Conference on Artificial Intelligence, European Coordinating
Committee for Artificial Intelligence, Amsterdam, pp. 15–23.
SMITH, B., 1995a, Formal ontology, common sense and cognitive science. International
Journal of Human–Computer Studies, 43, pp. 641–667.
SMITH, B., 1995b, The Structures of the Commonsense World. Acta Philosophica Fennica, 58,
pp. 290–317.
SMITH, B., 1996, Mereotopology: a theory of parts and boundaries. Data and Knowledge
Engineering, 20, pp. 287–303.
SMITH, B., 1998a, An introduction to ontology. In D. Peuquet, B. Smith and B. Brogaard
(Eds), The Ontology of Fields, pp. 10–14 (Bar Harbor, ME: NCGIA).
SMITH, B., 1998b, Basic concepts of formal ontology. In N. Guarino (Ed.), Formal Ontology
in Information Systems, pp. 19–28 (Amsterdam: IOS Press).
SMITH, B., 1999, Ontology: philosophical and computational, http://wings.buffalo.edu/
philosophy/faculty/smith/articles/ontologies.htm (accessed 2003).
SMITH, B., 2001a, Fiat objects. Topoi, 20, pp. 131–148.
SMITH, B., 2001b, Objects and their environments: from Aristotle to ecological ontology.
In A.U. Frank, J. Raper and J.-P. Cheylan (Eds), Life and Motion of Socio-economic
Units, pp. 79–97 (London: Taylor & Francis).
SMITH, B., 2002, SNAP–SPAN, Research Workshop, Action-oriented Approaches in
Geographic Information Science, ACTOR 2002, Maine, USA, 2–4 November 2002
http://www.spatial.maine.edu/,actor2002/ (accessed March 2003).
SMITH, B. and MARK, D.M., 1998, Ontology and geographic kinds. In T.K. Poiker and N.
Chrisman (Eds), Proceedings of the 8th International Symposium on Spatial Data
Handling (SDH’98), pp. 308–320 (Vancouver: International Geographical Union).
SMITH, B. and MARK, D.M., 1999, Ontology with human subjects testing: an empirical
investigation of geographic categories. American Journal of Economics and Sociology,
58, pp. 245–272.
SMITH, B. and MARK, D.M., 2001, Geographic categories: an ontological investigation.
International Journal of Geographic Information Science, 15, pp. 591–612.
SMITH, B. and MARK, D.M., 2003, Do mountains exist? Towards an ontology of landforms.
Environment and Planning B (Planning and Design), 30, pp. 411–427.
SMITH, B. and VARZI, A.C., 1997, Fiat and bona fide boundaries: towards an ontology of
spatially extended objects. In S.C. Hirtle and A.U. Frank (Eds), Proceedings of the
Conference on Spatial Infomation Theory: International Conference COSIT’97,
pp. 103–119 (Berlin: Springer).
SMITH, B. and VARZI, A.C., 2000, Fiat and bona fide boundaries. Philosophy and
Phenomenological Research, 60, pp. 401–420.
SMITH, B. and WOODRUFF, D. (Eds.)., 1995, The Cambridge Companion to Husserl, pp. 27–29
(Cambridge: Cambridge University Press).
SMITH, E.E. and MEDIN, D.L., 1981, Categories and Concepts (Cambridge, MA: Harvard
University Press).
SMYTH, S., 1992, A representational framework for route planning in space and time.
Proceedings of 5th International Symposium on Spatial Data Handling, pp. 692–701
(Columbia S.C.: International Geographical Union).
Ontological considerations in GIScience 535
SORROWS, M.E. and HIRTLE, S.C., 1999, The nature of landmarks for real and electronic
spaces. In C. Freksa and D.M. Mark (Eds), Proceedings of the Conference on Spatial
Information Theory: Cognitive and Computational Foundations of Geographic
Information Science, International Conference COSIT ’99, Lecture Notes in
Computer Science 1661 Springer, Stade, Germany, 25–29 August, pp. 37–50.
SOWA, J.F., 2000, Knowledge Representation. Logical, Philosophical and Computational
Foundations (Pacific Grove, CA: Brooks/Cole).
SPENCER, N., 1995, The Rediscovery of Reality: Review of Andrew Collier, Critical Realism: An
Introduction to the Philosophy of Roy Bhaskar (London: Verso, 1994), and Roy
Bhaskar, Plato Etc: The Problems of Philosophy and Their Resolution (London: Verso,
1994). Green Leaf Weekly, 190.
STUDER, R., BENJAMINS, R. and FENSEL, D., 1998, Knowledge engineering: principles and
methods. Data and Knowledge Engineering, 25, pp. 161–197.
SURE, Y., ERDMANN, M., ANGELE, J., STAAB, S. and WENKE, D., 2002, OntoEdit:
collaborative ontology engineering for the semantic web. In I. Horrocks and J.
Hendler (Eds), Proceedings of the first International Semantic Web Conference 2002
(ISWC 2002), Sardinia, Italy, pp. 221–235 (Berlin: Springer).
SWARTOUT, B., PATIL, R., KNIGHT, K. and RUSS, T., 1996, Toward distributed use of large-
scale ontologies. In Proceedings of 10th Knowledge Acquisition for Knowledge-Based
Systems Worskhop, Banff, Canada. Available online at: http://ksi.cpsc.ucalgary.ca/
KAW/KAW96/KAW96Proc.html.
TALMY, L., 1983, How language structures space. In H.L. Pick and L.P. Acredolo (Eds),
Spatial Orientation: Theory, Research and Applications, pp. 225–282 (New York:
Plenum Press).
TAYLOR, J.R., 1995, Linguistic Categorization: Prototypes in Linguistic Theory (Oxford:
Oxford University Press).
TIMPF, S., 2002, Ontologies of wayfinding: a traveler’s perspective. Networks and Spatial
Economics, 2, pp. 9–33.
TIMPF, S. and VOLTA, G.S., 1992, A conceptual model of wayfinding using multiple level of
abstractions. In A.U. Frank, I. Campari and U. Formentini (Eds), Theories and
Methods of Spatio-Temporal Reasoning in Geographic Space, pp. 348–367 (Heidelberg:
Springer).
TVERSKY, B. and HEMENWAY, K., 1984, Objects, parts and categories. Journal of
Experimental Psychology, 113, pp. 169–193.
UCGIS, 1998, Cognition of geographic space, revised research agenda—white papers, http://
www.ucgis.org/priorities/research/1998whitepapersindex.htm (accessed 2003).
USCHOLD, M., 2003, Where are the semantics in the semantic web? AI Magazine, 24,
pp. 25–36.
USCHOLD, M. and GRUNINGER, M., 1996, Ontologies: principles, methods and applications.
Knowledge Engineering Review, 11, pp. 93–155.
USCHOLD, M., HEALY, M., WILLIAMSON, K., CLARK, P. and WOODS, S., 1998, Ontology reuse
and application. In N. Guarino (Ed.), Formal Ontology in Information Systems
(FOIS’98), Treno, Italy, 6–8 June 1998 (Amsterdam: IOS Press).
USCHOLD, M. and JASPER, R., 1999, A framework for understanding and classifying ontology
applications. In V.R. Benjamins, B. Chandrasekaran, A. Gomez-Perez, N. Guarino
and M. Uschold (Eds), Proceedings of the IJCAI-99 Workshop on Ontologies and
Problem-Solving Methods (KRR-5), Stockholm, Sweden (Amsterdam: CEUR
Publications and University of Amsterdam). Available online at: http://sunsite.infor-
matik.rwthaachen.de/Publications/CEUR-WS/Vol-18/ (accessed September 2003).
VAN HEIJST, C., SCHRIEBER, A. and WIELINGA, B., 1996, Using explicit ontologies in KBS
development. International Journal of Human–Computer Studies, , 45, pp. 183–292.
VARZI, A.C., 2001a, Philosophical issues in geography—an introduction. Topoi, 20,
pp. 119–130.
VARZI, A.C., 2001b, Vagueness in Geography, Philosophy & Geography, 4, pp. 49–65.
536 Ontological considerations in GIScience