Expressiveness of concept expressions in first-order description logics

DOI10.1016/S0004-3702(98)00109-XMaRDI QIDQ1606296zbMATHOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3827831 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• scientific article; zbMATH DE number 3474957 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• scientific article; zbMATH DE number 1149440 (Why is no real title available?)
• scientific article; zbMATH DE number 1531967 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 957948 (Why is no real title available?)
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
• A note on graded modal logic
• Bisimulations for temporal logic
• Definability with bounded number of bound variables
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• On the relative expressiveness of description logics and predicate logics
• Relational queries computable in polynomial time
• Simulating without Negation
• The complexity of concept languages

Cited in

(10)

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

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)