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> Optional<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(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

public Object getExpression()

Returns:

the expression object of this violation

getAxiom

public OWLAxiom getAxiom()

Returns:

the offending axiom

repair

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(OWLProfileViolationVisitor visitor)

Visitor accept method.

Parameters:

visitor - visitor

accept

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

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor return value