I am a final year doctoral student and member of the
Information Systems Group led by
Prof. Ian Horrocks.
During my DPhil, I worked on
knowledge representation and reasoning
formalisms modelling non-tree structures, such as
complex biochemical objects.
Specifically, I built a theoretical and practical
logic-based framework for the classification of graph-shaped objects based on their structural
properties. In the context of this framework, I researched
extensions
of datalog rules with existentials in the head and nonmonotonic negation in the body and their
application to automatically building taxonomies of
manually curated knowledge bases.
Prior to that, I completed an
MSc Computer Science degree in the
Department of Computer Science, University of Oxford;
for my MSc project and
under the supervision of Dr. Yevgeny Kazakov
and Prof. Ian Horrocks
I outlined polynomiality conditions for the lightweight description logic EL when extended with
numerical datatypes.
For my first degree, I studied electrical and computer engineering in
National Technical University of Athens. In
my undergrad project
and under the
supervision of Dr. Giorgos Stamou,
I explored methods for connecting databases and ontological knowledge under
the presence of uncertainty. In particular, I developed
a java tool to convert database tuples into fuzzy OWL assertions according
to user-defined membership functions.
Despoina Magka,
Markus Krötzsch,
Ian Horrocks
Computing Stable Models for Nonmonotonic Existential Rules.
In Proceedings of the 23rd International Joint
Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 (IJCAI 2013), AAAI press, 2013.
[Pdf  
| BibTeX-Entry
| Abstract
| Experiments ]
Bernardo Cuenca Grau,
Ian Horrocks,
Markus Krötzsch,
Clemens Kupke,
Despoina Magka,
Boris Motik
and Zhe Wang
Acyclicity Conditions and their Application to Query Answering in Description Logics.
In Proceedings of the 13th International Conference on Principles of Knowledge Representation and
Reasoning (KR 2012), AAAI Press, 2012.
[Pdf  
| BibTeX-Entry
| Abstract ]
Despoina Magka,
Boris Motik
and Ian Horrocks
Modelling Structured Domains Using
Description Graphs and Logic Programming.
In Proceedings of the 9th Extended Semantic Web Conference (ESWC 2012), Vol. 7295, Pages 330-344, Springer, 2012.
[Pdf  
| BibTeX-Entry
| Abstract
| Experiments ]
Despoina Magka,
Yevgeny Kazakov
and Ian Horrocks
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
In Proceedings of the Int. Joint Conf. on Automated Reasoning (IJCAR 2010), Vol. 6173, Pages 61-75, LNAI, 2010.
[Pdf  
| BibTeX-Entry
| Abstract ]
Janna Hastings,
Despoina Magka,
Colin Batchelor,
Lian Duan,
Robert Stevens,
Marcus Ennis
and Christoph Steinbeck
Structure-based classification and ontology in chemistry.
In Journal of Cheminformatics, 4:8, 2012.
[Pdf  
| BibTeX-Entry
| Abstract
| Paper at Chemistry Central ]
Despoina Magka,
Yevgeny Kazakov
and Ian Horrocks
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
In Journal of Automated Reasoning, 47(4):427-450, 2011.
[Pdf  
| BibTeX-Entry
| Abstract
| Paper at Springer ]
Despoina Magka
Ontology-Based Classification of Molecules: a Logic Programming Approach.
In Proceedings of the 5th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2012),
Best paper prize.
[Pdf  
| BibTeX-Entry
| Abstract
| Experiments ]
Despoina Magka,
Boris Motik
and Ian Horrocks
Modelling Structured Domains Using Description Graphs and Logic Programming.
In Proceedings of the The 25th International Workshop on Description Logics (DL 2012) , Vol. 846, CEUR,
2012.
[Pdf  
| BibTeX-Entry
| Abstract
| Experiments ]
Despoina Magka,
Boris Motik
and Ian Horrocks
Classifying Chemicals Using Description Graphs and Logic Programming.
In Proceedings of the 9th OWL: Experiences and Directions Workshop (OWLED 2012), Vol.849, 2012.
[Pdf  
| BibTeX-Entry
| Abstract
| Experiments ]
Despoina Magka,
Boris Motik
and Ian Horrocks
Chemical Knowledge Representation with Description Graphs and Logic Programming.
In Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2011),
Pages 74-75, ACM, 2011.
Highlight poster .
[Pdf  
| BibTeX-Entry
| Abstract
| Experiments ]
Despoina Magka,
Yevgeny Kazakov
and Ian Horrocks
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
In Proceedings of the 2010 Description Logic Workshop (DL 2010), Vol. 573, Pages 79-90, CEUR, 2010.
[Pdf  
| BibTeX-Entry
| Abstract ]
Class tutor for
Knowledge Representation and Reasoning 11/12
Teaching assistant for
Reasoning About Information Update 11/12
Teaching assistant for
Knowledge Representation and Reasoning 10/11
Teaching assistant and practical demonstrator for
Intelligent Systems 10/11
PC member,
4th International Conference on Biomedical Ontology (ICBO 2013)
PC member,
2nd OWL Reasoner Evaluation Workshop (ORE 2013)
PC member,
2nd International Workshop on Exploiting Large Knowledge Repositories (E-LKR 2012)
Despoina Magka,
Markus Krötzsch,
Ian Horrocks
Stable Models for Nonmonotonic Existential Rules.
Technical report, University of Oxford, 2013.
[Pdf  
| BibTeX-Entry
| Abstract
| Experiments ]
Despoina Magka
Extending Logic Programming for Life Sciences Applications.
Extended abstract, Oxford University Department of Computer Science Student Conference 2012.
[Pdf  
| BibTeX-Entry ]
Despoina Magka,
Boris Motik
and Ian Horrocks
Modelling Structured Domains Using Description Graphs and Logic Programming.
Technical report, University of Oxford, 2011.
[Pdf  
| BibTeX-Entry
| Abstract
| Experiments ]
Despoina Magka,
Yevgeny Kazakov
and Ian Horrocks
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Technical report, University of Oxford, 2010.
[Pdf  
| BibTeX-Entry
| Abstract ]
Despoina Magka,
Representing Graph-based Structures with Logic.
Transfer report, University of Oxford, 2010.
[Pdf ]
Despoina Magka
Consequence-based Datatype Reasoning in EL: Identifying the Tractable Fragments.
MSc Project, Oxford University Computing Laboratory, September 2009.
[Pdf  
| BibTeX-Entry
| Abstract ]
Despoina Magka
Database and ontology integration under uncertainty.
Diploma Thesis (in Greek), National Technical University of Athens, July 2008.
[Pdf (6.01M) 
| BibTeX-Entry
| Abstract ]
Ontology-Based Classification of Molecules: a Logic Programming Approach, at Semantic Web Applications and Tools for Life Sciences workshop (SWAT4LS 2012), Paris, France, November 2012. [Pdf ]
Extending Logic Programming for Life Sciences Applications, at Oxford University Department of Computer Science Student Conference 2012 , Oxford, UK, November 2012. [Pdf ]
Acyclicity Conditions and their Application to Query Answering in Description Logics, at International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 2012. [Pdf ]
Modelling Structured Domains Using Description Graphs and Logic Programming, at International Workshop on Description Logics (DL 2012) , Rome, Italy, June 2012. [Pdf ]
Modelling Structured Domains Using Description Graphs and Logic Programming, at Extended Semantic Web Conference (ESWC 2012) , Hersonissos, Crete, Greece, May 2012. [Pdf ]
Classifying chemicals Using Description Graphs and Logic Programming, at OWL: Experiences and Directions Workshop (OWLED 2012) , Hersonissos, Crete, Greece, May 2012. [Pdf ]
Modelling Structured Domains with Logic, at Cakes Talk seminar, Department of Computer Science, University of Oxford, February 2012. [Pdf ]
Chemical Knowledge Representation with Description Graphs and Logic Programming, at Semantic Web Applications and Tools for Life Sciences workshop (SWAT4LS 2011), December 2011. [Pdf ]
Tractable Extensions of the Description Logic EL with Numerical Datatypes,
at Int. Joint Conf. on Automated Reasoning (IJCAR 2010), July 2010.
[Pdf ]
Tractable Extensions of the Description Logic EL with Numerical Datatypes,
at 23rd International Workshop on Description Logics (DL2010), May 2010.
[Pdf ]
Tractable Extensions of the Description Logic EL with Numerical Datatypes,
at
Information Systems seminar, Oxford University Computing Laboratory, April 2010.
[Pdf ]

Despoina Magka
Research Student
Room 352, Wolfson Building, Parks Road
Oxford OX1 3QD
The KRR group co-organises the 2nd edition of the OWL Reasoner Evaluation Workshop (ORE), collocated with DL 2013 workshop.
Doctoral Student Despoina Magka's paper entitled 'Ontology-Based Classification of Molecules: a Logic Programming Approach' has received the best paper prize at the 2012 Semantic Web Applications and Tools for Life Sciences workshop [more information].
Boris Motik was recently successful in gaining an EPSRC Early Career Fellowship. The 5 year project, MaSI3: A Massively Scalable Intelligent Information Infrastructure, focuses on Ontology-based Data Management Systems (ODMSs). These are a new kind of data management system specifically designed to deal with complex data, by using natural language queries often across multiple relevant sources [more information].
Yavor Nenov's PhD thesis "Computability of Euclidean Spatial Logics" has been awarded the Best Thesis Prize of the School of Computer Science at the University of Manchester [more information].
Ian Horrocks has been elected to join Academia Europæa, an eminent organization for European scholars. Academia Europæa was founded in 1988 and has over 2000 members, including around 40 Nobel Laureates [more information].
The Jaume I University of Castellon (Spain) has awarded a "Premio extraordinario de doctorado" (roughly translated as a Extraordinary Doctoral Award) to Ernesto Jimenez-Ruiz who is now a postdoctoral researcher at Oxford's Department of Computer Science [more information].
The KRR group organises the Large Biomedical Ontologies track within the Ontology Alignment Evaluation Initiative.