An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (Q5140012): Difference between revisions

@@ Property / author @@
+Laura Giordano
@@ Property / author: Laura Giordano / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ELK
@@ Property / describes a project that uses: ELK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+asprin
@@ Property / describes a project that uses: asprin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04387
@@ Property / arXiv ID: 2006.04387 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
+Normal rank
@@ Property / cites work @@
+Rational closure for all description logics
@@ Property / cites work: Rational closure for all description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3112648
@@ Property / cites work: Q3112648 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Circumscription in DLs
@@ Property / cites work: The Complexity of Circumscription in DLs / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
+Normal rank
@@ Property / cites work @@
+Enhancing context knowledge repositories with justifiable exceptions
+Normal rank
@@ Property / cites work @@
+Q3198878
@@ Property / cites work: Q3198878 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Closure for Defeasible Description Logics
+Normal rank
@@ Property / cites work @@
+Defeasible Inheritance-Based Description Logics
@@ Property / cites work: Defeasible Inheritance-Based Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
+Normal rank
@@ Property / cites work @@
+Description logics of minimal knowledge and negation as failure
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Well-founded semantics for description logic programs in the semantic web
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
+Normal rank
@@ Property / cites work @@
+Preferential Description Logics
@@ Property / cites work: Preferential Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+ASP for minimal entailment in a rational extension of SROEL
+Normal rank
@@ Property / cites work @@
+Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure
+Normal rank
@@ Property / cites work @@
+Reasoning about Multiple Aspects in Rational Closure for DLs
+Normal rank
@@ Property / cites work @@
+The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
+Normal rank
@@ Property / cites work @@
+Q3457253
@@ Property / cites work: Q3457253 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Efficient Inferencing for OWL EL
@@ Property / cites work: Efficient Inferencing for OWL EL / rank @@
+Normal rank
@@ Property / cites work @@
+What does a conditional knowledge base entail?
@@ Property / cites work: What does a conditional knowledge base entail? / rank @@
+Normal rank
@@ Property / cites work @@
+Another perspective on default reasoning
@@ Property / cites work: Another perspective on default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A description logic of typicality for conceptual combination
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
+Normal rank
@@ Property / OpenAlex ID @@
+W3088199683
@@ Property / OpenAlex ID: W3088199683 / rank @@
+Normal rank