gov
.
nasa
.
jpl
.
omf
.
scala
.
binding
.
owlapi
.
types
bundleStatements
package
bundleStatements
Content Hierarchy
SpecificDisjointConceptAxiom
RootConceptTaxonomyAxiom
DisjointUnionOfConceptsAxiom
AnonymousConceptTaxonomyAxiom
ConceptTreeDisjunction
Visibility
Public
All
Type Members
case class
AnonymousConceptTaxonomyAxiom
(
uuid:
AnonymousConceptUnionAxiomUUID
,
name:
LocalName
,
terminologyBundle:
Bundle
,
disjointTaxonomyParent:
ConceptTreeDisjunction
)
extends
ConceptTreeDisjunction
with
DisjointUnionOfConceptsAxiom
with
Product
with
Serializable
trait
ConceptTreeDisjunction
extends
LogicalElement
trait
DisjointUnionOfConceptsAxiom
extends
TerminologyBundleStatement
case class
RootConceptTaxonomyAxiom
(
uuid:
RootConceptTaxonomyAxiomUUID
,
terminologyBundle:
Bundle
,
root:
Concept
)
extends
TerminologyBundleStatement
with
ConceptTreeDisjunction
with
Product
with
Serializable
case class
SpecificDisjointConceptAxiom
(
uuid:
SpecificDisjointConceptAxiomUUID
,
terminologyBundle:
Bundle
,
disjointTaxonomyParent:
ConceptTreeDisjunction
,
disjointLeaf:
Concept
)
extends
DisjointUnionOfConceptsAxiom
with
Product
with
Serializable
Ungrouped