Beth Definability in Expressive Description Logics

DOI10.1613/jair.4057zbMath1442.68223OpenAlexW195752099MaRDI QIDQ2865008

İnanç Seylan, Balder ten Cate, Enrico Franconi

Publication date: 28 November 2013

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.4057

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Interpolation, preservation, definability (03C40)

Related Items (8)

Effective Interpolation and Preservation in Guarded Logics ⋮ Progression of Decomposed Local-Effect Action Theories ⋮ A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ On Enumerating Query Plans Using Analytic Tableau ⋮ Unnamed Item ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi

This page was built for publication: Beth Definability in Expressive Description Logics