Logical separability of labeled data examples under ontologies (Q2093388): Difference between revisions

@@ Property / cites work @@
+Q4537963
@@ Property / cites work: Q4537963 / rank @@
+Normal rank
@@ Property / cites work @@
+Ideal Downward Refinement in the $\mathcal{EL}$ Description Logic
+Normal rank
@@ Property / cites work @@
+Concept learning in description logics using refinement operators
+Normal rank
@@ Property / cites work @@
+Learning in Description Logics with Fuzzy Concrete Domains
+Normal rank
@@ Property / cites work @@
+DL-FOIL Concept Learning in Description Logics
@@ Property / cites work: DL-FOIL Concept Learning in Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636969
@@ Property / cites work: Q4636969 / rank @@
+Normal rank
@@ Property / cites work @@
+A Model+Solver Approach to Concept Learning
@@ Property / cites work: A Model+Solver Approach to Concept Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning and revision in hybrid representation systems
+Normal rank
@@ Property / cites work @@
+The Exact Complexity of the First-Order Logic Definability Problem
+Normal rank
@@ Property / cites work @@
+Q3174895
@@ Property / cites work: Q3174895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266483
@@ Property / cites work: Q4266483 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded Negation
@@ Property / cites work: Guarded Negation / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Description Logic
@@ Property / cites work: An Introduction to Description Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+SOME MODEL THEORY OF GUARDED NEGATION
@@ Property / cites work: SOME MODEL THEORY OF GUARDED NEGATION / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Testing containment of conjunctive queries under functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+On the finite controllability of conjunctive query answering in databases under open-world assumption
+Normal rank
@@ Property / cites work @@
+Querying the Guarded Fragment
@@ Property / cites work: Querying the Guarded Fragment / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Conjunctive Query Answering in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
+Normal rank
@@ Property / cites work @@
+The Freedoms of (Guarded) Bisimulation
@@ Property / cites work: The Freedoms of (Guarded) Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Berger's paper on the domino problem
@@ Property / cites work: Remarks on Berger's paper on the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Data-complexity of the two-variable fragment with counting quantifiers
+Normal rank
@@ Property / cites work @@
+Ontology-Based Data Access
@@ Property / cites work: Ontology-Based Data Access / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative Extensions in Guarded and Two-Variable Fragments.
+Normal rank
@@ Property / cites work @@
+Query inseparability for \(\mathcal{ALC}\) ontologies
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank