Decidability of Circumscribed Description Logics Revisited (Q5172610): Difference between revisions

@@ Property / author @@
-Piero A. Bonatti
@@ Property / author: Piero A. Bonatti / rank @@
-Normal rank
@@ Property / author @@
+Piero A. Bonatti
@@ Property / author: Piero A. Bonatti / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-14726-0_8
+Normal rank
@@ Property / OpenAlex ID @@
+W342209026
@@ Property / OpenAlex ID: W342209026 / 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 @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / 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 @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Defeasible Inheritance-Based Description Logics
@@ Property / cites work: Defeasible Inheritance-Based Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Description logics of minimal knowledge and negation as failure
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Preferential Description Logics
@@ Property / cites work: Preferential Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A non-monotonic description logic for reasoning about typicality
+Normal rank
@@ Property / cites work @@
+Model-theoretic inseparability and modularity of description logic ontologies
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5172610