Locality and Applications to Subsumption Testing in EL and Some of its Extensions (Q4621174)
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 Applications to Subsumption Testing in EL and Some of its Extensions |
scientific article; zbMATH DE number 7020171
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Locality and Applications to Subsumption Testing in EL and Some of its Extensions |
scientific article; zbMATH DE number 7020171 |
Statements
Locality and Applications to Subsumption Testing in EL and Some of its Extensions (English)
0 references
8 February 2019
0 references
description logics
0 references
deduction
0 references
hierarchical reasoning
0 references
0.8721704
0 references
0 references
0.85547245
0 references
0.8540337
0 references
0 references
0.84650636
0 references
0.8449436
0 references
