Locality and subsumption testing in \({\mathcal{EL}}\) and some of its extensions (Q3085175)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Locality and subsumption testing in EL and some of its extensions |
scientific article; zbMATH DE number 5872418
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Locality and subsumption testing in \({\mathcal{EL}}\) and some of its extensions |
scientific article; zbMATH DE number 5872418 |
Statements
30 March 2011
0 references
description logics
0 references
deduction
0 references
hierarchical reasoning
0 references
0.9779593348503112
0 references
0.9180651307106018
0 references
0.8888629674911499
0 references
0.7856478095054626
0 references
