Picture for Stanislav Kikot

Stanislav Kikot

Spatial Intelligence of a Self-driving Car and Rule-Based Decision Making

Add code
Aug 02, 2023
Viaarxiv icon

A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom

Add code
Jun 07, 2020
Figure 1 for A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Figure 2 for A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Figure 3 for A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Figure 4 for A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Viaarxiv icon

Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity

Add code
May 04, 2016
Figure 1 for Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
Figure 2 for Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
Figure 3 for Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
Figure 4 for Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
Viaarxiv icon

Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results

Add code
May 13, 2015
Figure 1 for Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
Figure 2 for Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
Viaarxiv icon