2026-07-22T06:26:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3636 2024-03-06T10:34:28Z ddc:004 open_access

ASP at Work: An ASP Implementation of PhyloWS Le, Tiep Nguyen, Hieu Pontelli, Enrico Cao Son, Tran Answer sets phylogenetic inference systems applications 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Tiep Le and Hieu Nguyen and Enrico Pontelli and Tran Cao Son 2012 Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2012.359 urn:nbn:de:0030-drops-36369 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.359 eng https://creativecommons.org/licenses/by-nd/3.0/legalcode