Semantic characterization of rational closure: from propositional logic to description logics
From MaRDI portal
Publication:898736
DOI10.1016/J.ARTINT.2015.05.001zbMATH Open1346.68186OpenAlexW229642387WikidataQ58207591 ScholiaQ58207591MaRDI QIDQ898736FDOQ898736
Authors: Laura Giordano, N. Olivetti, V. Gliozzi, G. L. Pozzato 
Publication date: 18 December 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2015.05.001
Recommendations
- Rational closure for all description logics
- Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
- Rational Closure for Defeasible Description Logics
- Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
- Relevant closure: a new form of defeasible reasoning for description logics
Other nonclassical logic (03B60) Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in artificial intelligence (68T27)
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- Counterfactuals.
- What does a conditional knowledge base entail?
- Plausibility measures and default reasoning
- Practical reasoning for very expressive description logics
- Reconciling description logics and rules
- Conditional logics of normality: A modal approach
- The complexity of circumscription in DLs
- Circumscription - a form of non-monotonic reasoning
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
- Rational Closure for Defeasible Description Logics
- A non-monotonic description logic for reasoning about typicality
- Description logics of minimal knowledge and negation as failure
- Defeasible inheritance-based description logics
- Title not available (Why is that?)
- Preferential reasoning in the perspective of Poole default logic
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- Semantic characterization of rational closure: from propositional logic to description logics
- A Minimal Model Semantics for Nonmonotonic Reasoning
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
- A nonmonotonic extension of KLM preferential logic P
Cited In (35)
- From KLM-style conditionals to defeasible modalities, and back
- Query answering in circumscribed OWL2 profiles
- A Minimal Model Semantics for Nonmonotonic Reasoning
- Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
- Semantic characterization of rational closure: from propositional logic to description logics
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- Typicalities and probabilities of exceptions in nonmotonic description logics
- On rational entailment for propositional typicality logic
- Reasoning about Multiple Aspects in Rational Closure for DLs
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
- 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
- Characterizing multipreference closure with system W
- On combining ontologies and rules
- Introducing role defeasibility in description logics
- Situated conditional reasoning
- Rational Closure for Defeasible Description Logics
- ASP for minimal entailment in a rational extension of SROEL
- On the KLM properties of a fuzzy DL with typicality
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- A reconstruction of multipreference closure
- Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Rational closure for all description logics
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- Defeasible RDFS via rational closure
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- Non-distributive description logic
- Rational closure extension in SPO-representable inductive inference operators
- Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach
Uses Software
This page was built for publication: Semantic characterization of rational closure: from propositional logic to description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898736)
