Expressiveness of concept expressions in first-order description logics

DOI10.1016/S0004-3702(98)00109-XzbMATH Open0993.03042OpenAlexW2138073201MaRDI QIDQ1606296FDOQ1606296

Authors: 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

Recommendations

• Characterizing the expressive power for concept descriptions and terminological axioms boxes in the description logic \(\mathcal {ELU}\)
• On the relative expressiveness of description logics and predicate logics
• On the expressive power of description logics with cardinality constraints on finite and infinite sets
• Description logics in knowledge representation
• scientific article

zbMATH Keywords

preservationexpressive powerfragments of first-order logicfirst-order description logics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• A simple logic of concepts
• Description Logics
• On keys and functional dependencies as first-class citizens in description logics
• Deciding the guarded fragments by resolution
• Bisimilarity for paraconsistent description logics
• Characterization, definability and separation via saturated models
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
• Characterizing the expressive power for concept descriptions and terminological axioms boxes in the description logic \(\mathcal {ELU}\)
• On bisimulations for description logics

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

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