[Top] [All Lists]

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

To: "Spatial Ontology CoP (SOCoP)" <socop-forum@xxxxxxxxxxxxxxxx>
Cc: hirtle@xxxxxxxx, David M Mark <dmark@xxxxxxxxxxx>
From: Gary Berg-Cross <gbergcross@xxxxxxxxx>
Date: Sat, 23 Apr 2011 18:33:14 -0400
Message-id: <BANLkTim0kERbw3N9xi-zcY5qr=K4P4SLLw@xxxxxxxxxxxxxx>
Krzysztof ,

Thanks for inviting the SOCoP community.  I may drive up and back that Friday since it is always an informative treat to hear Pat. Is there a dinner after the talk?

If there are 1-3 people in the DC area that would like to share the ride in my hybrid,  they could contact me (info below).  I live in the Potomac/Rockviile MD area and would be traveling up 270 to PA between 10 and 11  so to get to PSU by 3 or so with a stop for lunch.  I am near the Red line and could pick folks up there if they use Metro.

If we returned around 7-8 we would be back at my house before midnight. Mapquest says that it is 3 hrs 35 mins / 198.86 miles


Gary Berg-Cross, Ph.D.   gbergcross@xxxxxxxxx     
SOCoP Executive Secretary
Knowledge Strategies     Semantic Technology
Potomac, MD

On Wed, Apr 20, 2011 at 1:49 PM, Krzysztof Janowicz <jano@xxxxxxx> wrote:
Dear all,

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:

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.

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.


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

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.

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."


Krzysztof Janowicz

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

Semantic Web Journal:

Msg Archives:
Unsubscribe: mailto:socop-forum-leave@xxxxxxxxxxxxxxxx
Community Shared Files:
Community Wiki:


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