[Top] [All Lists]

[socop-forum] Pat Hayes Visiting Penn State to talk about 'Semantics for

To: "Spatial Ontology CoP (SOCoP)" <socop-forum@xxxxxxxxxxxxxxxx>
Cc: hirtle@xxxxxxxx, David M Mark <dmark@xxxxxxxxxxx>
From: Krzysztof Janowicz <jano@xxxxxxx>
Date: Wed, 20 Apr 2011 13:49:42 -0400
Message-id: <4DAF1CB6.8060807@xxxxxxx>
Dear all,    (01)

Pat Hayes will visit us next week for 3 days and will give a talk on 
'Semantics for Cartography'. As his work has been very influential for 
geo-semantics and the Semantic Web in general, I am attaching a short 
bio and the abstract in case you would like to visit us to see his talk 
and meet with him:    (02)

Pat Hayes ( from the Florida Institute for
Human and Machine Cognition ( will
present the 2011 Miller Lecture on 'Semantics of Cartography' on the
29th of April 4-5pm in 112 Walker building. Pat holds a BA in
mathematics from Cambridge University, UK as well as a Ph.D. in
Artificial Intelligence from University of Edinburgh, UK. He was a
professor of Computer Science at the University of Essex, UK, Philosophy
at the University of Illinois, USA, and the Luce Professor of Cognitive
Science at the University of Rochester, USA.    (03)

Pat is well known for his contributions to the theoretical foundations
of Artificial Intelligence as well as his work on formal semantics and
ontologies. He is especially interested in the representation of space
and time (see, e.g., his work on modeling cyclic change together with
Hornsby and Egenhofer) . Pat's work on the Situation Calculus or Naive
Physics have influenced GIScience researchers for many years. His work
on the foundations of the Semantic Web, the Resource Description
Framework (RDF), and the Web Ontology Language (OWL) form the
underpinning of most research on geospatial semantics and
geo-ontologies. Besides his achievements in computer science, Pat has a
strong foundation in cognitive science.    (04)

Abstract:    (05)

"A Semantics for Cartography: outline of a sketch of a theory.    (06)

It is traditional to draw a sharp distinction between symbolic and
diagrammatic forms of representation, the latter being presumed to have
a fundamentally different nature. Cartographic maps are often cited as a
paradigm for diagrams. I have never thought this to be correct, and
began a project to interpret maps as symbolic notations, developing a
semantic theory for them. This talk reports on some preliminary progress
in this project.    (07)

The single most successful theory of semantics for symbolic languages is
Tarski's theory of truth. At its core, this depends upon the
representation having a productive syntax, which means it can be parsed
recursively into smaller representational structures, and its meaning
then built up from the meanings of these smaller components. The primary
challenge for adapting Tarski to give a semantic theory of maps,
therefore, is how to understand a map as being made up of smaller
meaningful parts, and how to explain the particularly cartographic ways
of composing their meanings back together. This seems to depend upon a
special relationship between the projection function from the terrain to
the map surface, and the denotation function from map symbols to the
terrain entities they represent. We will show how this relationship
implies certain topological assumptions which must underlie any
cartographic semantic theory."    (08)

Krzysztof    (09)

Krzysztof Janowicz    (010)

GeoVISTA Center, Department of Geography, 302 Walker Building
Pennsylvania State University, University Park, PA 16802, USA    (011)

Semantic Web Journal:    (012)

Msg Archives:   
Unsubscribe: mailto:socop-forum-leave@xxxxxxxxxxxxxxxx
Community Shared Files: 
Community Wiki:     (013)
<Prev in Thread] Current Thread [Next in Thread>