de.fau.cs.www8.jadeowlcodec.tboxnormalisation
Class Sentence

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.tool.CanonicalizedImmutable
      de.fau.cs.www8.jadeowlcodec.tboxnormalisation.Sentence

All Implemented Interfaces:

Sized, java.lang.Comparable<CanonicalizedImmutable>

Direct Known Subclasses:

SentenceAboutConcepts, SentenceAboutRoles

public abstract class Sentence
extends CanonicalizedImmutable
implements Sized

Author:

Ulf Schreiber

Nested Class Summary

Nested classes/interfaces inherited from class de.fau.cs.www8.jadeowlcodec.tool.CanonicalizedImmutable

CanonicalizedImmutable.Identity

Constructor Summary

protected

Sentence(CanonicalizedImmutable.Identity id, AbsDescription leftSide, AbsDescription rightSide, boolean isEquivalent)

Method Summary

AbsDescription	getLeftSide()
AbsDescription	getRightSide()
int	getSize() no idea what to meaningfully count here, let's count quantor depth!
static SentenceAboutConcepts	instance(AbsClassDescription leftSide, AbsClassDescription rightSide, boolean isEquivalent)
static Sentence	instance(AbsDescription leftSide, AbsDescription rightSide, boolean isEquivalent)
static SentenceAboutRoles	instance(AbsRoleDescription leftSide, AbsRoleDescription rightSide, boolean isEquivalent)
abstract boolean	isAboutConcepts()
abstract boolean	isAboutRoles()
boolean	isEquivalent()
java.lang.String	toString()

Methods inherited from class de.fau.cs.www8.jadeowlcodec.tool.CanonicalizedImmutable

compareTo, equals, getCanonicalizedInstance, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Sentence

protected Sentence(CanonicalizedImmutable.Identity id,
                   AbsDescription leftSide,
                   AbsDescription rightSide,
                   boolean isEquivalent)

Method Detail

instance

public static Sentence instance(AbsDescription leftSide,
                                AbsDescription rightSide,
                                boolean isEquivalent)

instance

public static SentenceAboutConcepts instance(AbsClassDescription leftSide,
                                             AbsClassDescription rightSide,
                                             boolean isEquivalent)

instance

public static SentenceAboutRoles instance(AbsRoleDescription leftSide,
                                          AbsRoleDescription rightSide,
                                          boolean isEquivalent)

isEquivalent

public boolean isEquivalent()

getLeftSide

public AbsDescription getLeftSide()

getRightSide

public AbsDescription getRightSide()

isAboutConcepts

public abstract boolean isAboutConcepts()

isAboutRoles

public abstract boolean isAboutRoles()

getSize

public int getSize()

no idea what to meaningfully count here, let's count quantor depth!

Specified by:

getSize in interface Sized

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object