org.dllearner.core.owl
Class ObjectPropertyInverse

java.lang.Object
  org.dllearner.core.owl.ObjectPropertyExpression
      org.dllearner.core.owl.ObjectPropertyInverse

All Implemented Interfaces:

Serializable, KBElement, PropertyExpression

public class ObjectPropertyInverse
extends ObjectPropertyExpression

Represents the inverse of a property expression. It can be used in axioms e.g. complex class descriptions. For instance: father = male AND isChildOf^-1 This way, you can refer to an inverse of an object property without actually giving it a name (you could name it isParentOf in this case).

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

ObjectPropertyInverse(String name)

Method Summary

void	accept(KBElementVisitor visitor)
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)
String	toString(String baseURI, Map<String,String> prefixes)

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

getName

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectPropertyInverse

public ObjectPropertyInverse(String name)

Method Detail

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(KBElementVisitor visitor)

toManchesterSyntaxString

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