Despoina Magka : Publications

Journal papers

• [1]

  Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

  Bernardo Cuenca Grau‚ Ian Horrocks‚ Markus Krötzsch‚ Clemens Kupke‚ Despoina Magka‚ Boris Motik and Zhe Wang

  In Journal of Artificial Intelligence Research (JAIR). Vol. 47. 2013.

  Details about Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies | BibTeX data for Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies | Download  (pdf) of Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

• [2]

  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.

  Details about Structure−based classification and ontology in chemistry | BibTeX data for Structure−based classification and ontology in chemistry | Download of Structure−based classification and ontology in chemistry

• [3]

  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.

  Details about Tractable Extensions of the Description Logic EL with Numerical Datatypes | BibTeX data for Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download of Tractable Extensions of the Description Logic EL with Numerical Datatypes

Conference papers

• [1]

  Concrete Results on Abstract Rules

  Markus Krötzsch‚ Despoina Magka and Ian Horrocks

  In Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning. September, 2013.

  Details about Concrete Results on Abstract Rules | BibTeX data for Concrete Results on Abstract Rules | Download  (pdf) of Concrete Results on Abstract Rules

• [2]

  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.

  Details about Computing Stable Models for Nonmonotonic Existential Rules | BibTeX data for Computing Stable Models for Nonmonotonic Existential Rules | Download slides.pdf of Computing Stable Models for Nonmonotonic Existential Rules | Download paper.pdf of Computing Stable Models for Nonmonotonic Existential Rules

• [3]

  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 about Ontology−Based Classification of Molecules: a Logic Programming Approach | BibTeX data for Ontology−Based Classification of Molecules: a Logic Programming Approach | Download slides (pdf) of Ontology−Based Classification of Molecules: a Logic Programming Approach | Download paper (pdf) of Ontology−Based Classification of Molecules: a Logic Programming Approach

• [4]

  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 about Modelling Structured Domains Using Description Graphs and Logic Programming. | BibTeX data for Modelling Structured Domains Using Description Graphs and Logic Programming. | Download slides (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming. | Download paper (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming.

• [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 about Classifying Chemicals Using Description Graphs and Logic Programming | BibTeX data for Classifying Chemicals Using Description Graphs and Logic Programming | Download slides (pdf) of Classifying Chemicals Using Description Graphs and Logic Programming | Download paper (pdf) of Classifying Chemicals Using Description Graphs and Logic Programming

• [6]

  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 about Acyclicity Conditions and their Application to Query Answering in Description Logics | BibTeX data for Acyclicity Conditions and their Application to Query Answering in Description Logics | Download slides (pdf) of Acyclicity Conditions and their Application to Query Answering in Description Logics | Download paper (pdf) of Acyclicity Conditions and their Application to Query Answering in Description Logics

• [7]

  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 about Modelling Structured Domains Using Description Graphs and Logic Programming. | BibTeX data for Modelling Structured Domains Using Description Graphs and Logic Programming. | Download slides (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming. | Download paper (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming.

• [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 about Chemical Knowledge Representation with Description Graphs and Logic Programming | BibTeX data for Chemical Knowledge Representation with Description Graphs and Logic Programming | Download slides (pdf) of Chemical Knowledge Representation with Description Graphs and Logic Programming | Download paper (pdf) of Chemical Knowledge Representation with Description Graphs and Logic Programming

• [9]

  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 about Tractable Extensions of the Description Logic EL with Numerical Datatypes | BibTeX data for Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download slides (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download paper (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes

• [10]

  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). May, 2010.

  Details about Tractable Extensions of the Description Logic EL with Numerical Datatypes | BibTeX data for Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download slides (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download paper (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes