23 citations · 31 across the 9 of their papers we have counts for
12 papers
AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification
Yan Wang, Xuguang Ai, Jaisal Patel +7
Structured financial reporting verification requires connecting reported facts to accounting constraints, reconstructing expected values, and executing numerical checks. We study t…
Inductive Knowledge Graph Completion with GNNs and Rules: An Analysis
Akash Anil, Víctor Gutiérrez-Basulto, Yazmín Ibañéz-García +1
The task of inductive knowledge graph completion requires models to learn inference patterns from a training graph, which can then be used to make predictions on a disjoint test gr…
Finite Entailment of UCRPQs over ALC Ontologies
Vıctor Gutiérrez-Basulto, Albert Gutowski, Yazmın Ibáñez-Garcıa +1
We investigate the problem of finite entailment of ontology-mediated queries. We consider the expressive query language, unions of conjunctive regular path queries (UCRPQs), extend…
A Description Logic for Analogical Reasoning
Steven Schockaert, Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto
Ontologies formalise how the concepts from a given domain are interrelated. Despite their clear potential as a backbone for explainable AI, existing ontologies tend to be highly in…
Answering Regular Path Queries Over SQ Ontologies
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
We study query answering in the description logic supporting qualified number restrictions on both transitive and non-transitive roles. Our main contributions are a…
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
Thomas Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García +2
We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles. We show tight 2EXPTIME upper bounds for u…
On Finite Entailment of Non-Local Queries in Description Logics
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski +2
We study the problem of finite entailment of ontology-mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the…
Plausible Reasoning about EL-Ontologies using Concept Interpolation
Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto, Steven Schockaert
Description logics (DLs) are standard knowledge representation languages for modelling ontologies, i.e. knowledge about concepts and the relations between them. Unfortunately, DL o…
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report)
Efthymia Tsamoura, Victor Gutierrez-Basulto, Angelika Kimmig
State-of-the-art inference approaches in probabilistic logic programming typically start by computing the relevant ground program with respect to the queries of interest, and then…
Ontology Focusing: Knowledge-enriched Databases on Demand
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín A. Ibáñez-García +3
We propose a novel framework to facilitate the on-demand design of data-centric systems by exploiting domain knowledge from an existing ontology. Its key ingredient is a process th…
Quantified Markov Logic Networks
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
Markov Logic Networks (MLNs) are well-suited for expressing statistics such as "with high probability a smoker knows another smoker" but not for expressing statements such as "ther…
From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules
Víctor Gutiérrez-Basulto, Steven Schockaert
Recent years have witnessed the successful application of low-dimensional vector space representations of knowledge graphs to predict missing facts or find erroneous ones. However,…