org.semanticweb.owlapi.profiles.violations

Class IllegalPunning

java.lang.Object

org.semanticweb.owlapi.profiles.OWLProfileViolation

org.semanticweb.owlapi.profiles.violations.IllegalPunning

public class IllegalPunning
extends OWLProfileViolation

Punning between properties is not allowed.

Author:

ignazio

Constructor Summary

Constructors

Constructor and Description
IllegalPunning(OWLOntology currentOntology, OWLAxiom node, IRI iri)

Method Summary

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

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

IllegalPunning

public IllegalPunning(OWLOntology currentOntology,
                      @Nullable
                      OWLAxiom node,
                      IRI iri)

Parameters:

currentOntology - ontology

node - axiom

iri - iri

Method Detail

getExpression

public IRI getExpression()

Overrides:

getExpression in class OWLProfileViolation

Returns:

the expression object of this violation

toString

public String toString()

Overrides:

toString in class Object

accept

public void accept(OWLProfileViolationVisitor visitor)

Description copied from class: OWLProfileViolation

Visitor accept method.

Specified by:

accept in class OWLProfileViolation

Parameters:

visitor - visitor

accept

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

Specified by:

accept in class OWLProfileViolation

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor return value