org.dllearner.core.owl
Class DatatypeSomeRestriction

java.lang.Object
  org.dllearner.core.owl.Description
      org.dllearner.core.owl.Restriction
          org.dllearner.core.owl.QuantorRestriction
              org.dllearner.core.owl.DatatypeQuantorRestriction
                  org.dllearner.core.owl.DatatypeSomeRestriction

All Implemented Interfaces:

Serializable, Cloneable, KBElement, PropertyRange

public class DatatypeSomeRestriction
extends DatatypeQuantorRestriction

This class represents restrictions on datatypes, such as Man AND EXISTS hasAge >= 18. TODO: connect this with a data range and a datatype property

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

DatatypeSomeRestriction(DatatypeProperty datatypeProperty, DataRange dataRange)

Method Summary

void	accept(DescriptionVisitor visitor)
void	accept(KBElementVisitor visitor)
int	getArity()
DataRange	getDataRange()
int	getLength() Gets the length of this knowledge base element.
String	toKBSyntaxString(String baseURI, Map<String,String> prefixes)
String	toManchesterSyntaxString(String baseURI, Map<String,String> prefixes) Returns a manchester syntax string of this description.
String	toString(String baseURI, Map<String,String> prefixes)

Methods inherited from class org.dllearner.core.owl.Restriction

getRestrictedPropertyExpression

Methods inherited from class org.dllearner.core.owl.Description

addChild, addChild, clone, getChild, getChildren, getDepth, getNumberOfNodes, getParent, getSubtree, isRoot, removeChild, removeChild, replaceChild, setParent, toKBSyntaxString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

DatatypeSomeRestriction

public DatatypeSomeRestriction(DatatypeProperty datatypeProperty,
                               DataRange dataRange)

Parameters:

datatypeProperty -

Method Detail

getArity

public int getArity()

Specified by:

getArity in class Description

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.

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)

toKBSyntaxString

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

accept

public void accept(DescriptionVisitor visitor)

Specified by:

accept in class Description

accept

public void accept(KBElementVisitor visitor)

toManchesterSyntaxString

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

Description copied from class: Description

Returns a manchester syntax string of this description. For a reference, see here and here (PDF).

Specified by:

toManchesterSyntaxString in interface KBElement

Specified by:

toManchesterSyntaxString in class Description

Returns:

The manchester syntax string for this description.

getDataRange

public DataRange getDataRange()

Returns:

the dataRange