On the relative expressiveness of description logics and predicate logics
From MaRDI portal
Publication:2674209
Recommendations
Cites work
- scientific article; zbMATH DE number 3827831 (Why is no real title available?)
- scientific article; zbMATH DE number 3657754 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 834561 (Why is no real title available?)
- On languages with two variables
- Relational queries computable in polynomial time
- Upper and lower bounds for first order expressibility
Cited in
(32)- Comparison of Scoring and Order Approach in Description Logic $\mathcal{EL(D)}$
- Characterizing the expressive power for concept descriptions and terminological axioms boxes in the description logic \(\mathcal {ELU}\)
- Adding the power-set to description logics
- Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates
- Representing ontologies using description logics, description graphs, and rules
- Making fuzzy description logic more general
- scientific article; zbMATH DE number 1983242 (Why is no real title available?)
- Cheap Boolean Role Constructors for Description Logics
- Expressiveness of concept expressions in first-order description logics
- Information integration using logical views
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
- Languages for probabilistic modeling over structured and relational domains
- Reasoning with ontologies
- On keys and functional dependencies as first-class citizens in description logics
- Semantic forgetting in expressive description logics
- KI 2005: Advances in Artificial Intelligence
- The guarded fragment with transitive guards
- On finitely-valued fuzzy description logics
- Beth definability in expressive description logics
- Foundations of Onto-Relational Learning
- On the relationship between fuzzy description logics and many-valued modal logics
- scientific article; zbMATH DE number 1761427 (Why is no real title available?)
- scientific article; zbMATH DE number 1980927 (Why is no real title available?)
- An epistemic operator for description logics
- An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols
- Foundations of instance level updates in expressive description logics
- Open answer set programming for the semantic web
- DL-FOIL Concept Learning in Description Logics
- Goals and benchmarks for automated map reasoning
- Integrity constraints for XML
- Description logics vs. first order logic as KBMS interaction languages
- On bisimulations for description logics
This page was built for publication: On the relative expressiveness of description logics and predicate logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2674209)
