Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ 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 ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains |
scientific article; zbMATH DE number 6846483
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ 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
