org.semanticweb.owlapi.profiles
Class UseOfObjectOneOfWithMultipleIndividuals

java.lang.Object
  org.semanticweb.owlapi.profiles.OWLProfileViolation
      org.semanticweb.owlapi.profiles.UseOfIllegalClassExpression
          org.semanticweb.owlapi.profiles.UseOfObjectOneOfWithMultipleIndividuals

All Implemented Interfaces:

OWL2ELProfileViolation

public class UseOfObjectOneOfWithMultipleIndividuals
extends UseOfIllegalClassExpression
implements OWL2ELProfileViolation

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

Constructor Summary

UseOfObjectOneOfWithMultipleIndividuals(OWLOntology ontology, OWLAxiom axiom, OWLObjectOneOf oneOf)

Method Summary

void	accept(OWL2ELProfileViolationVisitor visitor)
OWLObjectOneOf	getOWLObjectOneOf()
java.lang.String	toString()

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

getOWLClassExpression

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

UseOfObjectOneOfWithMultipleIndividuals

public UseOfObjectOneOfWithMultipleIndividuals(OWLOntology ontology,
                                               OWLAxiom axiom,
                                               OWLObjectOneOf oneOf)

Method Detail

accept

public void accept(OWL2ELProfileViolationVisitor visitor)

Specified by:

accept in interface OWL2ELProfileViolation

Overrides:

accept in class UseOfIllegalClassExpression

getOWLObjectOneOf

public OWLObjectOneOf getOWLObjectOneOf()

toString

public java.lang.String toString()

Overrides:

toString in class UseOfIllegalClassExpression