Table 4 The constructors of the OWL 2 learn profile

1

Thing, Nothing

Top—\(\top\), Bottom—\(\perp\)

FL ⁻

AL (with atomic negation), ALC (with full negation)

S/(ALCR +)

2

Class

Atomic concept—A

3

ObjectIntersectionOf

Conjunction—⊓

4

ObjectAllValuesFrom

Universal restriction—∀

5

ObjectSomeValuesFrom

Limited/Full Existential restriction—∃

6

ObjectProperty

Atomic role—R

7

ClassAssertion, ObjectPropertyAssertion

Assertions C(a), R(b, c)

8

ObjectComplementOf

Negation—¬

9

TransitiveObjectProperty

Transitive role—Tr (R)

R+

10

SubObjectPropertyOf SubDataPropertyOf

Role hierarchy—H

H

11

InverseObjectProperties

Inverse role—I

I

12

Max/Min/Exact Cardinality

Qualified cardinality restrictions—Q

Q

13

DisjointClasses

Disjunction—⊔

U

14

DataProperty, DataPropertyAssertion, xsd:{integer, string, …}

Data {types, values} (D)

D

Expressivity of the OWL 2 Learn Profile

SHIQ(D)