A non-monotonic description logic for reasoning about typicality
From MaRDI portal
(Redirected from Publication:360113)
Recommendations
- Reasoning about Typicality in Preferential Description Logics
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Preferential Description Logics
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Reasoning in description logics with typicalities and probabilities of exceptions
Cited in
(42)- Query answering in circumscribed OWL2 profiles
- A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
- Semantic characterization of rational closure: from propositional logic to description logics
- From KLM-style conditionals to defeasible modalities, and back
- Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
- Revision of ontologies to accommodate exceptions: a typicality-based approach
- Typicalities and probabilities of exceptions in nonmotonic description logics
- On rational entailment for propositional typicality logic
- A description logic of typicality for conceptual combination
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Enhancing context knowledge repositories with justifiable exceptions
- Preferential accessibility and preferred worlds
- PTL: a propositional typicality logic
- Reasoning on with Defeasibility in ASP
- Introducing role defeasibility in description logics
- Reasoning in description logics with typicalities and probabilities of exceptions
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
- ASP for minimal entailment in a rational extension of SROEL
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Data repair of inconsistent nonmonotonic description logic programs
- A reconstruction of multipreference closure
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Rational closure for all description logics
- Decidability of circumscribed description logics revisited
- System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
- Preferential Description Logics
- Reasoning about Typicality in Preferential Description Logics
- Defeasible RDFS via rational closure
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Logic of typical and atypical instances of a concept -- a mathematical model
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- Classical algorithms for reasoning and explanation in description logics
- scientific article; zbMATH DE number 4176492 (Why is no real title available?)
- scientific article; zbMATH DE number 3979044 (Why is no real title available?)
- Concept combination in weighted DL
- Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
- Reasoning about surprising scenarios in description logics of typicality
- Strong inconsistency
- A multi-engine theorem prover for a description logic of typicality
This page was built for publication: A non-monotonic description logic for reasoning about typicality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360113)
