org.dllearner.core.owl
Class ObjectPropertyAssertion

java.lang.Object
  org.dllearner.core.owl.Axiom
      org.dllearner.core.owl.AssertionalAxiom
          org.dllearner.core.owl.PropertyAssertion
              org.dllearner.core.owl.ObjectPropertyAssertion

All Implemented Interfaces:

Serializable, KBElement

public class ObjectPropertyAssertion
extends PropertyAssertion

Represents an role assertion in a knowledge base / ontology, e.g. "heiko is brother of stefan".

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

ObjectPropertyAssertion(ObjectProperty role, Individual individual1, Individual individual2)

Method Summary

void	accept(AxiomVisitor visitor)
void	accept(KBElementVisitor visitor)
Individual	getIndividual1()
Individual	getIndividual2()
int	getLength() Gets the length of this knowledge base element.
ObjectProperty	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

ObjectPropertyAssertion

public ObjectPropertyAssertion(ObjectProperty role,
                               Individual individual1,
                               Individual individual2)

Method Detail

getIndividual1

public Individual getIndividual1()

getIndividual2

public Individual getIndividual2()

getRole

public ObjectProperty getRole()

accept

public void accept(AxiomVisitor visitor)

Specified by:

accept in class Axiom

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)