Contextual rational closure for defeasible ALC
From MaRDI portal
Publication:2278101
Recommendations
- Rational Closure for Defeasible Description Logics
- Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
- Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
- On computable aspects of algebraic and definable closure
- scientific article; zbMATH DE number 6287647
- Algebraic closure in continuous logic
- \({\mathcal KALC}\): a constructive semantics for \({\mathcal ALC}\)
- Algebraically closed structures in positive logic
- Reasoning on with Defeasibility in ASP
- Decidable subsets of open logic and an algorithm for R-calculus
Cites work
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- A KLM perspective on defeasible reasoning for description logics
- A Minimal Model Semantics for Nonmonotonic Reasoning
- A non-monotonic description logic for reasoning about typicality
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- A propositional typicality logic for extending rational consequence
- Another perspective on default reasoning
- Conditional logics of normality: A modal approach
- Defeasible inclusions in low-complexity DLs
- Defeasible inheritance-based description logics
- Description logics of context
- Enhancing context knowledge repositories with justifiable exceptions
- From KLM-style conditionals to defeasible modalities, and back
- Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
- Introducing role defeasibility in description logics
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Preferential accessibility and preferred worlds
- Preferential Description Logics
- Preferential reasoning for modal logics
- Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
- PTL: a propositional typicality logic
- Rational Closure for Defeasible Description Logics
- Rationality and context in defeasible subsumption
- Reasoning about Typicality in Preferential Description Logics
- Semantic characterization of rational closure: from propositional logic to description logics
- The complexity of circumscription in DLs
- The Description Logic Handbook
- What does a conditional knowledge base entail?
Cited in
(14)- Rationality and context in defeasible subsumption
- A reconstruction of multipreference closure
- Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
- Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
- A KLM perspective on defeasible reasoning for description logics
- Taking defeasible entailment beyond rational closure
- Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
- Introducing role defeasibility in description logics
- Defeasible inheritance-based description logics
- Relevant closure: a new form of defeasible reasoning for description logics
- scientific article; zbMATH DE number 1947734 (Why is no real title available?)
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
- Defeasible description logic reasoning based on abstract syntax graph
- Situated conditional reasoning
This page was built for publication: Contextual rational closure for defeasible \(\mathcal{ALC} \)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2278101)
