Despoina Magka
Despoina Magka
University of Oxford, Department of Computer Science
Dirección de correo verificada de cs.ox.ac.uk - Página principal
TítuloCitado porAño
Acyclicity notions for existential rules and their application to query answering in ontologies
BC Grau, I Horrocks, M Krötzsch, C Kupke, D Magka, B Motik, Z Wang
Journal of Artificial Intelligence Research 47, 741-808, 2013
772013
Acyclicity notions for existential rules and their application to query answering in ontologies
BC Grau, I Horrocks, M Krötzsch, C Kupke, D Magka, B Motik, Z Wang
Journal of Artificial Intelligence Research 47, 741-808, 2013
772013
Structure-based classification and ontology in chemistry
J Hastings, D Magka, C Batchelor, L Duan, R Stevens, M Ennis, ...
Journal of cheminformatics 4 (1), 8, 2012
432012
Tractable Extensions of the Description Logic EL with Numerical Datatypes
D Magka, Y Kazakov, I Horrocks
Journal of Automated Reasoning 47 (4), 427-450, 2011
432011
Tractable extensions of the description logic EL with numerical datatypes
D Magka, Y Kazakov, I Horrocks
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, 61-75, 2010
43*2010
Tractable Extensions of the Description Logic {\ mathcal {EL}} with Numerical Datatypes
D Magka, Y Kazakov, I Horrocks
Journal of Automated Reasoning 47 (4), 427-450, 2011
322011
Tractable Extensions of the Description Logic {\ mathcal {EL}} with Numerical Datatypes
D Magka, Y Kazakov, I Horrocks
Journal of Automated Reasoning 47 (4), 427-450, 2011
322011
Computing Stable Models for Nonmonotonic Existential Rules
D Magka, M Krötzsch, I Horrocks
Proceedings of the 23rd International Joint Conference on Artificial …, 2013
312013
Acyclicity conditions and their application to query answering in description logics
B Cuenca Grau, I Horrocks, M Krötzsch, C Kupke, D Magka, B Motik, ...
Thirteenth International Conference on the Principles of Knowledge …, 2012
302012
Modelling structured domains using description graphs and logic programming
D Magka, B Motik, I Horrocks
Extended Semantic Web Conference, 330-344, 2012
292012
A rule-based ontological framework for the classification of molecules.
D Magka, M Krötzsch, I Horrocks
J. Biomedical Semantics 5, 17, 2014
92014
Ontology-Based Classification of Molecules: a Logic Programming Approach
D Magka
Proceedings of the SWAT4LS conference 30, 2012
42012
Classifying Chemicals Using Description Graphs and Logic Programming.
D Magka, B Motik, I Horrocks
OWLED, 2012
32012
Concrete results on abstract rules
M Krötzsch, D Magka, I Horrocks
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
22013
Foundations and applications of knowledge representation for Structured entities
D Magka
University of Oxford, 2013
22013
Stable models for nonmonotonic existential rules
D Magka, M Krötzsch, I Horrocks
Technical report, University of Oxford, 2013. http://www. cs. ox. ac. uk/isg …, 2013
22013
Chemical knowledge representation with description graphs and logic programming
D Magka, B Motik, I Horrocks
Proceedings of the 4th International Workshop on Semantic Web Applications …, 2011
22011
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling.
D Magka, M Krötzsch, I Horrocks
Description Logics, 390-402, 2013
12013
Consequence-based datatype reasoning in EL: Identifying the tractable fragments
D Magka
Master’s thesis, Oxford University Computing Laboratory, 2009
12009
Concrete Results on Abstract Rules
D Magka
2013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20