Despoina Magka : Publications
-
[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]
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
-
[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]
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
-
[6]
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.
-
[7]
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
-
[8]
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
-
[9]
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
-
[10]
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
-
[11]
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
-
[12]
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
-
[13]
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