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 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.

Author:

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

Constructor Summary

Constructors

Constructor and Description
OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom)

Method Summary

Methods

Modifier and Type	Method and Description
OWLAxiom	getAxiom()
IRI	getDocumentIRI(OWLOntologyID ontID)
Set<OWLOntologyID>	getImportsClosure()
OWLOntologyID	getOntologyID()

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLProfileViolation

public OWLProfileViolation(OWLOntology ontology,
                   OWLAxiom axiom)

Parameters:

ontology - the ontology with the violation

axiom - the axiom with the violation

Method Detail

getAxiom

public OWLAxiom getAxiom()

Returns:

the offending axiom

getOntologyID

public OWLOntologyID getOntologyID()

Returns:

the ontology id

getDocumentIRI

public IRI getDocumentIRI(OWLOntologyID ontID)

Parameters:

ontID - the id to look for

Returns:

the document IRI for an id

getImportsClosure

public Set<OWLOntologyID> getImportsClosure()

Returns:

the imports closure set of ids. The set is a copy and the map will not be altered by changes to it.