SEKT WP4 Ontology Mediation D4'3'1

1
SEKT WP4 Ontology Mediation D4.3.1

• Jos de Bruijn
• Digital Enterprise Research Institute (DERI)
• University of Innsbruck
• jos.debruijn_at_deri.org
• 2004-10-12

2
D4.3.1

• Pattern Template
• Name, Problem, Context, Solution, Examples, Known
  Uses
• Elementary Mapping Patterns
• equivalentClassMapping
• subClassMapping
• relationMapping(A B inverse)
• Facilities for the specification of complex
  patterns
• Pattern Template, related to efforts on patterns
  in software design
• How to organize a library of patterns
• Relations between patterns (e.g. part-of, is-a,
  related-to)
• Hierarchical organization of patterns to support
  browsing
• Language-independent mapping language
• Well, not really language-independent (bias
  towards WSML and OWL)

3
Ontology Meta-model

• Concepts
• Attributes (i.e. binary relations with defined
  domain)
• Relations
• Functions (i.e. relations with unary range and
  n-ary domain)
• Instances
• Axioms

4
Pattern Template

• Name
• Problem
• Context
• Solution
• Examples
• Known Uses

5
Elementary Mapping Patterns

• classMapping
• equivalentClassMapping
• subClassMapping
• classIntersectionMapping
• classByAxiomMapping
• joinClassMapping
• classAttributeMapping
• classIndividualMapping
• relationMapping
• subRelationMapping
• equivalentRelationMapping
• attributeMapping
• attributeTransitiveClosureMapping
• attributeInverseMapping
• attributeSymmetryMapping
• attributeReflexivityMapping
• attributeClassMapping
• attributeValueMapping
• relationNegationMapping

6
Language-independent Mapping Language

• Not really based on WSMO conceptual model of
  ontologies
• Biased towards WSML and OWL
• Excerpt
• expression classMapping(
  one-waytwo-way classExpr classExpr
  attributeMapping classCondition
  logicalExpression )
• classExpr classID
• and( classExpr classExpr classExpr )
• or( classExpr classExpr classExpr )
• not( classExpr )
• join( classExpr classExpr classExpr
  logicalExpression )

7
Organizing a Library of Patterns

• Hierarchical organization
• Different relations
• is-a
• part-of
• related-to