Games for query inseparability of description logic knowledge bases (Q253977): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2278564037
@@ Property / OpenAlex ID: W2278564037 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62048604
@@ Property / Wikidata QID: Q62048604 / rank @@
+Normal rank
@@ Property / cites work @@
+Linking Data to Ontologies
@@ Property / cites work: Linking Data to Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+The Logical Difference for the Lightweight Description Logic EL
+Normal rank
@@ Property / cites work @@
+Modular ontologies. Concepts, theories and techniques for knowledge modularization
+Normal rank
@@ Property / cites work @@
+Q5395725
@@ Property / cites work: Q5395725 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
+Normal rank
@@ Property / cites work @@
+Complexities of Horn Description Logics
@@ Property / cites work: Complexities of Horn Description Logics / 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 @@
+Incomplete Information in Relational Databases
@@ Property / cites work: Incomplete Information in Relational Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
+Normal rank
@@ Property / cites work @@
+Deciding inseparability and conservative extensions in the description logic
+Normal rank
@@ Property / cites work @@
+Infinite Games
@@ Property / cites work: Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5743484
@@ Property / cites work: Q5743484 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of computation.
@@ Property / cites work: Theory of computation. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Forgetting for knowledge bases in DL-lite
@@ Property / cites work: Forgetting for knowledge bases in DL-lite / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+(Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
+Normal rank
@@ Property / cites work @@
+Count and Forget: Uniform Interpolation of  $\mathcal{SHQ}$ -Ontologies
+Normal rank
@@ Property / cites work @@
+Reachability Modules for the Description Logic $\mathcal{SRIQ}$
+Normal rank