types

Value Members

1. implicit def OWLClass2ModelEntityAspectKindSemigroup: Semigroup[Map[OWLClass, AspectKind]]

   

2. implicit def OWLClass2ModelEntityAspectSemigroup: Semigroup[Map[OWLClass, Aspect]]

   

3. implicit def OWLClass2ModelEntityConceptKindSemigroup: Semigroup[Map[OWLClass, ConceptKind]]

   

4. implicit def OWLClass2ModelEntityConceptSemigroup: Semigroup[Map[OWLClass, Concept]]

   

5. implicit def OWLClass2ModelEntityDefinitionSemigroup: Semigroup[Map[OWLClass, Entity]]

   

6. implicit def OWLClass2ModelEntityReifiedRelationshipSemigroup: Semigroup[Map[OWLClass, ReifiedRelationship]]

   

7. implicit def OWLClass2ModelStructuredDataTypeSemigroup: Semigroup[Map[OWLClass, Structure]]

   

8. implicit def OWLDatatype2DataRangeSemigroup: Semigroup[Map[OWLDatatype, DataRange]]

   

9. def axiomScopeException(kind: AxiomExceptionKind, unaccessibleTerms: Map[AxiomScopeAccessKind, Resource]): Throwable

   

10. package bundleStatements

    

11. def duplicateModelTermAxiomException(kind: AxiomExceptionKind, axiom: Axiom): Throwable

    

12. def duplicateTerminologyGraphAxiomException(kind: AxiomExceptionKind, axiom: TerminologyAxiom): Throwable

    

13. val emptyNestingConceptAndGraphNES: NestingConceptAndGraphOptionNES

    

14. def entityAlreadyDefinedException(kind: ElementExceptionKind, iri: IRI, term: Term): Throwable

    

15. def entityConflictException(kind: ElementExceptionKind, iri: IRI, conflictingTerm: Term): Throwable

    

16. def entityScopeException(kind: ElementExceptionKind, iri: IRI, unaccessibleTerms: Map[RelationshipScopeAccessKind, Term]): Throwable

    

17. def getDataPropertyRestrictionsIfAny(ont: OWLOntology, entity: OWLClass): Set[(OWLDataProperty, OWLDataRestrictionKind)]

    

    Collects the data property restriction subclass axioms for a particular class in an ontology

    Collects the data property restriction subclass axioms for a particular class in an ontology

    returns

    A tuple of:

    • the data property involved in that restriction
    • the data type involved in the universal or existensial restriction or none for a particular restriction
    • the kind of restriction (existential or universal)

18. def getObjectPropertyRestrictionsIfAny(ont: OWLOntology, entity: OWLClass): Set[(OWLObjectProperty, Boolean, OWLClass, ObjectRestrictionKind)]

    

    Collects the object property restriction subclass axioms for a particular class in an ontology

    Collects the object property restriction subclass axioms for a particular class in an ontology

    returns

    A tuple of:

    • the object property involved in that restriction
    • true if the restriction is on the object property; false if it is on the inverse object property
    • the restricted range
    • the kind of restriction (existential or universal)

19. val rightUnitNES: UnitNES

    

20. package termAxioms

    

21. package terminologies

    

22. package terminologyAxioms

    

23. package terms