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

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.tool.CanonicalizedImmutable
      de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsDescription
          de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsClassDescription
              de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsRoleRestriction
                  de.fau.cs.www8.jadeowlcodec.tboxnormalisation.OnlyRoleConcept

All Implemented Interfaces:

java.lang.Comparable<CanonicalizedImmutable>

public final class OnlyRoleConcept
extends AbsRoleRestriction

Nested Class Summary

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

CanonicalizedImmutable.Identity

Field Summary

Fields inherited from class de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsRoleRestriction

LATEXSPACEBEFORE, onRole

Fields inherited from class de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsClassDescription

BOTTOM, debugflag, TOP

Constructor Summary

protected

OnlyRoleConcept(CanonicalizedImmutable.Identity id, AbsRoleDescription onRole, AbsClassDescription existsClass)

Method Summary

static OnlyRoleConcept

instance(AbsRoleDescription onRole, AbsClassDescription existsClass)

Methods inherited from class de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsRoleRestriction

getAllDeeperDescriptionsRecursive

Methods inherited from class de.fau.cs.www8.jadeowlcodec.tboxnormalisation.AbsClassDescription

countDeeperOccurrences

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, toString, wait, wait, wait

Constructor Detail

OnlyRoleConcept

protected OnlyRoleConcept(CanonicalizedImmutable.Identity id,
                          AbsRoleDescription onRole,
                          AbsClassDescription existsClass)

Method Detail

instance

public static OnlyRoleConcept instance(AbsRoleDescription onRole,
                                       AbsClassDescription existsClass)