| Package | Description |
|---|---|
| org.semanticweb.owlapitools.profiles | |
| org.semanticweb.owlapitools.profiles.violations |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<OWLProfileViolation<?>> |
OWL2ELProfile.OWL2ELProfileObjectVisitor.getProfileViolations() |
java.util.List<OWLProfileViolation<?>> |
OWLProfileReport.getViolations() |
| Modifier and Type | Method and Description |
|---|---|
protected O |
OWLProfileViolationVisitorExAdapter.doDefault(OWLProfileViolation<?> v)
override this method in subclasses to change default behaviour
|
protected void |
OWLProfileViolationVisitorAdapter.doDefault(OWLProfileViolation<?> v)
override this method in subclasses to change default behaviour
|
| Constructor and Description |
|---|
OWL2ProfileReport(OWLProfile profile,
java.util.Set<OWLProfileViolation<?>> disallowedConstructs,
java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> nonSimpleRoles,
java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> simpleRoles) |
OWLProfileReport(OWLProfile profile,
java.util.Set<OWLProfileViolation<?>> violations) |
| Modifier and Type | Class and Description |
|---|---|
class |
CycleInDatatypeDefinition
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
DatatypeIRIAlsoUsedAsClassIRI
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 Specifies that an IRI that is used for a datatype is also used for a class IRI |
class |
EmptyOneOfAxiom |
class |
IllegalPunning
Punning between properties is not allowed
|
class |
InsufficientIndividuals |
class |
InsufficientOperands |
class |
InsufficientPropertyExpressions |
class |
LastPropertyInChainNotInImposedRange
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
LexicalNotInLexicalSpace
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
OntologyIRINotAbsolute
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
OntologyVersionIRINotAbsolute
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfAnonymousIndividual
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfBuiltInDatatypeInDatatypeDefinition
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfDataOneOfWithMultipleLiterals
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfDefinedDatatypeInDatatypeRestriction
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfIllegalAxiom
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfIllegalClassExpression
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 Indicates that a class expression in an axiom is not in the profile |
class |
UseOfIllegalDataRange
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfIllegalFacetRestriction
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonAbsoluteIRI
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonAtomicClassExpression
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonEquivalentClassExpression
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonSimplePropertyInCardinalityRestriction
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonSimplePropertyInDisjointPropertiesAxiom
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonSimplePropertyInFunctionalPropertyAxiom
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonSimplePropertyInIrreflexivePropertyAxiom
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonSimplePropertyInObjectHasSelf
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonSubClassExpression
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfNonSuperClassExpression
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfObjectOneOfWithMultipleIndividuals
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfObjectPropertyInverse
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfPropertyInChainCausesCycle
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfReservedVocabularyForAnnotationPropertyIRI
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfReservedVocabularyForClassIRI
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfReservedVocabularyForDataPropertyIRI
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfReservedVocabularyForIndividualIRI
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfReservedVocabularyForObjectPropertyIRI
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfReservedVocabularyForOntologyIRI
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfReservedVocabularyForVersionIRI
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfTopDataPropertyAsSubPropertyInSubPropertyAxiom
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfUndeclaredAnnotationProperty
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfUndeclaredClass
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfUndeclaredDataProperty
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfUndeclaredDatatype
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 Specifies that a datatype is not declared |
class |
UseOfUndeclaredObjectProperty
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
class |
UseOfUnknownDatatype
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 Use of an unknown datatype. |
Copyright © 2014 The University of Manchester. All Rights Reserved.