org.semanticweb.owlapi.profiles
Class UseOfPropertyInChainCausesCycle

java.lang.Object
  extended by org.semanticweb.owlapi.profiles.OWLProfileViolation
      extended by org.semanticweb.owlapi.profiles.UseOfPropertyInChainCausesCycle
All Implemented Interfaces:
OWL2DLProfileViolation

public class UseOfPropertyInChainCausesCycle
extends OWLProfileViolation
implements OWL2DLProfileViolation

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 03-Aug-2009


Constructor Summary
UseOfPropertyInChainCausesCycle(OWLOntology ontology, OWLSubPropertyChainOfAxiom axiom, OWLObjectPropertyExpression property)
           
 
Method Summary
 void accept(OWL2DLProfileViolationVisitor visitor)
           
 OWLObjectPropertyExpression getOWLObjectProperty()
           
 
Methods inherited from class org.semanticweb.owlapi.profiles.OWLProfileViolation
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UseOfPropertyInChainCausesCycle

public UseOfPropertyInChainCausesCycle(OWLOntology ontology,
                                       OWLSubPropertyChainOfAxiom axiom,
                                       OWLObjectPropertyExpression property)
Method Detail

getOWLObjectProperty

public OWLObjectPropertyExpression getOWLObjectProperty()

accept

public void accept(OWL2DLProfileViolationVisitor visitor)
Specified by:
accept in interface OWL2DLProfileViolation