The following pages link to (Q4864249):
Displaying 50 items.
- Foundations of RDF Databases (Q3638999) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- Approximate databases: a support tool for approximate reasoning (Q3647257) (← links)
- HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results (Q3655143) (← links)
- Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
- (Q4000488) (← links)
- Functional and approximate dependency mining: database and FCA points of view (Q4409019) (← links)
- (Q4472208) (← links)
- Stability theory, permutations of indiscernibles, and embedded finite models (Q4505906) (← links)
- Certified Graph View Maintenance with Regular Datalog (Q4559800) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- A datalog-based computational model for coordination-free, data-parallel systems (Q4559834) (← links)
- Algebraic data integration (Q4577809) (← links)
- (Q4580237) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- Taming primary key violations to query large inconsistent data via ASP (Q4593009) (← links)
- Putting logic-based distributed systems on stable grounds (Q4593035) (← links)
- Consistency and trust in peer data exchange systems (Q4593083) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- Comparing the succinctness of monadic query languages over finite trees (Q4659888) (← links)
- (Q4692528) (← links)
- On Functional Dependencies in Advanced Data Models (Q4924533) (← links)
- (Q4948708) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)
- Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (Q4957206) (← links)
- Characterizing Boundedness in Chase Variants (Q4957209) (← links)
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (Q4989324) (← links)
- (Q4993609) (← links)
- (Q5018502) (← links)
- (Q5021005) (← links)
- (Q5028429) (← links)
- (Q5028455) (← links)
- On Tree Substitution Grammars (Q5041264) (← links)
- Computing Dependencies Using FCA (Q5054980) (← links)
- A Generalization of the Inference Rules for Join Dependencies in Databases (Q5060072) (← links)
- (Q5078314) (← links)
- (Q5079729) (← links)
- Rough Sets in Incomplete Information Systems with Order Relations Under Lipski’s Approach (Q5082224) (← links)
- (Q5091112) (← links)
- A Formal Framework for Complex Event Processing (Q5091115) (← links)
- Fragments of Bag Relational Algebra: Expressiveness and Certain Answers (Q5091118) (← links)
- An Experimental Study of the Treewidth of Real-World Graph Data (Q5091123) (← links)
- Datalog: Bag Semantics via Set Semantics (Q5091129) (← links)
- (Q5091133) (← links)
- (Q5091138) (← links)
- Counting Answers to Existential Questions (Q5091275) (← links)
- A fine-grained analogue of schaefer's Theorem in P: dichotomy of ∃k∀-quantified first-order graph properties (Q5091783) (← links)
- (Q5092420) (← links)
