On the relative expressiveness of description logics and predicate logics

DOI10.1016/0004-3702(96)00004-5zbMATH Open1506.68132OpenAlexW1998044200MaRDI QIDQ2674209FDOQ2674209

A. Borgida

Publication date: 22 September 2022

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

Full work available at URL: https://doi.org/10.1016/0004-3702(96)00004-5

Recommendations

• Expressive number restrictions in description logics
• scientific article; zbMATH DE number 1980927
• scientific article; zbMATH DE number 1531967
• Expressiveness of concept expressions in first-order description logics
• Practical reasoning for very expressive description logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• On languages with two variables
• Relational queries computable in polynomial time
• Title not available (Why is that?)
• Upper and lower bounds for first order expressibility
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (28)

• 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
• Title not available (Why is that?)
• Cheap Boolean Role Constructors for Description Logics
• Expressiveness of concept expressions in first-order description logics
• Title not available (Why is that?)
• 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
• KI 2005: Advances in Artificial Intelligence
• Semantic forgetting in expressive description logics
• The guarded fragment with transitive guards
• On finitely-valued fuzzy description logics
• Foundations of Onto-Relational Learning
• Title not available (Why is that?)
• On the relationship between fuzzy description logics and many-valued modal logics
• Title not available (Why is that?)
• An epistemic operator for description logics
• Foundations of instance level updates in expressive description logics
• DL-FOIL Concept Learning in Description Logics
• Open answer set programming for the semantic web
• Goals and benchmarks for automated map reasoning
• Integrity constraints for XML
• Comparison of Scoring and Order Approach in Description Logic $\mathcal{EL(D)}$
• 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)