| Date: | 2015, June 10 |
| Time: | 11:00 |
| Author: | Katragadda, Rajendra |
| Title: | Anti-Unification for the Web Ontology Language |
Anti-Unification is the process of finding a generalized term from any two given terms which are substitution instances of the generalization term. The interesting generalizations are the least general ones. Anti-Unification has found applications in machine learning, analogy making, software maintenance, program analysis and so on.
In this talk, Anti-Unification will be introduced and the process of Anti-Unification for Web Ontology Language using the Heuristic Driven Theory Projection [HDTP], the Heterogeneous Tool Set [HETS] will be explained with examples followed by the evaluation of the results. Also we would like to address some open questions.