org.semanticweb.owlapitools.profiles

Class OWLProfileViolation<T>

java.lang.Object

org.semanticweb.owlapitools.profiles.OWLProfileViolation<T>

Type Parameters:

T - violation type

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<T>
extends java.lang.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.

Author:

Matthew Horridge, The University of Manchester, Information Management Group, Date: 03-Aug-2009

Field Summary

Fields

Modifier and Type	Field and Description
protected org.semanticweb.owlapi.model.OWLAxiom	axiom
protected org.semanticweb.owlapi.model.OWLDataFactory	df
protected T	expression
protected org.semanticweb.owlapi.model.OWLOntology	ontology

Constructor Summary

Constructors

Constructor and Description
OWLProfileViolation(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLAxiom axiom, T o)

Method Summary

Modifier and Type	Method and Description
abstract void	accept(OWLProfileViolationVisitor visitor) visitor accept method
abstract <O> O	accept(OWLProfileViolationVisitorEx<O> visitor)
protected org.semanticweb.owlapi.model.AddAxiom	addDeclaration(org.semanticweb.owlapi.model.OWLEntity e)
org.semanticweb.owlapi.model.OWLAxiom	getAxiom()
T	getExpression()
org.semanticweb.owlapi.model.OWLOntology	getOntology()
org.semanticweb.owlapi.model.OWLOntologyID	getOntologyID()
protected java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange>	list(org.semanticweb.owlapi.model.OWLOntologyChange... changes)
java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange>	repair()
protected java.lang.String	toString(java.lang.String template)
protected java.lang.String	toString(java.lang.String template, java.lang.Object object)
protected java.lang.String	toString(java.lang.String template, java.lang.Object object1, java.lang.Object object2)

Methods inherited from class java.lang.Object

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

Field Detail

ontology

protected final org.semanticweb.owlapi.model.OWLOntology ontology

df

protected final org.semanticweb.owlapi.model.OWLDataFactory df

axiom

protected final org.semanticweb.owlapi.model.OWLAxiom axiom

expression

protected final T expression

Constructor Detail

OWLProfileViolation

public OWLProfileViolation(org.semanticweb.owlapi.model.OWLOntology ontology,
                           org.semanticweb.owlapi.model.OWLAxiom axiom,
                           T o)

Parameters:

ontology - the ontology with the violation

axiom - the axiom with the violation

o - violation expression

Method Detail

getOntologyID

public org.semanticweb.owlapi.model.OWLOntologyID getOntologyID()

Returns:

ontology id

getOntology

public final org.semanticweb.owlapi.model.OWLOntology getOntology()

Returns:

ontology

getExpression

public T getExpression()

Returns:

the expression object of this violation

getAxiom

public org.semanticweb.owlapi.model.OWLAxiom getAxiom()

Returns:

the offending axiom

repair

public java.util.List<org.semanticweb.owlapi.model.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.

addDeclaration

protected org.semanticweb.owlapi.model.AddAxiom addDeclaration(org.semanticweb.owlapi.model.OWLEntity e)

accept

public abstract void accept(OWLProfileViolationVisitor visitor)

visitor accept method

Parameters:

visitor - visitor

accept

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

Parameters:

visitor - visitor

Returns:

visitor return value

toString

protected java.lang.String toString(java.lang.String template)

toString

protected java.lang.String toString(java.lang.String template,
                                    java.lang.Object object)

toString

protected java.lang.String toString(java.lang.String template,
                                    java.lang.Object object1,
                                    java.lang.Object object2)

list

protected java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange> list(org.semanticweb.owlapi.model.OWLOntologyChange... changes)