ontologies for urban systems ectqg2007
DESCRIPTION
Building shared and reusable ontologies, both in an operational and more conceptual sense, needs precise definition of system of interest, classification of its relations by means of topological analysis, and explanation of the concepts through mereological tools (for example decomposition of an object in its parts, or a class in its subclasses). Our work presents an attempt to apply these procedures to urban systems, beginning from the corpus of theories developed in urban system analysis to achieve an ontology of the city with the already mentioned suitable features, underlining in particular three levels (physical, socio-economical, and mental level) through which it’s possible to observe the city.TRANSCRIPT
![Page 1: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/1.jpg)
Ontologies for Urban Systems
Caglioni Matteo
Rabino Giovanni
University of PisaDepartment of Civil Engineering
Polytechnic of MilanDepartment of Architecture and Planning
![Page 2: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/2.jpg)
Contents
What is an ontology: Definition Features Softwares
Ontologies in geography and planning: a survey 2 applications:
A light ontology: alterogeographies A reseach work: ontology and modelling
![Page 3: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/3.jpg)
Definition of Ontology
“An ontology is a formal and explicit specification of a shared conceptualization” (Studer, 1998)
Slide 01 di 29
![Page 4: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/4.jpg)
![Page 5: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/5.jpg)
Formal language
Natural languages aren’t able to describe in a powerful way concept definitions and relationships.
Syntactical machine readable languages such as HTML or XML are limited because they are only intended for human consumption.
Slide 02 di 29
![Page 6: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/6.jpg)
We need to make the information not only machine readable but machine-understandable.
In order to gain machine understanding we need semantic languages which are able to define meaning for the stored information.
Slide 03 di 29
Formal language
![Page 7: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/7.jpg)
Requirements for an ontology language
– Easy to use and comprehend– Compatible with existing standards– Formally specified– Adequately expressive– Possibility to perform an automate reasoning
Slide 04 di 29
Formal language
![Page 8: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/8.jpg)
OIL (Ontology Inference Layer)DAML (DARPA Agent Mark-up Language)DAML+OILOWL (Ontology Web Language)
– OWL lite (First Order Logic)– OWL DL (Descriptive Logic)– OWL Full
Slide 05 di 29
Formal language
![Page 9: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/9.jpg)
Shared and reusable ontologies
Ontology building is an iterative process characterized by an high cost.
There are databases with ontologies already developed, but these resources are limited.
Formal structure and formal language allow to re-use an ontology in another application.
Re-using ontologies allows to share knowledge contained inside them.
Slide 06 di 29
![Page 10: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/10.jpg)
The object
physical object, which are entities limited in space and in time.
social object, which are entities just limited in time (i.e. a contract, or a promise)
ideal object, which are entities not limited in space and in time.(Casati, 1998; Ferraris, 2005; Varzi 2005)
Slide 07 di 29
![Page 11: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/11.jpg)
Semantic relationships
The most common way to represent objects in an ontology is using semantic relationships among concepts, which give a hierarchical structure to the whole system.
Slide 08 di 29
![Page 12: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/12.jpg)
Taxonomy (Hiperonomy, Hiponomy)X is a kind of Y (o Y has a kind of X).
characterize relationship between classes and subclasses,
where subclasses inherit all proprieties of the their class (flat, detach house, cinema, theatre are kinds of buildings).
Partonomy (Meronimy, Olonimy)X is a part of Y (o Y has a part X).
the sum of parts of an object constitute the object itself (window, door, roof are parts of a house).
Slide 09 di 29
Semantic relationships
![Page 13: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/13.jpg)
Semantic relationship between verbs– Toponimy: a verb is a troponym of another one,
when the first expresses a particular manner of the second (march - walk).
– Implication: an action implies another one, when the first action can’t be performed without to perform also the second (snore - sleep).
Slide 10 di 29
Semantic relationships
![Page 14: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/14.jpg)
Lexical relationships are important relations between concepts that depend by phrases in which they are– Synonymy: two concepts are synonyms, if
substituting one concept with the other one inside a phrase, the value of truth of phrase doesn’t change.
– Antinomy: the antonym (or contrary) is a concept having a meaning opposite to that of another concept.
– Polysemy: the polysemous is a concept with more than one meaning.
Slide 11 di 29
Semantic relationships
![Page 15: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/15.jpg)
Semantic relationships are easy to use, also because we already know their proprieties and their formal representation…
…there are other kinds of relationships we can add to an ontology, but we need to define them and characterize them in a formal way.
Slide 12 di 29
Semantic relationships
![Page 16: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/16.jpg)
<detach house, artefact, flat, garden, construction, building, structure, bridge, antropic object>
Slide 13 di 29
Words list {antropic object}
{building}
{garden}{structure, costruction}
{artefact}
{flat} {detach house}
Structured dictionary{bridge}
Semantic relationships
![Page 17: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/17.jpg)
1 define theory: buildings
2 define class: building(x)a instance-of(White House,building)b instance-of(Louvre,building)c instance-of(Scala,building)
3 define relationship: kind-of(x,b)a kind-of(theatre,building)b kind-of(hospital,building)c kind-of(house,building)
4 define relationship: constitute-by(b,x)a constitute-by(building,doors)b constitute-by(building,windows)c constitute-by(building,walls)
Slide 14 di 29
Semantic relationships
![Page 18: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/18.jpg)
1 define theory: buildings
2 define class: building(x)
3 define relationship: made-of(e,material)a ∀ e,m: made-of(e,m) -> instance-of(e,building) & (m = concrete or m = steel)
4 define relationship: kind-of(e,structure)a kind-of(e,steel) ↔ instance-of(e,building) & made-of(e,steel) & ¬ made-of(e,concrete)b kind-of(e,con) ↔ instance-of(e,building) & made-of(e,concrete) & ¬ made-of(e,steel)c kind-of(e,r_con) ↔ instance-of(e,building) & made-of(e,concrete) & made-of(e,steel)
Slide 15 di 29
Semantic relationships
![Page 19: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/19.jpg)
Ontology and representation
Slide 16 di 29
Top Level Ontology
Generic Ontology
Generic Ontology
Functional level Domain level
![Page 20: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/20.jpg)
Software for ontology (freeware)
Towntology: developed by Laurini, Laboratoire d'InfoRmatique en Image et Systèmes d'information INSA. This software contains several specific libraries about urban field. It uses XML language.
Protégé: developed by Stanford Medical Informatics at the Stanford University School of Medicine. It’s a general ontology editor with several plug-in. It uses OWL language.
CmapTools COE: integrated suite of software tools for constructing, sharing and viewing OWL encoded ontologies based on CmapTools.
Slide 00 of 00
![Page 21: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/21.jpg)
Urban ontologies
Urbamet thesaurus: lightweight ontology, it’s purpose is to describe document about urbanism, city planning, construction, architecture and so one http://www.urbamet.com/doc/bd.htm the interface to query the documentation database using the urbamet thesaurus.
URBISOC thesaurus: lightweight ontology, it’s purpose is a classification in bibliographic databases (scientific and technical journals on Geography, Town Planning, Urbanism and Architecture)
Mobility ontology : lightweight ontology for teaching and communication in transportation field.
Slide 00 of 00
![Page 22: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/22.jpg)
Urban ontologies
GEMET thesaurus: lightweight ontology, for classification of environmental resources.
EUROVOC thesaurus: lightweight ontology, for classification of documents produced by European institutions.
UNESCO thesaurus: lightweight ontology for classification of documents in the fields of education, science, social and human science, culture, communication and information.
AGROVOC thesaurus: lightweight ontology for classification of geographic information resources (with special focus on agriculture resources)
Slide 00 of 00
![Page 23: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/23.jpg)
L. D. Hopkins(2001):
Urban Development: The logic of making Plans.
![Page 24: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/24.jpg)
L. D. Hopkins(2001):
Urban Development: The logic of making Plans.
![Page 25: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/25.jpg)
![Page 26: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/26.jpg)
![Page 27: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/27.jpg)
![Page 28: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/28.jpg)
![Page 29: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/29.jpg)
bSocially relevantdevelopment issue
cSystem knowledge
aAction domain
Observable(workable
sustainability definition) 1
Abstractions4
Model of the 2observable Mental models
3Knowledge levels of the observable
Model domain Model structure
Purpose of the model Urban actors and activities
Analytical perspectives Allocation and spatial patterns
Observation, information Drive of spatial processes
User interface and evolution
Links belonging to the external loop
Links belonging to the internal loop
Elements more sensitive to simulation
Themodellingprocess
![Page 30: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/30.jpg)
Model building levels
Slide 17 di 29
Mental Map
Conceptual Map
Ontology
Qualitative Model
Fuzzy Model
Quantitative Model
Cognitive Map
↓
↓
↓
↓
↓
↓mathematical, deterministic, probabilistic
![Page 31: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/31.jpg)
It’s possible to identify an isomorphism between concepts in an ontology and entities in a model…
…also between relationships, defined and represented in an ontology, and equations which connect different entities using a mathematical form.
Slide 23 di 29
Urban ontology
![Page 32: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/32.jpg)
To build an ontology following a top-down process is an ambitious and rather complex project…
we purpose to start from already existing mathematical models, building an ontology through a generalization process.
Slide 27 di 29
The Lowry Model
![Page 33: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/33.jpg)
Slide 28 di 29
d2x1(t+∆t)/dt2 = k1(dx2(t)/dt – dx1(t)/dt)
Differential equations for vehicle movement
The Model
![Page 34: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/34.jpg)
Slide 28 di 29
Flux Road
Vehicle
Human being
Position
Velocity
Administration
Speed limits
The ontology
![Page 35: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/35.jpg)
The Lowry model was one of the first transportation / land use model to be developed in 1964.
Even if its formulation is rather simple, it provides the relationships between transportation and land use.
The core assumption of the Lowry model assumes that regional and urban growth (or decline) is a function of the expansion (or contraction) of the basic sector.
Slide 26 di 29
The Lowry Model
![Page 36: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/36.jpg)
According with our systemic view of the city, we propose to represent an ontology using a classic input-output structure of the urban system.
Slide 24 di 29
Urban ontology
![Page 37: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/37.jpg)
![Page 38: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/38.jpg)
Slide 28 di 29
Transportation
Residence
Population
Services
Land use
Economy
Workplace
The Lowry Model
![Page 39: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/39.jpg)
Slide 25 di 29
The Lowry Model
![Page 40: Ontologies for Urban Systems ECTQG2007](https://reader030.vdocuments.mx/reader030/viewer/2022020218/5599a2ef1a28ab1d488b4649/html5/thumbnails/40.jpg)
Conclusions
It’s possible to extract knowledge through logical inference (reasoning).
Ontology as method to build a database and to share information.
Ontology as model building process for urban systems.
Slide 29 di 29