org.semanticweb.owl.profiles
Class AxiomNotAllowed<A extends OWLAxiom>

java.lang.Object
  extended by org.semanticweb.owl.profiles.ConstructNotAllowed<A>
      extended by org.semanticweb.owl.profiles.AxiomNotAllowed<A>
Direct Known Subclasses:
OWL2Profile.NonSimplePropertyInAntiSymmetricPropertyAxiom, OWL2Profile.NonSimplePropertyInDisjointPropertiesAxiom, OWL2Profile.NonSimplePropertyInFunctionalPropertyAxiom, OWL2Profile.NonSimplePropertyInInverseFunctionalPropertyAxiom, OWL2Profile.NonSimplePropertyInIrreflexivePropertyAxiom

public class AxiomNotAllowed<A extends OWLAxiom>
extends ConstructNotAllowed<A>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008


Constructor Summary
AxiomNotAllowed(A construct)
           
AxiomNotAllowed(ConstructNotAllowed cause, A construct)
           
AxiomNotAllowed(java.util.Set<ConstructNotAllowed> cause, A axiom)
           
 
Method Summary
 
Methods inherited from class org.semanticweb.owl.profiles.ConstructNotAllowed
getCause, getConstruct, getReason, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AxiomNotAllowed

public AxiomNotAllowed(A construct)

AxiomNotAllowed

public AxiomNotAllowed(ConstructNotAllowed cause,
                       A construct)

AxiomNotAllowed

public AxiomNotAllowed(java.util.Set<ConstructNotAllowed> cause,
                       A axiom)