org.semanticweb.owlapi.profiles
Class OWLProfileViolation

java.lang.Object
  org.semanticweb.owlapi.profiles.OWLProfileViolation

Direct Known Subclasses:

CycleInDatatypeDefinition, DatatypeIRIAlsoUsedAsClassIRI, 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 java.lang.Object

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 03-Aug-2009 Describes a violation of an OWLProfile by one or more axioms. Ultimately, there may be part of an axiom(s) that violates the profile rather than the complete axiom.

Constructor Summary

OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom)

Method Summary

OWLAxiom	getAxiom()
IRI	getDocumentIRI(OWLOntologyID ontologyID)
java.util.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)

Method Detail

getAxiom

public OWLAxiom getAxiom()

getOntologyID

public OWLOntologyID getOntologyID()

getDocumentIRI

public IRI getDocumentIRI(OWLOntologyID ontologyID)

getImportsClosure

public java.util.Set<OWLOntologyID> getImportsClosure()