Acyclicity Conditions and their Application to Query Answering in Description Logics

Modelling Structured Domains with Description Graphs and Logic Programming

Ontology-Based Classification of Molecules: a Logic Programming Approach

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Computing Stable Models for Nonmonotonic Existential Rules

Classifying Chemicals with Description Graphs and Logic Programming

thesis-despoina

Tractable Extensions of the Description Logic with Numerical Datatypes