org.dllearner.core.owl
Class DatatypePropertyAssertion

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

All Implemented Interfaces:

Serializable, KBElement

Direct Known Subclasses:

BooleanDatatypePropertyAssertion, DoubleDatatypePropertyAssertion, StringDatatypePropertyAssertion

public abstract class DatatypePropertyAssertion
extends PropertyAssertion

A datatype property assertion.

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

DatatypePropertyAssertion(DatatypeProperty datatypeProperty, Individual individual)

Method Summary

DatatypeProperty	getDatatypeProperty()
Individual	getIndividual()
int	getLength() Gets the length of this knowledge base element.

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

accept, 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, toKBSyntaxString, toManchesterSyntaxString, toString

Constructor Detail

DatatypePropertyAssertion

public DatatypePropertyAssertion(DatatypeProperty datatypeProperty,
                                 Individual individual)

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.

getIndividual

public Individual getIndividual()

Returns:

the individual

getDatatypeProperty

public DatatypeProperty getDatatypeProperty()

Returns:

the datatypeProperty