Reasoning with expressive description logics: Theory and practice
From MaRDI portal
Recommendations
Cited in
(40)- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- 15 years of consequence-based reasoning
- Web ontology representation and reasoning via fragments of set theory
- Tractable approximate deduction for OWL
- Reasoning in expressive description logics
- Two phase description logic reasoning for efficient information retrieval
- DAML+OIL: A reason-able web ontology language
- Reasoning support for Semantic Web ontology family languages using Alloy
- A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic
- The Description Logic Handbook
- Description Logics
- scientific article; zbMATH DE number 1315582 (Why is no real title available?)
- Extending datatype support in web ontology reasoning
- Extending datatype support in web ontology reasoning
- DAML+OIL: A reason-able web ontology language
- Practical reasoning for very expressive description logics
- scientific article; zbMATH DE number 1531967 (Why is no real title available?)
- Exploiting pseudo models for TBox and ABox reasoning in expressive description logics
- scientific article; zbMATH DE number 6902546 (Why is no real title available?)
- scientific article; zbMATH DE number 6902582 (Why is no real title available?)
- Towards a Rational Closure for Expressive Description Logics: the Case of ๐ฎ๐ฝ๐พ๐
- RACCOON: A Connection Reasoner for the Description Logic ALC
- Notions of indistinguishability for semantic web languages
- Querying the semantic web: A formal approach
- Engineering of logics for the content-based representation of information
- System description: E-KRhyper 1.4. Extensions for unique names and description logic
- Description logics in multimedia reasoning
- A Set-theoretic Approach to Reasoning Services for the Description Logic ๐ โ D 4,ร
- Logics in Artificial Intelligence
- Description Logic Reasoning in Prolog
- A methodology to migrate the gene ontology to a description logic environment using DAML+OIL
- Logic Programming
- Automated Reasoning with Analytic Tableaux and Related Methods
- scientific article; zbMATH DE number 2246078 (Why is no real title available?)
- Mechanizing Mathematical Reasoning
- OUP accepted manuscript
- Foundations of Information and Knowledge Systems
- Classical algorithms for reasoning and explanation in description logics
- Reasoning with ontologies
- \(\mathcal {BCDL}\): Basic constructive description logic
This page was built for publication: Reasoning with expressive description logics: Theory and practice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4809039)
