org.dllearner.core.owl
Class ObjectAllRestriction

java.lang.Object
  org.dllearner.core.owl.Description
      org.dllearner.core.owl.Restriction
          org.dllearner.core.owl.QuantorRestriction
              org.dllearner.core.owl.ObjectQuantorRestriction
                  org.dllearner.core.owl.ObjectAllRestriction

All Implemented Interfaces:

Serializable, Cloneable, KBElement, PropertyRange

public class ObjectAllRestriction
extends ObjectQuantorRestriction

All quantified restriction on objects, e.g. \forall hasChild.description stands for all objects having only children satisfying description.

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

ObjectAllRestriction(ObjectPropertyExpression role, Description c)

Method Summary

void	accept(DescriptionVisitor visitor)
void	accept(KBElementVisitor visitor)
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.ObjectQuantorRestriction

getArity, getLength, getRole

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

ObjectAllRestriction

public ObjectAllRestriction(ObjectPropertyExpression role,
                            Description c)

Method Detail

toString

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

toKBSyntaxString

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

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.

accept

public void accept(DescriptionVisitor visitor)

Specified by:

accept in class Description

accept

public void accept(KBElementVisitor visitor)