Search Results for author:
Found 2 papers, 0 papers with code
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog
Although there has been significant interest in applying machine learning techniques to structured data, the expressivity (i. e., a description of what can be learned) of such techniques is still poorly understood.
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
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 restrictions, and nominals.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
