scientific article
From MaRDI portal
Publication:3112648
zbMath1247.68265MaRDI QIDQ3112648
Marco Faella, L. Sauro, Piero A. Bonatti
Publication date: 12 January 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
Query answering in circumscribed OWL2 profiles ⋮ A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) ⋮ System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases ⋮ Reasoning on with Defeasibility in ASP ⋮ ASP for minimal entailment in a rational extension of SROEL ⋮ Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics ⋮ A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ ⋮ Enhancing context knowledge repositories with justifiable exceptions ⋮ A System Z-like Approach for First-Order Default Reasoning ⋮ Decidability of Circumscribed Description Logics Revisited ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ Introducing Role Defeasibility in Description Logics ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
This page was built for publication:
