org.semanticweb.kaon2.api.owl.elements
Interface DataRange

All Superinterfaces:

Predicate

All Known Subinterfaces:

DataNot, DataOneOf, Datatype

public interface DataRange
extends Predicate

Represents a data range in the ontology.

Method Summary

java.lang.Object	accept(KAON2Visitor visitor) Accepts a visitor for this object.
DataRange	getComplementNNF() Returns the negation-normal form of the complement of this data range.
java.util.Set<DataProperty>	getDataPropertiesTo(Ontology ontology) Returns the set of all data properties where this data range is asserted as range in an DataPropertyRange axiom.
DataRange	getNNF() Returns the negation-normal form of this data range.
DataRange	getSimplified() Returns the simplified version of this description.
boolean	isInNNF() Returns true if this data range is in negation-normal form.
void	toString(java.lang.StringBuffer buffer, Namespaces namespaces) Writes this data range to the supplied sting buffer.

Methods inherited from interface org.semanticweb.kaon2.api.rules.Predicate

getArity

Method Detail

isInNNF

boolean isInNNF()

Returns true if this data range is in negation-normal form.

Returns:

true if this data range is in negation-normal form

getNNF

DataRange getNNF()

Returns the negation-normal form of this data range.

Returns:

the negation-normal form of this data range

getComplementNNF

DataRange getComplementNNF()

Returns the negation-normal form of the complement of this data range.

Returns:

the negation-normal form of the complement of this data range

getSimplified

DataRange getSimplified()

Returns the simplified version of this description.

Returns:

the simplified version of this description

toString

void toString(java.lang.StringBuffer buffer,
              Namespaces namespaces)

Writes this data range to the supplied sting buffer.

Specified by:

toString in interface Predicate

Parameters:

buffer - the buffer

namespaces - the namespaces object

accept

java.lang.Object accept(KAON2Visitor visitor)

Accepts a visitor for this object.

Specified by:

accept in interface Predicate

Parameters:

visitor - the object visitor

Returns:

the return value of the visitor (can be null)

getDataPropertiesTo

java.util.Set<DataProperty> getDataPropertiesTo(Ontology ontology)
                                                throws KAON2Exception

Returns the set of all data properties where this data range is asserted as range in an DataPropertyRange axiom.

Parameters:

ontology - the ontology in which the search is perfromed

Returns:

the set of data properties for which this data range is a range

Throws:

KAON2Exception - thrown if there is an error