org.semanticweb.owlapi.profiles

Class OWLProfileViolation

java.lang.Object

org.semanticweb.owlapi.profiles.OWLProfileViolation

Direct Known Subclasses:

CycleInDatatypeDefinition, DatatypeIRIAlsoUsedAsClassIRI, EmptyOneOfAxiom, IllegalPunning, InsufficientIndividuals, InsufficientOperands, InsufficientPropertyExpressions, LastPropertyInChainNotInImposedRange, LexicalNotInLexicalSpace, OntologyIRINotAbsolute, OntologyVersionIRINotAbsolute, UseOfAnonymousIndividual, UseOfBuiltInDatatypeInDatatypeDefinition, UseOfDefinedDatatypeInDatatypeRestriction, UseOfIllegalAxiom, UseOfIllegalClassExpression, UseOfIllegalDataRange, UseOfIllegalFacetRestriction, UseOfNonAbsoluteIRI, UseOfNonAtomicClassExpression, UseOfNonEquivalentClassExpression, UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom, UseOfNonSimplePropertyInCardinalityRestriction, UseOfNonSimplePropertyInDisjointPropertiesAxiom, UseOfNonSimplePropertyInFunctionalPropertyAxiom, UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom, UseOfNonSimplePropertyInIrreflexivePropertyAxiom, UseOfNonSimplePropertyInObjectHasSelf, UseOfNonSubClassExpression, UseOfNonSuperClassExpression, UseOfObjectPropertyInverse, UseOfPropertyInChainCausesCycle, UseOfReservedVocabularyForAnnotationPropertyIRI, UseOfReservedVocabularyForClassIRI, UseOfReservedVocabularyForDataPropertyIRI, UseOfReservedVocabularyForIndividualIRI, UseOfReservedVocabularyForObjectPropertyIRI, UseOfReservedVocabularyForOntologyIRI, UseOfReservedVocabularyForVersionIRI, UseOfTopDataPropertyAsSubPropertyInSubPropertyAxiom, UseOfUndeclaredAnnotationProperty, UseOfUndeclaredClass, UseOfUndeclaredDataProperty, UseOfUndeclaredDatatype, UseOfUndeclaredObjectProperty, UseOfUnknownDatatype

public abstract class OWLProfileViolation
extends Object

Describes a violation of an OWLProfile by an axiom. Ultimately, there may be part of the axiom that violates the profile rather than the complete axiom.

Since:

4.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor and Description
OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom, Object o)

Method Summary

Modifier and Type	Method and Description
abstract void	accept(OWLProfileViolationVisitor visitor) visitor accept method
abstract <O> O	accept(OWLProfileViolationVisitorEx<O> visitor)
OWLAxiom	getAxiom()
Object	getExpression()
OWLOntology	getOntology()
OWLOntologyID	getOntologyID()
List<OWLOntologyChange>	repair()

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLProfileViolation

public OWLProfileViolation(@Nonnull
                           OWLOntology ontology,
                           @Nullable
                           OWLAxiom axiom,
                           @Nullable
                           Object o)

Parameters:

ontology - the ontology with the violation

axiom - the axiom with the violation

o - violation expression

Method Detail

getOntologyID

public OWLOntologyID getOntologyID()

Returns:

ontology id

getOntology

public OWLOntology getOntology()

Returns:

ontology

getExpression

@Nonnull
public Object getExpression()

Returns:

the expression object of this violation

getAxiom

@Nonnull
public OWLAxiom getAxiom()

Returns:

the offending axiom

repair

@Nonnull
public List<OWLOntologyChange> repair()

Returns:

a set of changes to fix the violation - it might be just an axiom removal, or a rewrite, or addition of other needed axioms.

accept

public abstract void accept(@Nonnull
                            OWLProfileViolationVisitor visitor)

visitor accept method

Parameters:

visitor - visitor

accept

@Nonnull
public abstract <O> O accept(@Nonnull
                                      OWLProfileViolationVisitorEx<O> visitor)

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor return value