Preferential Description Logics
From MaRDI portal
Recommendations
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Reasoning about Typicality in Preferential Description Logics
- A non-monotonic description logic for reasoning about typicality
- Reasoning in description logics with typicalities and probabilities of exceptions
- Typicalities and probabilities of exceptions in nonmotonic description logics
Cited in
(36)- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Preferential accessibility and preferred worlds
- A reconstruction of multipreference closure
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- On the KLM properties of a fuzzy DL with typicality
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- On rational entailment for propositional typicality logic
- Rational closure for all description logics
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Reasoning in description logics with typicalities and probabilities of exceptions
- Introducing role defeasibility in description logics
- A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Computing Utility from Weighted Description Logic Preference Formulas
- Reasoning about Typicality in Preferential Description Logics
- A non-monotonic description logic for reasoning about typicality
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
- Roadmap for preferential logics
- ASP for minimal entailment in a rational extension of SROEL
- Preference logic grammars
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Decidability of circumscribed description logics revisited
- Reasoning about surprising scenarios in description logics of typicality
- A multi-engine theorem prover for a description logic of typicality
- Reasoning About Prescription and Description Using Prioritized Default Rules
- From KLM-style conditionals to defeasible modalities, and back
- On the decidability of a fragment of preferential LTL
- Defeasible linear temporal logic
- Concept combination in weighted DL
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach
- A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation
- On the disjunctive rational closure of a conditional knowledge base
- Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
This page was built for publication: Preferential Description Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498470)
