Picture for David Carral

David Carral

Normalisations of Existential Rules: Not so Innocuous!

Add code
Jun 07, 2022
Figure 1 for Normalisations of Existential Rules: Not so Innocuous!
Figure 2 for Normalisations of Existential Rules: Not so Innocuous!
Figure 3 for Normalisations of Existential Rules: Not so Innocuous!
Figure 4 for Normalisations of Existential Rules: Not so Innocuous!
Viaarxiv icon

Materializing Knowledge Bases via Trigger Graphs

Add code
Feb 04, 2021
Figure 1 for Materializing Knowledge Bases via Trigger Graphs
Figure 2 for Materializing Knowledge Bases via Trigger Graphs
Figure 3 for Materializing Knowledge Bases via Trigger Graphs
Figure 4 for Materializing Knowledge Bases via Trigger Graphs
Viaarxiv icon

Checking Chase Termination over Ontologies of Existential Rules with Equality

Add code
Nov 25, 2019
Figure 1 for Checking Chase Termination over Ontologies of Existential Rules with Equality
Viaarxiv icon

Rule-based OWL Modeling with ROWLTab Protege Plugin

Add code
Aug 30, 2018
Figure 1 for Rule-based OWL Modeling with ROWLTab Protege Plugin
Figure 2 for Rule-based OWL Modeling with ROWLTab Protege Plugin
Figure 3 for Rule-based OWL Modeling with ROWLTab Protege Plugin
Figure 4 for Rule-based OWL Modeling with ROWLTab Protege Plugin
Viaarxiv icon

Modeling OWL with Rules: The ROWL Protege Plugin

Add code
Aug 30, 2018
Figure 1 for Modeling OWL with Rules: The ROWL Protege Plugin
Viaarxiv icon

A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies

Add code
Apr 19, 2018
Figure 1 for A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
Figure 2 for A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
Figure 3 for A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
Figure 4 for A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
Viaarxiv icon

On the Ontological Modeling of Trees

Add code
Oct 13, 2017
Figure 1 for On the Ontological Modeling of Trees
Figure 2 for On the Ontological Modeling of Trees
Figure 3 for On the Ontological Modeling of Trees
Figure 4 for On the Ontological Modeling of Trees
Viaarxiv icon