org.dllearner.core.owl
Class DatatypeQuantorRestriction

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

All Implemented Interfaces:

Serializable, Cloneable, KBElement, PropertyRange

Direct Known Subclasses:

DatatypeSomeRestriction

public abstract class DatatypeQuantorRestriction
extends QuantorRestriction

Represents datatype quantor restrictions. For instance, \exists salary < 100.000 can be used to specify those objects (persons) which have a salary of below 100.000.

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

DatatypeQuantorRestriction(DatatypeProperty datatypeProperty)
Creates a DatatypeQuantorRestriction along the given property.

Method Summary

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

getRestrictedPropertyExpression

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.dllearner.core.owl.KBElement

accept, getLength, toKBSyntaxString, toString

Constructor Detail

DatatypeQuantorRestriction

public DatatypeQuantorRestriction(DatatypeProperty datatypeProperty)

Creates a DatatypeQuantorRestriction along the given property.

Parameters:

datatypeProperty - The datatype property along which this restriction acts.