ASP at Work: An ASP Implementation of PhyloWS

Le, Tiep; Nguyen, Hieu; Pontelli, Enrico; Cao Son, Tran

doi:10.4230/LIPIcs.ICLP.2012.359

Document

ASP at Work: An ASP Implementation of PhyloWS

Authors Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son

Part of: Volume: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (ICLP 2012)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution-NoDerivs 3.0 Unported license
Publication Date: 2012-09-05

PDF

File

PDF

LIPIcs.ICLP.2012.359.pdf

Filesize: 421 kB
11 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ICLP.2012.359
URN: urn:nbn:de:0030-drops-36369

Subject Classification

Keywords

Answer sets
phylogenetic inference
systems
applications

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get BibTex

Tiep Le, Hieu Nguyen, Enrico Pontelli, and Tran Cao Son. ASP at Work: An ASP Implementation of PhyloWS. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 359-369, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012) https://doi.org/10.4230/LIPIcs.ICLP.2012.359

Author Details

Tiep Le

Hieu Nguyen

Enrico Pontelli

Tran Cao Son

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail