Practical reasoning for very expressive description logics
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1405450
- scientific article; zbMATH DE number 2090284
- Reasoning in expressive description logics
- scientific article; zbMATH DE number 1531967
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- Reasoning and query answering in description logics
- Description Logics
- A logical semantics for description logic programs
Cited in
(62)- Fuzzy description logics with general t-norms and datatypes
- EXPtime tableaux for ALC
- Tractable reasoning using logic programs with intensional concepts
- A loop-free decision procedure for modal propositional logics K4, S4 and S5
- Blocking and other enhancements for bottom-up model generation methods
- Rational closure for all description logics
- Computing the least common subsumer w.r.t. a background terminology
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
- A universal approach to guarantee data privacy
- Reasoning in description logics by a reduction to disjunctive datalog
- On the relative expressiveness of description logics and predicate logics
- scientific article; zbMATH DE number 1612535 (Why is no real title available?)
- Tractable approximate deduction for OWL
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
- Beth definability in expressive description logics
- Decidable description logics of context with rigid roles
- Reasoning in expressive description logics under infinitely valued Gödel semantics
- The two-variable fragment with counting and equivalence
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- Foundations of Onto-Relational Learning
- Inductive logic programming in databases: from Datalog to \(\mathcal {DL} + \text{LOG}^{\neg \vee}\)
- Ontology Integration Using ε-Connections
- Composing Modular Ontologies with Distributed Description Logics
- A Correspondence between Temporal Description Logics
- Second-order reasoning in description logics
- BDD-based decision procedures for the modal logic K ★
- scientific article; zbMATH DE number 67500 (Why is no real title available?)
- scientific article; zbMATH DE number 67503 (Why is no real title available?)
- scientific article; zbMATH DE number 1222434 (Why is no real title available?)
- A description logic with transitive and inverse roles and role hierarchies
- scientific article; zbMATH DE number 1735887 (Why is no real title available?)
- scientific article; zbMATH DE number 1149436 (Why is no real title available?)
- scientific article; zbMATH DE number 1980927 (Why is no real title available?)
- scientific article; zbMATH DE number 1507191 (Why is no real title available?)
- scientific article; zbMATH DE number 1761427 (Why is no real title available?)
- scientific article; zbMATH DE number 1765662 (Why is no real title available?)
- Reasoning and query answering in description logics
- Reasoning with uncertain and inconsistent OWL ontologies
- scientific article; zbMATH DE number 1405450 (Why is no real title available?)
- scientific article; zbMATH DE number 1400210 (Why is no real title available?)
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- Unification in the description logic \(\mathcal{EL}\) without the top concept
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Reasoning about Multiple Aspects in Rational Closure for DLs
- Rough Pragmatic Description Logic
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- A proof theory for description logics.
- Using tableau to decide description logics with full role negation and identity
- Towards World Identification in Description Logics
- OUP accepted manuscript
- Foundations of Information and Knowledge Systems
- An overview of tableau algorithms for description logics
- Semantic web
- Concrete domains meet expressive cardinality restrictions in description logics
- \({\mathcal E}\)-connections of abstract description systems
- On the undecidability of logics with converse, nominals, recursion and counting
- Semantic characterization of rational closure: from propositional logic to description logics
- Deciding expressive description logics in the framework of resolution
- Automata can show PSpace results for description logics
This page was built for publication: Practical reasoning for very expressive description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487262)
