org.semanticweb.owlapitools.profiles.violations

Class UseOfUndeclaredDatatype

java.lang.Object

org.semanticweb.owlapitools.profiles.OWLProfileViolation<org.semanticweb.owlapi.model.OWLDatatype>

org.semanticweb.owlapitools.profiles.violations.UseOfUndeclaredDatatype

All Implemented Interfaces:

UndeclaredEntityViolation

public class UseOfUndeclaredDatatype
extends OWLProfileViolation<org.semanticweb.owlapi.model.OWLDatatype>
implements UndeclaredEntityViolation

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 03-Aug-2009 Specifies that a datatype is not declared

Field Summary

Fields inherited from class org.semanticweb.owlapitools.profiles.OWLProfileViolation

axiom, df, expression, ontology

Constructor Summary

Constructors

Constructor and Description
UseOfUndeclaredDatatype(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLAxiom axiom, org.semanticweb.owlapi.model.OWLDatatype datatype)

Method Summary

Modifier and Type	Method and Description
void	accept(OWLProfileViolationVisitor visitor) visitor accept method
<O> O	accept(OWLProfileViolationVisitorEx<O> visitor)
org.semanticweb.owlapi.model.OWLEntity	getEntity()
java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange>	repair()
java.lang.String	toString()

Methods inherited from class org.semanticweb.owlapitools.profiles.OWLProfileViolation

addDeclaration, getAxiom, getExpression, getOntology, getOntologyID, list, toString, toString, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapitools.profiles.violations.UndeclaredEntityViolation

getOntology

Constructor Detail

UseOfUndeclaredDatatype

public UseOfUndeclaredDatatype(org.semanticweb.owlapi.model.OWLOntology ontology,
                               org.semanticweb.owlapi.model.OWLAxiom axiom,
                               org.semanticweb.owlapi.model.OWLDatatype datatype)

Parameters:

ontology - ontology

axiom - axiom

datatype - datatype

Method Detail

getEntity

public org.semanticweb.owlapi.model.OWLEntity getEntity()

Specified by:

getEntity in interface UndeclaredEntityViolation

Returns:

entity not declared

accept

public void accept(OWLProfileViolationVisitor visitor)

Description copied from class: OWLProfileViolation

visitor accept method

Specified by:

accept in class OWLProfileViolation<org.semanticweb.owlapi.model.OWLDatatype>

Parameters:

visitor - visitor

accept

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

Specified by:

accept in class OWLProfileViolation<org.semanticweb.owlapi.model.OWLDatatype>

Parameters:

visitor - visitor

Returns:

visitor return value

repair

public java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange> repair()

Overrides:

repair in class OWLProfileViolation<org.semanticweb.owlapi.model.OWLDatatype>

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.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object