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

Abstract:

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