activity
20182025
most citedOn the Correspondence Between Monotonic Max-Sum GNNs and Datalog

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2018 · cs.AIShow all

1 paper · 2 filters

cs.AI2018

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

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

We present a consequence-based calculus for concept subsumption and classification in the description logic ALCHOIQ, which extends ALC with role hierarchies, inverse roles, number…