Information Systems Group

Despoina Magka

Research Student

Biography

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. I also 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 studied polynomiality conditions for the lightweight description logic EL when extended with numerical datatypes.

Currently, I am a doctoral student and member of the Information Systems Group led by Prof. Georg Gottlob and Prof. Ian Horrocks. In particular, I am working on KRR formalisms modelling non-tree structures, such as chemical molecules with rings. Specifically, I am developing 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 research extensions of datalog rules with existentials in the head. I am also involved in the support of the HermiT OWL 2 reasoner.

Conference Publications

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)
Accepted for publication.
[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)
Accepted for publication.
[Pdf   |  BibTeX-Entry  |  Abstract ]

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 ]

Journal Publications

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.
[BibTeX-Entry  |  Abstract  | Provisional Pdf 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 ]

Workshop Publications

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)
[Pdf   |  BibTeX-Entry  |  Abstract ]

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)
[Pdf   |  BibTeX-Entry  |  Abstract ]

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.
Highlight poster .
[Pdf   |  BibTeX-Entry  |  Abstract ]

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 ]

Teaching

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

Technical Reports

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 ]

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 ]

Dissertations

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 ]

Talks and Slides

Modelling Structured Domains with Logic. A talk given at the Cakes Talk seminar, Department of Computer Science, University of Oxford, February 2012. [Pdf ]

Chemical Knowledge Representation with Description Graphs and Logic Programming. A short talk given at the Semantic Web Applications and Tools for Life Sciences workshop (SWAT4LS 2011), December 2011. [Pdf ]

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
A talk given at the Int. Joint Conf. on Automated Reasoning (IJCAR 2010), July 2010. [Pdf  ]

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
A talk given at 23rd International Workshop on Description Logics (DL2010), May 2010. [Pdf  ]

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
A talk given at the Information Systems seminar, Oxford University Computing Laboratory, April 2010. [Pdf  ]