6.2.2. Description logic Notes | Knowledge Engineering BCA-OLD | TU | TABFlux