org.dllearner.core.owl
Class DoubleDatatypePropertyAssertion

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

All Implemented Interfaces:

Serializable, KBElement

public class DoubleDatatypePropertyAssertion
extends DatatypePropertyAssertion

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

DoubleDatatypePropertyAssertion(DatatypeProperty datatypeProperty, Individual individual, double value)

Method Summary

void	accept(AxiomVisitor visitor)
void	accept(KBElementVisitor visitor)
double	getValue()
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.DatatypePropertyAssertion

getDatatypeProperty, getIndividual, getLength

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

DoubleDatatypePropertyAssertion

public DoubleDatatypePropertyAssertion(DatatypeProperty datatypeProperty,
                                       Individual individual,
                                       double value)

Method Detail

toString

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

toKBSyntaxString

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

getValue

public double getValue()

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)