ImmutableTerminologyBox

abstract val backbone: OMFBackbone

abstract val isBundle: Boolean

abstract val isGraph: Boolean

abstract val isImmutable: Boolean

abstract val isMutable: Boolean

abstract val kindIRI: IRI

abstract val mutabilityKind: String

abstract val ont: OWLOntology

implicit abstract val ops: OWLAPIOMFOps

abstract val sig: ImmutableTerminologyBoxSignature[OWLAPIOMF]

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

lazy val abbrevIRI: AbbrevIRI

final def annotationProperties(): Set[AnnotationProperty]

final def annotations(): Set[AnnotationPropertyValue]

final def asInstanceOf[T0]: T0

def builtInVocabulary()(implicit store: OWLAPIOMFGraphStore): Boolean

def canEqual(other: Any): Boolean

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def getDataRelationshipsFromEntityToScalar: Seq[EntityScalarDataProperty]

val getEntityDefinitionMap: Map[OWLClass, Entity]

def getNestingAxiomIfAny: Option[TerminologyNestingAxiom]

val getRestrictableRelationshipMap: Map[OWLObjectProperty, RestrictableRelationship]

val getScalarDatatypeDefinitionMap: Map[OWLDatatype, DataRange]

def getTermAxioms: (IRI, Iterable[Axiom])

def getTermLocalNameAnnotationAssertionAxiom(term: Term): Option[OWLAnnotationAssertionAxiom]

def getTerminologyGraphLocalName: LocalName

def getTerminologyGraphShortNameAnnotation: Option[OWLAnnotation]

def getTypeTerms: (IRI, Iterable[Term])

def hashCode(): Int

def importClosure()(implicit store: OWLAPIOMFGraphStore): Set[TerminologyBox]

val iri: IRI

val iri2typeTerm: Map[IRI, Term with Product with Serializable { ... /* 2 definitions in type refinement */ }]

val isAbstractAP: OWLAnnotationProperty

val isDerivedAP: OWLAnnotationProperty

final def isInstanceOf[T0]: Boolean

def isRestrictableRelationshipDefined(rr: RestrictableRelationship): Boolean

def isRestrictableRelationshipDefinedRecursively(rr: RestrictableRelationship)(implicit store: OWLAPIOMFGraphStore): Boolean

def isTypeTermDefined(t: Term): Boolean

def isTypeTermDefinedRecursively(t: Term)(implicit store: OWLAPIOMFGraphStore): Boolean

def lookupReifiedRelationship(ip: InverseProperty): Option[ReifiedRelationship]

def lookupReifiedRelationship(fp: ForwardProperty): Option[ReifiedRelationship]

def lookupTerm(iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Term]

def lookupTerm(iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Term]

def lookupTypeTermRecursively(iri: Option[IRI])(implicit store: OWLAPIOMFGraphStore): Option[Term]

def lookupTypeTermRecursively(iri: IRI)(implicit store: OWLAPIOMFGraphStore): Option[Term]

def makeKindIRI(kind: String): IRI

val name: LocalName

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val nsPrefix: NamespacePrefix

val ontManager: OWLOntologyManager

val owlDataFactory: OWLDataFactory

def owlVocabularyNotToBeSerialized()(implicit store: OWLAPIOMFGraphStore): Boolean

If true, this means that this Module is a representation of a vocabulary that should not be serialized to OWL.

val rdfs_labelAP: OWLAnnotationProperty

val reifiedRelation2forwardProperty: Map[ReifiedRelationship, ForwardProperty]

val reifiedRelation2inverseProperty: Map[ReifiedRelationship, InverseProperty]

def save(os: OutputStream): \/[Set[Throwable], Unit]

def save(saveIRI: IRI): \/[Set[Throwable], Unit]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

val uuid: TerminologyBoxUUID

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit