Matching Concepts across HOL Libraries.

Thibault Gauthier Cezary Kaliszyk

Published in: CICM (2014)

Keyphrases

ontology matching
matching algorithm
concept learning
digital libraries
pattern matching
image matching
graph matching
matching process
feature points
domain ontology
multimedia
database systems
background knowledge
theorem prover
formal methods