Added axiom for local restrictions for the S4CITY ontology

OnToology update

reuse of geosp classes and properties
updated diagram

Modifications about KPI properties and reuse of geoSPARQL at
conceptualisation level

Draft of the HTML description.

OnToology update

Added KPI value for decoupling KPI definition and value
Added time:Instant
Andre relation between KPI value and measurements
Added foam:Agent hierarchy
Added takesPlaceAtFacility
Deleted Rule
Deleted aggregatesData
Deleted NonConvexInterval

OnToology update

Diagram with datatype properties
Proposal for KPI decoupling

new diagram with properties.
added skos:Concept

Smart Cities -> Smart City

Smart Cities domain -> Smart City domain

change Smart Ctities to Smart City