org.dllearner.core.owl
Class DisjointClassesAxiom

java.lang.Object
  org.dllearner.core.owl.Axiom
      org.dllearner.core.owl.TerminologicalAxiom
          org.dllearner.core.owl.DisjointClassesAxiom

All Implemented Interfaces:

Serializable, KBElement

public class DisjointClassesAxiom
extends TerminologicalAxiom

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

DisjointClassesAxiom(Set<Description> descriptions)

Method Summary

void	accept(AxiomVisitor visitor)
void	accept(KBElementVisitor visitor)
Set<Description>	getDescriptions()
int	getLength() Gets the length of this knowledge base element.
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

DisjointClassesAxiom

public DisjointClassesAxiom(Set<Description> descriptions)

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.

toString

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

toKBSyntaxString

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

accept

public void accept(AxiomVisitor visitor)

Specified by:

accept in class Axiom

accept

public void accept(KBElementVisitor visitor)

getDescriptions

public Set<Description> getDescriptions()

Returns:

the descriptions

toManchesterSyntaxString

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