Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290): Difference between revisions

@@ Property / describes a project that uses @@
+PAGOdA
@@ Property / describes a project that uses: PAGOdA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ontop
@@ Property / describes a project that uses: Ontop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CEX
@@ Property / describes a project that uses: CEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ContentCVS
@@ Property / describes a project that uses: ContentCVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MASTRO
@@ Property / describes a project that uses: MASTRO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2896487083
@@ Property / OpenAlex ID: W2896487083 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00014
@@ Property / arXiv ID: 1902.00014 / rank @@
+Normal rank
@@ Property / cites work @@
+Linking Data to Ontologies
@@ Property / cites work: Linking Data to Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Ontology-Mediated Query Answering with Data-Tractable Description Logics
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Optimizing SPARQL Query Answering over OWL Ontologies
+Normal rank
@@ Property / cites work @@
+PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
+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 @@
+Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Module Extraction in Expressive Ontology Languages via Datalog Reasoning
+Normal rank
@@ Property / cites work @@
+On Instance-level Update and Erasure in Description Logic Ontologies
+Normal rank
@@ Property / cites work @@
+Foundations of instance level updates in expressive description logics
+Normal rank
@@ Property / cites work @@
+DL-Lite Ontology Revision Based on An Alternative Semantic Characterization
+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 @@
+ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS
+Normal rank
@@ Property / cites work @@
+(Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
+Normal rank
@@ Property / cites work @@
+Knowledge base exchange: the case of OWL 2 QL
@@ Property / cites work: Knowledge base exchange: the case of OWL 2 QL / rank @@
+Normal rank
@@ Property / cites work @@
+Games for query inseparability of description logic knowledge bases
+Normal rank
@@ Property / cites work @@
+Deciding inseparability and conservative extensions in the description logic
+Normal rank
@@ Property / cites work @@
+Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
+Normal rank
@@ Property / cites work @@
+Conservative Extensions in Guarded and Two-Variable Fragments.
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning in description logics by a reduction to disjunctive datalog
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Conjunctive Query Answering in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Ontology-Based Data Access
@@ Property / cites work: Ontology-Based Data Access / rank @@
+Normal rank
@@ Property / cites work @@
+Query and Predicate Emptiness in Ontology-Based Data Access
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+A concise introduction to mathematical logic
@@ Property / cites work: A concise introduction to mathematical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical characterizations and complexity of equivalences in answer set programming
+Normal rank
@@ Property / cites work @@
+Infinitary equilibrium logic and strongly equivalent logic programs
+Normal rank
@@ Property / cites work @@
+Logical Difference Computation with CEX2.5
@@ Property / cites work: Logical Difference Computation with CEX2.5 / rank @@
+Normal rank