Expressiveness of concept expressions in first-order description logics

DOI10.1016/S0004-3702(98)00109-XzbMath0993.03042OpenAlexW2138073201MaRDI QIDQ1606296

Natasha Kurtonina, Maarten de Rijke

Publication date: 24 July 2002

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00109-x

zbMATH Keywords

preservationexpressive powerfragments of first-order logicfirst-order description logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (7)

Bisimilarity for paraconsistent description logics ⋮ A simple logic of concepts ⋮ Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics ⋮ Characterization, definability and separation via saturated models ⋮ On bisimulations for description logics ⋮ Description Logics ⋮ Deciding the guarded fragments by resolution

Cites Work

• Definability with bounded number of bound variables
• The complexity of concept languages
• Bisimulations for temporal logic
• A note on graded modal logic
• On the relative expressiveness of description logics and predicate logics
• Relational queries computable in polynomial time
• Simulating without Negation
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Expressiveness of concept expressions in first-order description logics