Preferential Description Logics

DOI10.1007/978-3-540-75560-9_20zbMath1137.68590OpenAlexW1509410808MaRDI QIDQ3498470

Nicola Olivetti, Gian Luca Pozzato, Laura Giordano, Valentina Gliozzi

Publication date: 15 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75560-9_20

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

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 ⋮ On the KLM properties of a fuzzy DL with typicality ⋮ ASP for minimal entailment in a rational extension of SROEL ⋮ Defeasible linear temporal logic ⋮ Unnamed Item ⋮ Preferential accessibility and preferred worlds ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ Decidability of Circumscribed Description Logics Revisited ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On rational entailment for propositional typicality logic ⋮ A reconstruction of multipreference closure ⋮ Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model ⋮ Introducing Role Defeasibility in Description Logics ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Rational closure for all description logics