org.dllearner.core.owl
Class BooleanDatatypePropertyAssertion

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

All Implemented Interfaces:

KBElement

public class BooleanDatatypePropertyAssertion
extends DatatypePropertyAssertion

Author:

Jens Lehmann

Constructor Summary

BooleanDatatypePropertyAssertion(DatatypeProperty datatypeProperty, Individual individual, boolean value)

Method Summary

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

BooleanDatatypePropertyAssertion

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