AxiomNotAllowed

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

java.lang.Object
  org.semanticweb.owl.profiles.ConstructNotAllowed<A>
      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>
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
`equals, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Constructor Detail

public AxiomNotAllowed(A construct)

public AxiomNotAllowed(ConstructNotAllowed cause,
                       A construct)

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