04/18/23Andrew Frank 1
REVIGIS Review MeetingWP 3
Andrew U. FrankGeoinformationTU [email protected]
Overheads at:http://www.geoinfo.tuwien.ac.at/presentations/frank.htm
04/18/23Andrew Frank 2
Goal of WP 3
General focus of REVIGIS: combination, quality, revision
WP3 focus: “Fusion and revision of strongly constrained spatial objects. To deal with uncertainty from multiple and untrusted sources in the definition of spatial objects.
The objects are generally crisply recorded and of symbolical nature, …”
04/18/23Andrew Frank 3
Tasks in WP 3
3.1 revision in multiple source problem3.2 fusion and revision issues in a multi-use,
multi-quality context (Praxitec, U Laval)3.3 General implementation issues (start in
month 12)
Changes from plan:partner NMT left the project, replaced by Praxitec, U Laval)
The details of the cases to be studied were adapted to meet current commercial interest.
04/18/23Andrew Frank 4
TU Vienna:
Work done at the Technical University Vienna related to the REVIGIS project:
1. Ontology of administrative systems2. Revising administrative rule bases3. Updating cartographic data with
multiple sources4. Location Based Systems5. Separation of information for different
uses (Gruenbacher)
04/18/23Andrew Frank 5
1. Ontology of administrative systems
WP is focused on administrative data (WP 2 is more related to scientific data)
Administration uses crisp, discrete data which is derived from scientific data
For example: a parcel(partition of space, limited operations,
precise boundary points) What is the ontology of administrative
objects?Example: what is a parcel, a person, money
04/18/23Andrew Frank 6
Administrative ontology
Ontology in scientific systems are directh = f (a,b,c)
Difficulties with object formation were discussed under segmentation in WP 2.
Administration – as part of the socially constructed reality – has a more complex ontology:
X counts as y in context z (John Searle)X are physical objects (or actions)Y are legal concepts (objects or
actions)
04/18/23Andrew Frank 7
Revisions in administrative data
Observations of x1, x2 – the physical objects which ‘count as’
Update of y1, y2 – the inferred legal concepts
Consistency between the observations (documents received, actions recorded etc.) and the established administrative properties.
04/18/23Andrew Frank 8
Achieved
Simulation of ontology (Ph.D. completed – Steffen BittnerSearle’s explanation was based on ‘collective intentionality’
We have replaced this by the (monopoly of) force by the state
Framework in which revisions can be formulated.
Formalization of constraints management and update/revision operator for database.
04/18/23Andrew Frank 9
Commercial connections
Simulation of systems where technical and legal issues cooperate.
Application under discussion:Road pricing with Ericson
04/18/23Andrew Frank 10
2. Updating and revising administrative rule basesChanges in the administrative rules:
consistency of the rulesQuestion:How to maintain data collections where
consistency was tested under different sets of rules?
04/18/23Andrew Frank 11
Achieved
Formalization of the cadastral law using in an executable, algebraic language (Haskell).
Translation paragraph by paragraph (not reconstruction of the law)
Law is formalized, Ph.D. text is in revision
04/18/23Andrew Frank 12
Open Questions
Consistency of the initial rule set (text of law)
How to maintain consistency during revisions (by the legislator)
Formal framework established, needs connection with WP 1
04/18/23Andrew Frank 13
Commercial interest
Intergraph was initially interested in the research as a method to build applications with strong legal bases quickly.
Navratil is currently seconded to Government of Cyprus to advice on the construction of Geographic Information System and Cadastre.
04/18/23Andrew Frank 14
3. Multi-data sources
Documentation of a case where measurements and available cartographic data must be merged.
04/18/23Andrew Frank 15
Achieved:
Documentation of the caseCommercial relations:Data is from a commercial application,
result should be directly implementable
04/18/23Andrew Frank 16
U Laval
Fusion and revision in a mulit-use, multi-quality context
Stress on managing data quality descriptions (metadata)
Separate presentation afterwards
04/18/23Andrew Frank 17
4. Location Based Systems
Many position measured.Update discrete dataSpecial problem:Determine on which road a vehicle drives.
04/18/23Andrew Frank 18
Achieved
This question is in definition phase.Commercial interest:Road pricing - Ericson
04/18/23Andrew Frank 19
Conclusion
The questions of revisions of databases are of high commercial interest.
Issue: what is the relevant informationTechnical question: fusion of data, test for
consistency violations.how to measure data quality?
New question: separation of information in multiple Geographic Information Products.
04/18/23Andrew Frank 20
Plans for year 2:FormalizationEvaluate the formalizations discussed in
WP1 and see how it applies.We have used Reiter’s formalization before. Default reasoning can be translated easily into an algebraic system (which is the formalism we use).
Practically, hierarchical decomposition and local computation is limiting the length of inference chains and limits the combinatorial explosion.
04/18/23Andrew Frank 21
Plans for year 2:OntologyConnect the ontology research TU Vienna
did under the Chorochronos project to the questions of data quality and data fusion.
Compare ontological issues coming up in the land use/land cover (WP2) with the ontology of cadastre.
04/18/23Andrew Frank 22
Problems
Reaction in a EU project are slow in comparison with the change in focus of commercial operations.
This is true for the interest of partners in a project but also for changes in the application areas.
Adaptation of project targets – especially for application areas – must be done flexible.