Information Systems Group

Despoina Magka

Research Student

Biography

I have studied electrical and computer engineering in National Technical University of Athens. In my undergrad project, I explored methods which connect databases and ontological knowledge under the presence of uncertainty. In particular, I developed a java tool that allows the user to convert database tuples into fuzzy OWL assertions according to user-defined membership functions. After completing an MSc Computer Science degree in the Oxford University Computing Laboratory, I joined the Knowledge Representation and Reasoning group as a research student. In my MSc project, I studied polynomiality conditions for the lightweight description logic EL when extended with numerical datatypes. Currently, 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. I am also involved in the support of the HermiT OWL 2 reasoner.

Conference and Workshop Publications

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 (277KB)  |  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 (163KB)  |  BibTeX-Entry  |  Abstract ]

Journal Publications

Despoina Magka , Yevgeny Kazakov and Ian Horrocks.
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
In Journal of Automated Reasoning. 2011.
[Pdf   |  BibTeX-Entry  |  Abstract  |  Paper at Springer ]

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 (268KB)  |  BibTeX-Entry  |  Abstract ]

Despoina Magka, Representing Graph-based Structures with Logic.
Transfer report, University of Oxford, 2010.
[Pdf (559KB)]

Dissertations

Despoina Magka
Consequence-based Datatype Reasoning in EL: Identifying the Tractable Fragments.
MSc Project, Oxford University Computing Laboratory, September 2009.
[Pdf (568KB  |  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

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 ]

Representing Graph-based Structures with Logic: Motivation and Goals.
A short presentation in the context of the transfer viva, December 2010. [Pdf (513KB) ]

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 (2.4MB) ]

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

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 (943KB) ]