文章基本信息

标题：ASP at Work: An ASP Implementation of PhyloWS
本地全文：下载
作者：Tiep Le ; Hieu Nguyen ; Enrico Pontelli 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：17
页码：359-369
DOI：10.4230/LIPIcs.ICLP.2012.359
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：This paper continues the exploration started in [Bininda-Emonds,2004], aimed at demonstrating the use of logic programming technology to support a large scale deployment and analysis of phylogenetic data from biological studies. This application paper illustrates the use of ASP technology in implementing the PhyloWS web service API - a recently proposed and community-agreed standard API to enable uniform access and inter-operation among phylogenetic applications and repositories. To date, only very incomplete implementations of PhyloWS have been realized; this paper demonstrates how ASP provides an ideal technology to support a more comprehensive realization of PhyloWS on a repository of semantically-described phylogenetic studies. The paper also presents a challenge for the developers of ASP-solvers.
关键词：Answer sets; phylogenetic inference; systems; applications