PPT Slide

Matchmaking Process

• Syntactical Matching

• Context Matching

• Comparison of Profiles (TF-IDF)

• Full Signature Matching of Declarations

• Word Distances

• Distances in the Ontology (Weighted Associative Network)

• Similarity Matching of Declarations and Constraints

• Subsumption of Data Types

• Semantical Matching

• Logical Implication of Constraints

Main Steps:

• Word Distances

• Subsumption or Equality of attached Concepts

(pairwise matching of specifications in LARKS)

Previous slide

Next slide

Back to first slide

View graphic version