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}