Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2015, November 25
Author: Katragadda, Rajendra Kumar
Title: Anti-Unification for Web Ontology Language


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