Wolfson Building, Parks Road, Oxford OX1 3QD
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
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.
Computing Stable Models for Nonmonotonic Existential Rules
Despoina Magka‚ Markus Krötzsch and Ian Horrocks
In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). August, 2013.
Modelling Structured Domains Using Description Graphs and Logic Programming.
Despoina Magka‚ Boris Motik and Ian Horrocks
In Proceedings of the The 25th International Workshop on Description Logics (DL 2012). Vol. 846. CEUR. June, 2012.
Acyclicity Conditions and their Application to Query Answering in Description Logics
Bernardo Cuenca Grau‚ Ian Horrocks‚ Markus Krötzsch‚ Clemens Kupke‚ Despoina Magka‚ Boris Motik and Zhe Wang.
In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). AAAI Press. June, 2012.