Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains

DOI10.3233/FI-2017-1612zbMATH Open1393.68161OpenAlexW2776581687MaRDI QIDQ4604558

Viorica Sofronie-Stokkermans

Publication date: 2 March 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2017-1612

zbMATH Keywords

interpolationBoolean algebrassemilatticesdescription logicsCBox subsumptionlocal presentationsPTIME decision proceduresuniform word problems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logical aspects of Boolean algebras (03G05) Semilattices (06A12) Interpolation, preservation, definability (03C40)

Related Items (2)

Locality and Applications to Subsumption Testing in EL and Some of its Extensions ⋮ On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$

This page was built for publication: Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4604558)