Despoina Magka : Publications
|
[1] |
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. |
|
[2] |
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. Details | BibTeX | Download slides (pdf) | Download paper (pdf) |
|
[3] |
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. Details | BibTeX | Download slides (pdf) | Download paper (pdf) |
|
[4] |
Modelling Structured Domains Using Description Graphs and Logic Programming. Despoina Magka‚ Boris Motik and Ian Horrocks In Proceedings of the 9th Extended Semantic Web Conference (ESWC 2012). Vol. 7925. Springer. June, 2012. Details | BibTeX | Download slides (pdf) | Download paper (pdf) |
|
[5] |
Classifying Chemicals Using Description Graphs and Logic Programming Despoina Magka‚ Boris Motik and Ian Horrocks In Proceedings of the 9th OWL: Experiences and Directions Workshop (OWLED 2012). Vol. 849. CEUR−WS.org. May, 2012. Details | BibTeX | Download slides (pdf) | Download paper (pdf) |
|
[6] |
Ontology−Based Classification of Molecules: a Logic Programming Approach Despoina Magka In Proceedings of the 5th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2012). November, 2012. Best paper prize Details | BibTeX | Download slides (pdf) | Download paper (pdf) |
|
[7] |
Structure−based classification and ontology in chemistry Janna Hastings‚ Despoina Magka‚ Colin Batchelor‚ Lian Duan‚ Robert Stevens‚ Marcus Ennis and Christoph Steinbeck In Journal of Cheminformatics. Vol. 4. No. 8. 2012. |
|
[8] |
Chemical Knowledge Representation with Description Graphs and Logic Programming Despoina Magka‚ Boris Motik and Ian Horrocks In Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2011). Pages 74−75. ACM. December, 2011. Details | BibTeX | Download slides (pdf) | Download paper (pdf) |
|
[9] |
Tractable Extensions of the Description Logic EL with Numerical Datatypes Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks In Journal of Automated Reasoning. Vol. 47. No. 4. Pages 427–450. 2011. |
|
[10] |
Tractable Extensions of the Description Logic EL with Numerical Datatypes Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks In Int. Joint Conf. on Automated Reasoning (IJCAR 2010). Vol. 6173. Pages 61–75. LNAI. July, 2010. Details | BibTeX | Download slides (pdf) | Download paper (pdf) |
|
[11] |
Tractable Extensions of the Description Logic EL with Numerical Datatypes Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks In 23rd International Workshop on Description Logics (DL 2010). , 2010. Details | BibTeX | Download slides (pdf) | Download paper (pdf) |