Reasoning in expressive description logics
From MaRDI portal
Recommendations
Cited in
(19)- On reasoning expressions and the nature of deduction rules
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- ExpTime tableaux with global caching for hybrid PDL
- Rational closure for all description logics
- Path constraints in semistructured data
- Reasoning on UML class diagrams
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Querying the unary negation fragment with regular path expressions
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- Ontologies and Databases: The DL-Lite Approach
- Practical reasoning for very expressive description logics
- scientific article; zbMATH DE number 6902546 (Why is no real title available?)
- An efficient decision procedure for imperative tree data structures
- Reasoning about Multiple Aspects in Rational Closure for DLs
- Rough Pragmatic Description Logic
- DESCRIPTION LOGICS OVER LATTICES
- Logic Programming
- Structural properties of XPath fragments
- Foundations of Information and Knowledge Systems
This page was built for publication: Reasoning in expressive description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751375)
