![Page 1: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/1.jpg)
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Verification of Core Model Conformity in Cadastral Modeling
Claudia Hess, Christoph Schlieder
WG 2 Cadastral Science Meeting
Székesfehérvár, Hungary
September 2.-3. 2004
![Page 2: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/2.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Agenda
1. Motivation
2. Approach
3. Prototype
4. Future Research
![Page 3: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/3.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Approach in the context of COST Action G9
Standardization in the cadastral domain Not one single cadastral system running in all European countries But: Conforming national cadastral models Development of a core cadastral data and process model National models as extensions of the core cadastral model
Advantages: Interoperability Software development and reuse
![Page 4: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/4.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Core Cadastral Domain Model
Every cadastral system implementing class X
could interoperate.
I found concept X in all cadastral systems.
Core Modeler
![Page 5: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/5.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Greek Cadastral Model
I modeled concept Y to match concept X of the core cadastral model.
Modeler Greek Cadastre
![Page 6: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/6.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Conformity Verification
Core Model Supposedly Derived Model
?
Conformity Intentions Modeling
Intentions
![Page 7: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/7.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Iterative Modeling Process
Core Model:Formalization ofConformity Intentions
Derived Model:Formalization ofModeling Intentions
Ontological Reasoning:- Necessary Modifications- Inconsistencies- Satisfaction of Constraints
Conformity
![Page 8: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/8.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Agenda
1. Motivation
2. Approach
3. Prototype
4. Future Research
![Page 9: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/9.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
“Ontology-based Verification of Core Model Conformity in Conceptual Modeling”
Conceptual Models UML class diagrams Textual constraints of Literate UML
Enhanced expressiveness of ontological modeling
Reasoning about ontologies Computes the type of a relation between concepts
• Indicator for the “strength” of the relation
• Formal verification of the domain experts intentions Detects inconsistencies in and across core and derived models
![Page 10: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/10.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Transformation UML OIL XMI<UML:Class xmi.id = 'a15' name =
'Person' visibility = 'public' isSpecification = 'false' isRoot = 'false' isLeaf = 'false' isAbstract = 'false' isActive = 'false'>…<UML:Attribute xmi.id = 'a373' name = 'tmin' visibility = 'private' isSpecification = 'false‚ ownerScope = 'instance'>
…</UML:Attribute>…
</UML:Class> Literate UML“Each Person is either a NaturalPersonor a NonNaturalPerson. No Person canbe a NaturalPerson and a NonNaturalPerson.”
DAML+OIL<daml:Class rdf:about="#Person“
rdfs:label="Person">…
<daml:Restriction><daml:onProperty>
<daml:DatatypeProperty rdf:about="#Person_tmin"/> </daml:onProperty><daml:hasClass rdf:resource="http:// www.w3.org/2000/10/XMLSchema #date"/>
</daml:Restriction> <daml:disjointUnionOf rdf:parseType=
"daml:collection"> <daml:Class rdf:about="#NaturalPerson"/>
<daml:Class rdf:about="#NonNaturalPerson"/> </daml:disjointUnionOf></daml:Class>
![Page 11: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/11.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Conformity Constraints
Conformity Constraints: Set of classes and attributes of the core model which must have a corresponding element in the derived model
Define the minimum of required “similarity” between core and derived models
![Page 12: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/12.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Generic Mapping Relations
Correspondences are identified by domain experts
Small set of generic mapping relations
Correspondences are identified between Classes Attributes Classes and attributes
Heterogeneity problems: Structural heterogeneity: Semantically equivalent information is
stored in different data structures Semantic heterogeneity: Different interpretation of syntactically the
same information
![Page 13: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/13.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Example: Person - Beneficiary
![Page 14: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/14.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Correspondence in DAML+OIL
Correspondence between attributes: daml:samePropertyAs
<daml:ObjectProperty
rdf:about="core_cad.daml#Person_SubjID" rdfs:label="Person_SubjID">
<daml:domain rdf:resource="core_cad.daml#Person"/>
<daml:range rdf:resource="core_cad.daml#oid"/>
<daml:samePropertyAs rdf:resource= "#Greek_cad.daml#BENEFICIARY_BEN_ID"/>
</daml:ObjectProperty>
![Page 15: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/15.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Types of Correspondence
Reasoner determines type of the identified correspondence by ontological reasoning
Types: Equivalence Subsumption Overlapping Approximate Mapping
Special Cases Restriction of the range of an attribute Co-extensional concepts without corresponding attributes Corresponding packages
![Page 16: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/16.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Query and Interpretation
Type Query to RACER
Equivalence concept-equivalent?
Subsumption concept-subsumes?
Overlapping Create new class + concept-satisfiable?
Example: (concept-equivalent? |core_cad.daml#Person||Greek_cad.daml#BENEFICIARY|); …
Result: True or false Interpretation: The classes Person and BENEFICIARY are,
according to the identified correspondences, overlapping. Is this type of correspondence sufficient?
![Page 17: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/17.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Agenda
1. Motivation
2. Approach
3. Prototype
4. Future Research
![Page 18: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/18.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Prototype (1/2)
Demonstrates the feasibility of applying the theoretical approach
Most important features of the theoretical approach are realized
Verification of conformity between Core cadastral domain model and Greek cadastral model
![Page 19: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/19.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Prototype (2/2)
Correspondence between classes
Correspondence between attributes
![Page 20: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/20.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
“Person”-Classes: 1st Iteration
Greek ModelCore Model
Equivalent Person-Classes must be in every cadastral model!
![Page 21: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/21.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Results of the 1st Iteration
Correspondences only of the overlapping type:Person – BENEFICIARY, NaturalPerson – BENEFICIARY,
NonNaturalPerson – BENEFICIARY
No relation between the specialization classes
No corresponding attribute for t_min and t_max (class Person)
No corresponding attribute for BEN_TYPE (class BENEFICIARY)
![Page 22: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/22.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Proposed Modifications: 2nd Iteration
Core Model Greek Model
![Page 23: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/23.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Results of the 2nd Iteration
Person and BENEFICIARY are equivalent Temporal aspects must be either added to the class BENEFICIARY
or omitted in the class Person!
Equivalence between the specialization classes: NaturalPerson equivalent with NATURAL, NonNaturalPerson equivalent with LEGAL.
![Page 24: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/24.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Evaluation
Evaluation of the example Poor results of the first iteration due to the limited number of
formalized correspondences First iteration provides advice for the subsequent iteration Results of the 2nd iteration must be evaluated by domain experts
Next step: Refinement of the correspondences between core and Greek
cadastral model 2nd iteration with all refined correspondences Elaboration of the attribute-level of core and derived models
![Page 25: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/25.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Agenda
1. Motivation
2. Approach
3. Prototype
4. Future Research
![Page 26: Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,](https://reader030.vdocuments.us/reader030/viewer/2022032704/56649d435503460f94a1fe43/html5/thumbnails/26.jpg)
Székesfehérvár, September 02, 2004
Laboratory for Semantic Information Technology
Bamberg University
Ontology-based Conformity Verification
Future Research in the Conformity Verification
Refinement of the types of relations: For concepts: complementOf, … For attributes: inverseOf, subPropertyOf
More detailed examination of inconsistencies
Extension of the conformity verification to process models