Search Results for author:
Found 6 papers, 0 papers with code
Combining Global and Local Merges in Logic-based Entity Resolution
In the recently proposed Lace framework for collective entity resolution, logical rules and constraints are used to identify pairs of entity references (e. g. author or paper ids) that denote the same entity.
A Description Logic for Analogical Reasoning
Ontologies formalise how the concepts from a given domain are interrelated.
Answering Regular Path Queries Over SQ Ontologies
We study query answering in the description logic $\mathcal{SQ}$ supporting qualified number restrictions on both transitive and non-transitive roles.
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles.
On Finite Entailment of Non-Local Queries in Description Logics
We study the problem of finite entailment of ontology-mediated queries.
Plausible Reasoning about EL-Ontologies using Concept Interpolation
In this paper, we instead propose an inductive inference mechanism which is based on a clear model-theoretic semantics, and can thus be tightly integrated with standard deductive reasoning.
