org.semanticweb.owlapi.profiles.violations

Class UseOfObjectOneOfWithMultipleIndividuals

java.lang.Object

org.semanticweb.owlapi.profiles.OWLProfileViolation

org.semanticweb.owlapi.profiles.violations.UseOfIllegalClassExpression

org.semanticweb.owlapi.profiles.violations.UseOfObjectOneOfWithMultipleIndividuals

public class UseOfObjectOneOfWithMultipleIndividuals
extends UseOfIllegalClassExpression

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor and Description
UseOfObjectOneOfWithMultipleIndividuals(OWLOntology ontology, OWLAxiom axiom, OWLObjectOneOf oneOf)

Method Summary

Modifier and Type	Method and Description
void	accept(OWLProfileViolationVisitor visitor) Visitor accept method.
<O> Optional<O>	accept(OWLProfileViolationVisitorEx<O> visitor)
String	toString()

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

getExpression

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

getAxiom, getOntology, getOntologyID, repair

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UseOfObjectOneOfWithMultipleIndividuals

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

Parameters:

ontology - ontology

axiom - axiom

oneOf - oneOf

Method Detail

accept

public void accept(OWLProfileViolationVisitor visitor)

Description copied from class: OWLProfileViolation

Visitor accept method.

Overrides:

accept in class UseOfIllegalClassExpression

Parameters:

visitor - visitor

accept

public <O> Optional<O> accept(OWLProfileViolationVisitorEx<O> visitor)

Overrides:

accept in class UseOfIllegalClassExpression

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor return value

toString

public String toString()

Overrides:

toString in class UseOfIllegalClassExpression