Despoina Magka
7 SlideShares 3 Abonné 27 Suivis
Personal Information
Entreprise/Lieu de travail
London, United Kingdom United Kingdom
Profession
Software Engineer
Secteur d’activité
Technology / Software / Internet
Site Web
www.cs.ox.ac.uk/isg/people/despoina.magka/
À propos
Research interests: automated reasoning, knowledge representation, semantic technologies, life sciences, description logics, nonmonotonic reasoning.
Coordonnées
Mots-clés
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
Tout plus
  • Documents
  • Infographies
Plus récents Les plus populaires

Computing Stable Models for Nonmonotonic Existential Rules

il y a 10 ans • 1377 Vues

Ontology-Based Classification of Molecules: a Logic Programming Approach

il y a 11 ans • 1103 Vues

Classifying Chemicals with Description Graphs and Logic Programming

il y a 11 ans • 947 Vues

Tractable Extensions of the Description Logic EL with Numerical Datatypes

il y a 11 ans • 1045 Vues

Acyclicity Conditions and their Application to Query Answering in Description Logics

il y a 11 ans • 897 Vues

Modelling Structured Domains with Description Graphs and Logic Programming

il y a 11 ans • 1055 Vues