termAxioms

Type Members

1. case class AspectSpecializationAxiom(uuid: AspectSpecializationAxiomUUID, sub: Entity, sup: AspectKind) extends SpecializationAxiom with Product with Serializable

   

2. case class ConceptSpecializationAxiom(uuid: ConceptSpecializationAxiomUUID, sub: ConceptKind, sup: ConceptKind) extends SpecializationAxiom with Product with Serializable

   

3. case class EntityExistentialRestrictionAxiom(uuid: EntityExistentialRestrictionAxiomUUID, restrictedDomain: Entity, restrictedRelationship: RestrictableRelationship, restrictedRange: Entity) extends EntityRestrictionAxiom with Product with Serializable

   

4. trait EntityRestrictionAxiom extends TermAxiom

   

5. case class EntityScalarDataPropertyExistentialRestrictionAxiom(uuid: EntityScalarDataPropertyExistentialRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, scalarRestriction: DataRange) extends EntityScalarDataPropertyRestrictionAxiom with Product with Serializable

   

6. case class EntityScalarDataPropertyParticularRestrictionAxiom(uuid: EntityScalarDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, literalValue: LiteralValue, valueType: Option[DataRange]) extends EntityScalarDataPropertyRestrictionAxiom with Product with Serializable

   

7. trait EntityScalarDataPropertyRestrictionAxiom extends TermAxiom

   

8. case class EntityScalarDataPropertyUniversalRestrictionAxiom(uuid: EntityScalarDataPropertyUniversalRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, scalarRestriction: DataRange) extends EntityScalarDataPropertyRestrictionAxiom with Product with Serializable

   

9. case class EntityStructuredDataPropertyParticularRestrictionAxiom(uuid: EntityStructuredDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: Entity, structuredDataProperty: EntityStructuredDataProperty, e: OWLNamedIndividual) extends EntityStructuredDataPropertyRestrictionAxiom with RestrictionStructuredDataPropertyContext with Product with Serializable

   

10. trait EntityStructuredDataPropertyRestrictionAxiom extends TermAxiom

    

11. case class EntityUniversalRestrictionAxiom(uuid: EntityUniversalRestrictionAxiomUUID, restrictedDomain: Entity, restrictedRelationship: RestrictableRelationship, restrictedRange: Entity) extends EntityRestrictionAxiom with Product with Serializable

    

12. case class ReifiedRelationshipSpecializationAxiom(uuid: ReifiedRelationshipSpecializationAxiomUUID, sub: ConceptualRelationship, sup: ConceptualRelationship) extends SpecializationAxiom with Product with Serializable

    

13. case class ScalarOneOfLiteralAxiom(uuid: ScalarOneOfLiteralAxiomUUID, axiom: ScalarOneOfRestriction, value: LiteralValue, valueType: Option[DataRange]) extends TermAxiom with Product with Serializable

    

14. trait SpecializationAxiom extends TermAxiom

    

15. case class SubDataPropertyOfAxiom(uuid: SubDataPropertyOfAxiomUUID, sub: EntityScalarDataProperty, sup: EntityScalarDataProperty) extends TermAxiom with Product with Serializable

    

16. case class SubObjectPropertyOfAxiom(uuid: SubObjectPropertyOfAxiomUUID, sub: UnreifiedRelationship, sup: UnreifiedRelationship) extends TermAxiom with Product with Serializable

    

17. trait TermAxiom extends Axiom