The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies |
scientific article |
Statements
The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (English)
0 references
2 July 2015
0 references
description logics
0 references
implementation and optimization techniques
0 references
saturation procedures
0 references
concurrency
0 references
0 references
0 references
0 references
