LogMap: Logic-based and Scalable Ontology Matching
LogMap is a highly scalable ontology matching system with ‘built-in’ reasoning and inconsistency repair capabilities. LogMap extract mappings between classes, properties and instances.
To the best of our knowledge, LogMap is one of the few matching systems that:
1. can efficiently match semantically rich ontologies containing tens (and even hundreds) of thousands of classes,
1. incorporates sophisticated reasoning and repair techniques to minimise the number of logical inconsistencies, and
1. provides support for user intervention during the matching process (see Web interface accessible from http://csu6325.cs.ox.ac.uk/).
or [http://csu6325.cs.ox.ac.uk:8080 http://csu6325.cs.ox.ac.uk:8080]
" 
