Representation theorems and locality for subsumption testing and interpolation in the description logics \(\mathcal{EL}\), \(\mathcal{EL}^+\) and their extensions with \(n\)-ary roles and numerical domains (Q4604558)
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: Representation theorems and locality for subsumption testing and interpolation in the description logics EL, EL^+ and their extensions with n-ary roles and numerical domains |
scientific article; zbMATH DE number 6846483
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Representation theorems and locality for subsumption testing and interpolation in the description logics \(\mathcal{EL}\), \(\mathcal{EL}^+\) and their extensions with \(n\)-ary roles and numerical domains |
scientific article; zbMATH DE number 6846483 |
Statements
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains (English)
0 references
2 March 2018
0 references
description logics
0 references
semilattices
0 references
Boolean algebras
0 references
uniform word problems
0 references
local presentations
0 references
CBox subsumption
0 references
PTIME decision procedures
0 references
interpolation
0 references
0.8888629674911499
0 references
0.8844878077507019
0 references
0.7747009992599487
0 references
0.7612863779067993
0 references
0.7605552673339844
0 references
