Anti-Unification is the process of finding least general anti-unifier.
Anti-Unification has 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 [OWL] using the Heuristic
Driven Theory Projection [HDTP],
the Heterogeneous Tool Set [HETS] will be explained with examples.
Also we would like to discuss about the basic script written for implementation
of Anti-unification for OWL.
Back to the Oberseminar web page Webmaster