org.semanticweb.owlapi.profiles.violations

Class UseOfNonSimplePropertyInDisjointPropertiesAxiom

java.lang.Object

org.semanticweb.owlapi.profiles.OWLProfileViolation

org.semanticweb.owlapi.profiles.violations.UseOfNonSimplePropertyInDisjointPropertiesAxiom

public class UseOfNonSimplePropertyInDisjointPropertiesAxiom
extends OWLProfileViolation

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor and Description
UseOfNonSimplePropertyInDisjointPropertiesAxiom(OWLOntology ontology, OWLDisjointObjectPropertiesAxiom axiom, OWLObjectPropertyExpression prop)

Method Summary

Modifier and Type	Method and Description
void	accept(OWLProfileViolationVisitor visitor) visitor accept method
<O> O	accept(OWLProfileViolationVisitorEx<O> visitor)
OWLObjectPropertyExpression	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

UseOfNonSimplePropertyInDisjointPropertiesAxiom

public UseOfNonSimplePropertyInDisjointPropertiesAxiom(@Nonnull
                                                       OWLOntology ontology,
                                                       @Nonnull
                                                       OWLDisjointObjectPropertiesAxiom axiom,
                                                       @Nonnull
                                                       OWLObjectPropertyExpression prop)

Parameters:

ontology - ontology

axiom - axiom

prop - prop

Method Detail

getExpression

public OWLObjectPropertyExpression getExpression()

Overrides:

getExpression in class OWLProfileViolation

Returns:

the expression object of this violation

accept

public void accept(@Nonnull
                   OWLProfileViolationVisitor visitor)

Description copied from class: OWLProfileViolation

visitor accept method

Specified by:

accept in class OWLProfileViolation

Parameters:

visitor - visitor

accept

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

Specified by:

accept in class OWLProfileViolation

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor return value

toString

public String toString()

Overrides:

toString in class Object