org.dllearner.core.owl
Class ReflexiveObjectPropertyAxiom

java.lang.Object
  org.dllearner.core.owl.Axiom
      org.dllearner.core.owl.PropertyAxiom
          org.dllearner.core.owl.ReflexiveObjectPropertyAxiom

All Implemented Interfaces:

Serializable, KBElement

public class ReflexiveObjectPropertyAxiom
extends PropertyAxiom

See Also:

Serialized Form

Constructor Summary

ReflexiveObjectPropertyAxiom(ObjectPropertyExpression role)

Method Summary

void	accept(AxiomVisitor visitor)
void	accept(KBElementVisitor visitor)
int	getLength() Gets the length of this knowledge base element.
ObjectPropertyExpression	getRole()
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.Axiom

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ReflexiveObjectPropertyAxiom

public ReflexiveObjectPropertyAxiom(ObjectPropertyExpression role)

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.

getRole

public ObjectPropertyExpression getRole()

toString

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

toKBSyntaxString

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

accept

public void accept(AxiomVisitor visitor)

Specified by:

accept in class Axiom

accept

public void accept(KBElementVisitor visitor)

toManchesterSyntaxString

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