Despoina Magka
Despoina Magka
University of Oxford, Department of Computer Science
Geverifieerd e-mailadres voor cs.ox.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
932013
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
932013
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
472012
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
442011
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
44*2010
Computing Stable Models for Nonmonotonic Existential Rules
D Magka, M Krötzsch, I Horrocks
Proceedings of the 23rd International Joint Conference on Artificial …, 2013
352013
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
332011
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
332011
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
30*2012
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
112014
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20