org.dllearner.core.owl
Class DoubleMaxValue

java.lang.Object
  org.dllearner.core.owl.DoubleMaxValue

All Implemented Interfaces:

DataRange, DoubleDataRange, KBElement, PropertyRange, SimpleDoubleDataRange

public class DoubleMaxValue
extends Object
implements SimpleDoubleDataRange

Double data range restricted by a maximum value, e.g. hasAge <= 65.

Author:

Jens Lehmann

Constructor Summary

DoubleMaxValue(double value)

Method Summary

void	accept(KBElementVisitor visitor)
int	getLength() Gets the length of this knowledge base element.
double	getValue()
String	toKBSyntaxString(String baseURI, Map<String,String> prefixes)
String	toManchesterSyntaxString(String baseURI, Map<String,String> prefixes)
String	toString(String baseURI, Map<String,String> prefixes)

Methods inherited from class java.lang.Object

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

Constructor Detail

DoubleMaxValue

public DoubleMaxValue(double value)

Method Detail

getValue

public double getValue()

Specified by:

getValue in interface SimpleDoubleDataRange

Returns:

The maximum value.

getLength

public int getLength()

Description copied from interface: KBElement

Gets the length of this knowledge base element. For instance, A AND B should have length 3 (as three constructs are involved). There are different ways to define the length of an axiom, class description etc., but this method provides a straightforward definition of it.

Specified by:

getLength in interface KBElement

Returns:

The syntactic length of the KB element, defined as the number of syntactic constructs not including brackets.

toString

public String toString(String baseURI,
                       Map<String,String> prefixes)

Specified by:

toString in interface KBElement

toKBSyntaxString

public String toKBSyntaxString(String baseURI,
                               Map<String,String> prefixes)

Specified by:

toKBSyntaxString in interface KBElement

accept

public void accept(KBElementVisitor visitor)

Specified by:

accept in interface KBElement

toManchesterSyntaxString

public String toManchesterSyntaxString(String baseURI,
                                       Map<String,String> prefixes)

Specified by:

toManchesterSyntaxString in interface KBElement