despoina-magka documents

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