research
∙
09/18/2023
Towards Ontology Construction with Language Models
We present a method for automatically constructing a concept hierarchy f...
share
research
∙
06/13/2023
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries
Recently, the study of the unique characterisability and learnability of...
research
∙
05/15/2023
SAT-Based PAC Learning of Description Logic Concepts
We propose bounded fitting as a scheme for learning description logic co...
research
∙
08/22/2022
On the non-efficient PAC learnability of acyclic conjunctive queries
This note serves three purposes: (i) we provide a self-contained exposit...
research
∙
04/29/2022
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
We study ELI queries (ELIQs) in the presence of ontologies formulated in...
research
∙
02/11/2022
Conservative Extensions for Existential Rules
We study the problem to decide, given sets T1,T2 of tuple-generating dep...
research
∙
07/12/2021
Separating Data Examples by Description Logic Concepts with Restricted Signatures
We study the separation of positive and negative data examples in terms ...
research
∙
05/18/2021
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies
We consider the problem to learn a concept or a query in the presence of...
research
∙
11/19/2020
Conservative Extensions in Horn Description Logics with Inverse Roles
We investigate the decidability and computational complexity of conserva...
research
∙
11/17/2020
Answering Regular Path Queries Over SQ Ontologies
We study query answering in the description logic 𝒮𝒬 supporting qualifie...
research
∙
10/22/2020
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...
research
∙
07/06/2020
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals
The Craig interpolation property (CIP) states that an interpolant for an...
research
∙
07/06/2020
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures
We study the separation of positive and negative data examples in terms ...
research
∙
07/03/2020
Logical Separability of Incomplete Data under Ontologies
Finding a logical formula that separates positive and negative examples ...
research
∙
07/03/2020
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment
The guarded fragment of FO fails to have the Craig Interpolation Propert...
research
∙
04/15/2019
Model Comparison Games for Horn Description Logics
Horn description logics are syntactically defined fragments of standard ...
research
∙
07/03/2018
Quantified Markov Logic Networks
Markov Logic Networks (MLNs) are well-suited for expressing statistics s...
research
∙
07/03/2018