001/* 002 * To change this license header, choose License Headers in Project Properties. 003 * To change this template file, choose Tools | Templates 004 * and open the template in the editor. 005 */ 006package org.dllearner.utils.unife; 007 008import org.semanticweb.owlapi.model.OWLClassExpression; 009import org.semanticweb.owlapi.model.OWLClassExpressionVisitor; 010 011/** 012 * 013 * @author Giuseppe Cota <giuseppe.cota@unife.it> 014 */ 015public interface OWLClassExpressionSimplifierVisitor extends OWLClassExpressionVisitor { 016 017 public OWLClassExpression getOWLClassExpression(); 018 019}