Picture for Mark Kaminski

Mark Kaminski

The Window Validity Problem in Rule-Based Stream Reasoning

Add code
Aug 07, 2018
Viaarxiv icon

Stratified Negation in Limit Datalog Programs

Add code
Apr 25, 2018
Viaarxiv icon

Foundations of Declarative Data Analysis Using Limit Datalog Programs

Add code
Nov 12, 2017
Viaarxiv icon

Stream Reasoning in Temporal Datalog

Add code
Nov 10, 2017
Viaarxiv icon

The Bag Semantics of Ontology-Based Data Access

Add code
May 19, 2017
Viaarxiv icon

Computing Horn Rewritings of Description Logics Ontologies

Add code
Apr 21, 2015
Figure 1 for Computing Horn Rewritings of Description Logics Ontologies
Figure 2 for Computing Horn Rewritings of Description Logics Ontologies
Figure 3 for Computing Horn Rewritings of Description Logics Ontologies
Viaarxiv icon

Ontology Module Extraction via Datalog Reasoning

Add code
Nov 20, 2014
Figure 1 for Ontology Module Extraction via Datalog Reasoning
Figure 2 for Ontology Module Extraction via Datalog Reasoning
Figure 3 for Ontology Module Extraction via Datalog Reasoning
Viaarxiv icon

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning

Add code
Apr 11, 2014
Figure 1 for Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Figure 2 for Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Figure 3 for Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Viaarxiv icon