Interface: Owl2Profile
@kortexya/reasoninglayer / Owl2Profile
Interface: Owl2Profile
Section titled “Interface: Owl2Profile”Defined in: src/types/ontology.ts:172
OWL 2 profile membership of the tenant’s axiom set.
Properties
Section titled “Properties”allInEl
Section titled “allInEl”allInEl:
boolean
Defined in: src/types/ontology.ts:180
Every axiom passes the EL classifier.
allInQl
Section titled “allInQl”allInQl:
boolean
Defined in: src/types/ontology.ts:182
Every axiom passes the QL classifier.
allInRl
Section titled “allInRl”allInRl:
boolean
Defined in: src/types/ontology.ts:184
Every axiom passes the RL classifier.
profile
Section titled “profile”profile:
string
Defined in: src/types/ontology.ts:178
Most specific profile the axioms fit: EL, QL, RL, a +-joined
combination (e.g. EL+QL+RL), or SROIQ when none of the tractable three
accept them.