Computing Stable Models for Nonmonotonic Existential Rules Ontology-Based Classification of Molecules: a Logic Programming Approach Classifying Chemicals with Description Graphs and Logic Programming Tractable Extensions of the Description Logic EL with Numerical Datatypes Acyclicity Conditions and their Application to Query Answering in Description Logics Modelling Structured Domains with Description Graphs and Logic Programming 
