A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
From MaRDI portal
(Redirected from Publication:1632047)
Recommendations
- Introducing role defeasibility in description logics
- A KLM perspective on defeasible reasoning for description logics
- A description logic of typicality for conceptual combination
- Reasoning about Typicality in Preferential Description Logics
- A description logic with concrete domains and a role-forming predicate operator
- Reasoning in description logics with typicalities and probabilities of exceptions
- A non-monotonic description logic for reasoning about typicality
Cites work
- scientific article; zbMATH DE number 6003856 (Why is no real title available?)
- scientific article; zbMATH DE number 67503 (Why is no real title available?)
- scientific article; zbMATH DE number 1947734 (Why is no real title available?)
- A non-monotonic description logic for reasoning about typicality
- A propositional typicality logic for extending rational consequence
- An introduction to description logic
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
- Circumscription - a form of non-monotonic reasoning
- Conditional logics of normality: A modal approach
- Defeasible inclusions in low-complexity DLs
- Defeasible inheritance-based description logics
- Description logics of minimal knowledge and negation as failure
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
- From KLM-style conditionals to defeasible modalities, and back
- Handbook of modal logic
- Introducing role defeasibility in description logics
- Min-based possibilisticDL-Lite
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- PTL: a propositional typicality logic
- Preferential Description Logics
- Preferential accessibility and preferred worlds
- 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 Description Logic Handbook
- The complexity of circumscription in DLs
- What does a conditional knowledge base entail?
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
Cited in
(14)- A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
- Revision of ontologies to accommodate exceptions: a typicality-based approach
- Defeasible inheritance-based description logics
- On rational entailment for propositional typicality logic
- Logic prizes \textit{et cætera}
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Nonmonotonic Description Logics – Requirements, Theory, and Implementations
- scientific article; zbMATH DE number 1947734 (Why is no real title available?)
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Semantic matchmaking with nonmonotonic description logics.
- Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
- Concept combination in weighted DL
- Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
This page was built for publication: A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1632047)
