Beth definability in expressive description logics
From MaRDI portal
Publication:2865008
DOI10.1613/JAIR.4057zbMATH Open1442.68223OpenAlexW195752099MaRDI QIDQ2865008FDOQ2865008
Authors: Balder ten Cate, Enrico Franconi, İnanç Seylan 
Publication date: 28 November 2013
Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.4057
Recommendations
- On the relative expressiveness of description logics and predicate logics
- Practical reasoning for very expressive description logics
- ON DEFINABILITY IN MULTIMODAL LOGIC
- Explicit definitions of implicitly definable objects in some modal logics
- Characterizing the expressive power for concept descriptions and terminological axioms boxes in the description logic \(\mathcal {ELU}\)
Cited In (12)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- \(\mathcal {BCDL}\): Basic constructive description logic
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
- The data complexity of ontology-mediated queries with closed predicates
- A note on constructive interpolation for the multi-modal logic \(K_m\)
- On enumerating query plans using analytic tableau
- Effective interpolation and preservation in guarded logics
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- Craig interpolation for decidable first-order fragments
- Progression of decomposed local-effect action theories
- 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}^+$$
- Proving Craig and Lyndon interpolation using labelled sequent calculi
This page was built for publication: Beth definability in expressive description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865008)
