Picture for David Tena Cucala

David Tena Cucala

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog

Add code
Jun 15, 2023
Viaarxiv icon

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals

Add code
May 03, 2018
Figure 1 for Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
Figure 2 for Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
Figure 3 for Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
Figure 4 for Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
Viaarxiv icon