org.semanticweb.owlapi.profiles
Class UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom

java.lang.Object
  org.semanticweb.owlapi.profiles.OWLProfileViolation
      org.semanticweb.owlapi.profiles.UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom

All Implemented Interfaces:

OWL2DLProfileViolation

public class UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom
extends OWLProfileViolation
implements OWL2DLProfileViolation

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

Constructor Summary

UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom(OWLOntology ontology, OWLAsymmetricObjectPropertyAxiom axiom)

Method Summary

void	accept(OWL2DLProfileViolationVisitor visitor)
OWLAsymmetricObjectPropertyAxiom	getAxiom()
java.lang.String	toString()

Methods inherited from class org.semanticweb.owlapi.profiles.OWLProfileViolation

getDocumentIRI, getImportsClosure, getOntologyID

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom

public UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom(OWLOntology ontology,
                                                             OWLAsymmetricObjectPropertyAxiom axiom)

Method Detail

getAxiom

public OWLAsymmetricObjectPropertyAxiom getAxiom()

Overrides:

getAxiom in class OWLProfileViolation

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