org.semanticweb.owlapi.profiles
Class UseOfNonSimplePropertyInFunctionalPropertyAxiom

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

public class UseOfNonSimplePropertyInFunctionalPropertyAxiom
extends OWLProfileViolation
implements OWL2DLProfileViolation

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


Constructor Summary
UseOfNonSimplePropertyInFunctionalPropertyAxiom(OWLOntology ontology, OWLFunctionalObjectPropertyAxiom axiom)
           
 
Method Summary
 void accept(OWL2DLProfileViolationVisitor visitor)
           
 java.lang.String toString()
           
 
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, wait, wait, wait
 

Constructor Detail

UseOfNonSimplePropertyInFunctionalPropertyAxiom

public UseOfNonSimplePropertyInFunctionalPropertyAxiom(OWLOntology ontology,
                                                       OWLFunctionalObjectPropertyAxiom axiom)
Method Detail

accept

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

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object