Despoina Magka
7 SlideShares 3 Followers 27 Folgens
Personal Information
Unternehmen/Arbeitsplatz
London, United Kingdom United Kingdom
Beruf
Software Engineer
Branche
Technology / Software / Internet
Webseite
www.cs.ox.ac.uk/isg/people/despoina.magka/
Info
Research interests: automated reasoning, knowledge representation, semantic technologies, life sciences, description logics, nonmonotonic reasoning.
Kontaktdetails
Tags
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
Mehr anzeigen
  • Dokumente
  • Infografiken
Aktuellste Beliebteste SlideShares

Computing Stable Models for Nonmonotonic Existential Rules

Vor 10 Jahren • 1377 Aufrufe

Ontology-Based Classification of Molecules: a Logic Programming Approach

Vor 11 Jahren • 1103 Aufrufe

Classifying Chemicals with Description Graphs and Logic Programming

Vor 11 Jahren • 947 Aufrufe

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Vor 11 Jahren • 1045 Aufrufe

Acyclicity Conditions and their Application to Query Answering in Description Logics

Vor 11 Jahren • 897 Aufrufe

Modelling Structured Domains with Description Graphs and Logic Programming

Vor 11 Jahren • 1055 Aufrufe