org.dllearner.core.owl
Class StringDatatypePropertyAssertion

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.StringDatatypePropertyAssertion

All Implemented Interfaces:

Serializable, KBElement

public class StringDatatypePropertyAssertion
extends DatatypePropertyAssertion

Author:

Florian Agsten

See Also:

Serialized Form

Constructor Summary

StringDatatypePropertyAssertion(DatatypeProperty datatypeProperty, Individual individual, String value)

Method Summary

void	accept(AxiomVisitor visitor)
void	accept(KBElementVisitor visitor)
String	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

StringDatatypePropertyAssertion

public StringDatatypePropertyAssertion(DatatypeProperty datatypeProperty,
                                       Individual individual,
                                       String 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 String 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)