Despoina Magka
7 SlideShares 3 Seguidores 27 Siguiendos
Personal Information
Organización/Lugar de trabajo
London, United Kingdom United Kingdom
Ocupación
Software Engineer
Sector
Technology / Software / Internet
Sitio web
www.cs.ox.ac.uk/isg/people/despoina.magka/
Acerca de
Research interests: automated reasoning, knowledge representation, semantic technologies, life sciences, description logics, nonmonotonic reasoning.
Datos de contacto
Etiquetas
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
Ver más
  • Documentos
  • Infografías
Más reciente Más populares

Computing Stable Models for Nonmonotonic Existential Rules

Hace 10 años • 1377 Visualizaciones

Ontology-Based Classification of Molecules: a Logic Programming Approach

Hace 11 años • 1103 Visualizaciones

Classifying Chemicals with Description Graphs and Logic Programming

Hace 11 años • 947 Visualizaciones

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Hace 11 años • 1045 Visualizaciones

Acyclicity Conditions and their Application to Query Answering in Description Logics

Hace 11 años • 897 Visualizaciones

Modelling Structured Domains with Description Graphs and Logic Programming

Hace 11 años • 1055 Visualizaciones