Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509): Difference between revisions

@@ Property / cites work @@
+Q3112648
@@ Property / cites work: Q3112648 / rank @@
+Normal rank
@@ Property / cites work @@
+Description logics of minimal knowledge and negation as failure
+Normal rank
@@ Property / cites work @@
+Reasoning about Typicality in Preferential Description Logics
+Normal rank
@@ Property / cites work @@
+A non-monotonic description logic for reasoning about typicality
+Normal rank
@@ Property / cites work @@
+ALC + T: a Preferential Extension of Description Logics
+Normal rank
@@ Property / cites work @@
+Semantic characterization of rational closure: from propositional logic to description logics
+Normal rank
@@ Property / cites work @@
+Rational Closure for Defeasible Description Logics
+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 @@
+On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
+Normal rank
@@ Property / cites work @@
+A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
+Normal rank
@@ Property / cites work @@
+Defeasible Inheritance-Based Description Logics
@@ Property / cites work: Defeasible Inheritance-Based Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing terminological reasoning for expressive description logics
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding inseparability and conservative extensions in the description logic
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+The DL-Lite Family and Relations
@@ Property / cites work: The DL-Lite Family and Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Defeasible inheritance with doubt index and its axiomatic characterization
+Normal rank
@@ Property / cites work @@
+The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
+Normal rank
@@ Property / cites work @@
+HermiT: an OWL 2 reasoner
@@ Property / cites work: HermiT: an OWL 2 reasoner / rank @@
+Normal rank
@@ Property / cites work @@
+Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing Magic Sets with an Application to Ontological Reasoning
+Normal rank