Despoina Magka

3 Followers

7 SlideShares 3 Followers 27 Followings

7 SlideShares 3 Followers 27 Followings

logic programming automated reasoning cheminformatics knowledge representation and reasoning description logics ontology nonmonotonic negation ontologies knowledge representation life sciences automatic classification answer set programming structured objects finite model property. ontological modelling chase termination. datalog plus minus acyclicity conditions query answering polynomial algorithms. datatypes lightweight ontologies chemical modelling chemical classification

See more

Activity
About

Modelling Structured Domains with Description Graphs and Logic Programming

11 years ago • 1055 Views

Acyclicity Conditions and their Application to Query Answering in Description Logics

11 years ago • 897 Views

Tractable Extensions of the Description Logic EL with Numerical Datatypes

11 years ago • 1045 Views

Classifying Chemicals with Description Graphs and Logic Programming

11 years ago • 947 Views

Ontology-Based Classification of Molecules: a Logic Programming Approach

11 years ago • 1102 Views

Computing Stable Models for Nonmonotonic Existential Rules

10 years ago • 1377 Views

thesis-despoina

9 years ago • 2489 Views

Measuring user engagement: the do, the do not do, and the we do not know

Mounia Lalmas-Roelleke • 9 years ago

logic programming automated reasoning cheminformatics knowledge representation and reasoning description logics ontology nonmonotonic negation ontologies knowledge representation life sciences automatic classification answer set programming structured objects finite model property. ontological modelling chase termination. datalog plus minus acyclicity conditions query answering polynomial algorithms. datatypes lightweight ontologies chemical modelling chemical classification

See more