research
∙
07/23/2023
Non-Normal Modal Description Logics (Extended Version)
Modal logics are widely used in multi-agent systems to reason about acti...
share
research
∙
05/20/2023
Learning Horn Envelopes via Queries from Large Language Models
We investigate an approach for extracting knowledge from trained neural ...
research
∙
03/25/2023
Verifying Properties of Tsetlin Machines
Tsetlin Machines (TsMs) are a promising and interpretable machine learni...
research
∙
03/06/2023
Finite Based Contraction and Expansion via Models
We propose a new paradigm for Belief Change in which the new information...
research
∙
09/14/2022
Finding Common Ground for Incoherent Horn Expressions
Autonomous systems that operate in a shared environment with people need...
research
∙
06/30/2022
Reasoning in Non-normal Modal Description Logics
Non-normal modal logics, interpreted on neighbourhood models which gener...
research
∙
06/02/2022
On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach
We study the effectiveness of Knowledge Graph Embeddings (KGE) for knowl...
research
∙
04/01/2022
Extracting Rules from Neural Networks with Partial Interpretations
We investigate the problem of extracting rules, expressed in Horn logic,...
research
∙
02/01/2022
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Formalisms based on temporal logics interpreted over finite strict linea...
research
∙
08/27/2021
Revising Ontologies via Models: The ALC-formula Case
Most approaches for repairing description logic (DL) ontologies aim at c...
research
∙
08/27/2021
Geometric Models for (Temporally) Attributed Description Logics
In the search for knowledge graph embeddings that could capture ontologi...
research
∙
06/29/2021
On Free Description Logics with Definite Descriptions
Definite descriptions are phrases of the form 'the x such that φ', used ...
research
∙
04/02/2021
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?
The quest for acquiring a formal representation of the knowledge of a do...
research
∙
03/25/2021
On the Complexity of Learning Description Logic Ontologies
Ontologies are a popular way of representing domain knowledge, in partic...
research
∙
02/21/2021
Mining EL Bases with Adaptable Role Depth
In Formal Concept Analysis, a base for a finite structure is a set of im...
research
∙
08/17/2020
Automated Reasoning in Temporal DL-Lite
This paper investigates the feasibility of automated reasoning over temp...
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
∙
05/06/2020
On the Learnability of Possibilistic Theories
We investigate learnability of possibilistic theories from entailments i...
research
∙
01/21/2020
Provenance for the Description Logic ELHr
We address the problem of handling provenance information in ELHr ontolo...
research
∙
11/17/2019
Learning Query Inseparable ELH Ontologies
We investigate the complexity of learning query inseparable ontologies ...
research
∙
06/01/2019
Enriching Ontology-based Data Access with Provenance (Extended Version)
Ontology-based data access (OBDA) is a popular paradigm for querying het...
research
∙
02/08/2019
Learning Ontologies with Epistemic Reasoning: The EL Case
We investigate the problem of learning description logic ontologies from...
research
∙
05/25/2018
Consequence-Based Axiom Pinpointing
Axiom pinpointing refers to the problem of finding the axioms in an onto...
research
∙
09/20/2017
