A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
From MaRDI portal
Publication:1632047
DOI10.1007/S11787-018-0211-XOpenAlexW2892897045WikidataQ129202122 ScholiaQ129202122MaRDI QIDQ1632047FDOQ1632047
Authors: Ivan Varzinczak 
Publication date: 12 December 2018
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-018-0211-x
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
Knowledge representation (68T30) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- The Description Logic Handbook
- Handbook of modal logic
- Title not available (Why is that?)
- Conditional logics of normality: A modal approach
- The complexity of circumscription in DLs
- Circumscription - a form of non-monotonic reasoning
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Rational Closure for Defeasible Description Logics
- A non-monotonic description logic for reasoning about typicality
- Description logics of minimal knowledge and negation as failure
- Title not available (Why is that?)
- Defeasible inheritance-based description logics
- Title not available (Why is that?)
- Defeasible inclusions in low-complexity DLs
- Semantic characterization of rational closure: from propositional logic to description logics
- An introduction to description logic
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
- Rationality and context in defeasible subsumption
- Preferential accessibility and preferred worlds
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Introducing role defeasibility in description logics
- PTL: a propositional typicality logic
- Min-based possibilisticDL-Lite
- Preferential Description Logics
- Reasoning about Typicality in Preferential Description Logics
- From KLM-style conditionals to defeasible modalities, and back
- A propositional typicality logic for extending rational consequence
Cited In (14)
- Revision of ontologies to accommodate exceptions: a typicality-based approach
- Defeasible inheritance-based description logics
- On rational entailment for propositional typicality logic
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Logic prizes \textit{et cætera}
- Nonmonotonic Description Logics – Requirements, Theory, and Implementations
- Title not available (Why is that?)
- 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
- A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
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)
