@article{CHKKMMW-JAIR2013, title = "Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies", author = "Bernardo Cuenca Grau and Ian Horrocks and Markus Krötzsch and Clemens Kupke and Despoina Magka and Boris Motik and Zhe Wang", year = "2013", booktitle = "Journal of Artificial Intelligence Research (JAIR)", journal = "Journal of Artificial Intelligence Research (JAIR)", volume = "47", } @conference{KroMH-LPNMR2013, title = "Concrete Results on Abstract Rules", author = "Markus Krötzsch and Despoina Magka and Ian Horrocks", year = "2013", booktitle = "Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning", location = "Corunna", month = "September", } @inproceedings{MaKH-IJCAI2013, title = "Computing Stable Models for Nonmonotonic Existential Rules", author = "Despoina Magka and Markus Krötzsch and Ian Horrocks", year = "2013", booktitle = "Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)", location = "Beijing, China", month = "August", } @inproceedings{MagkaSWAT4LS12, title = "Ontology-Based Classification of Molecules: a Logic Programming Approach", author = "Despoina Magka", year = "2012", booktitle = "Proceedings of the 5th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2012)", month = "November", note = "Best paper prize", } @inproceedings{MaMHDL12, title = "Modelling Structured Domains Using Description Graphs and Logic Programming.", author = "Despoina Magka and Boris Motik and Ian Horrocks", year = "2012", booktitle = "Proceedings of the The 25th International Workshop on Description Logics (DL 2012)", location = "Rome, Italy", month = "June", publisher = "CEUR", volume = "846", } @inproceedings{MaMHOWLED12, title = "Classifying Chemicals Using Description Graphs and Logic Programming", author = "Despoina Magka and Boris Motik and Ian Horrocks", year = "2012", booktitle = "Proceedings of the 9th OWL: Experiences and Directions Workshop (OWLED 2012)", location = "Heraklion, Greece", month = "May", publisher = "CEUR-WS.org", volume = "849", } @article{HaMaBDStevESteinJChem12, title = "Structure-based classification and ontology in chemistry", author = "Janna Hastings and Despoina Magka and Colin Batchelor and Lian Duan and Robert Stevens and Marcus Ennis and Christoph Steinbeck", year = "2012", booktitle = "Journal of Cheminformatics", journal = "Journal of Cheminformatics", number = "8", volume = "4", } @conference{CGHKrKuMaMoWKR12, title = "Acyclicity Conditions and their Application to Query Answering in Description Logics", author = "Bernardo Cuenca Grau and Ian Horrocks and Markus Krötzsch and Clemens Kupke and Despoina Magka and Boris Motik and Zhe Wang.", year = "2012", booktitle = "Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)", location = "Rome", month = "June", publisher = "AAAI Press", } @conference{MaMHESWC12,, title = "Modelling Structured Domains Using Description Graphs and Logic Programming.", author = "Despoina Magka and Boris Motik and Ian Horrocks", year = "2012", booktitle = "Proceedings of the 9th Extended Semantic Web Conference (ESWC 2012)", location = "Heraklion, Greece", month = "June", publisher = "Springer", volume = "7925", } @inproceedings{MaMHSWAT4LS11, title = "Chemical Knowledge Representation with Description Graphs and Logic Programming", author = "Despoina Magka and Boris Motik and Ian Horrocks", year = "2011", booktitle = "Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2011)", location = "London, UK", month = "December", pages = "74-75", publisher = "ACM", } @article{MaKHJAR2011, title = "Tractable Extensions of the Description Logic EL with Numerical Datatypes", author = "Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks", year = "2011", booktitle = "Journal of Automated Reasoning", journal = "Journal of Automated Reasoning", number = "4", pages = "427--450", volume = "47", } @conference{MaKHIJCAR2010, title = "Tractable Extensions of the Description Logic EL with Numerical Datatypes", author = "Despoina Magka and Yevgeny Kazakov and Ian Horrocks", year = "2010", booktitle = "Int. Joint Conf. on Automated Reasoning (IJCAR 2010)", journal = "Int. Joint Conf. on Automated Reasoning (IJCAR 2010)", location = "Edinburgh, United Kingdom", month = "July", pages = "61--75", publisher = "LNAI", volume = "6173", } @conference{MaKHDL2010, title = "Tractable Extensions of the Description Logic EL with Numerical Datatypes", author = "Despoina Magka and Yevgeny Kazakov and Ian Horrocks", year = "2010", booktitle = "23rd International Workshop on Description Logics (DL 2010)", location = "Waterloo, Canada", month = "May 4--7", }