Research map / Learning theory and algorithms / Combinatorial and search optimization
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Decide interpolant existence without relying on the Craig interpolation property | DLnr · DLnr interpolant existence | complexity | Mixed |
| Ask for a projective explicit definition without relying on the projective Beth property | DLnr · DLnr projective definition existence | complexity | Mixed |
| Restrict the defined concept to a concept name and the signature to all other ontology symbols | DLnr definition existence · DLnr non-projective concept-name definition existence | complexity: 2EXPTIME-complete -> EXPTIME-complete | Helped |
| Require an explicit definition of a nominal using symbols other than that nominal | DLnr with nominals · Non-projective referring-expression existence | complexity | No clear effect |
| Add inverse roles and/or the universal role to ALCO or ALCHO | Beth definability in the considered description logics · Non-projective concept-name definition | Beth definability property | Helped |
Closest papers by meaning
- Number Restrictions on Transitive Roles in Description Logics with Nominals (AAAI 2017 · similarity 0.87)
- Stable Model Semantics for Description Logic Terminologies (AAAI 2024 · similarity 0.86)
- Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases (AAAI 2025 · similarity 0.83)
- Spectra of Cardinality Queries over Description Logic Knowledge Bases (AAAI 2025 · similarity 0.83)
- Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation (AAAI 2024 · similarity 0.83)
- Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) (AAAI 2024 · similarity 0.82)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.