Skip to main content
SpringerLink
Log in

Semantics-Based Filtering: Logic Programming’s Killer App

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2257))

Included in the following conference series:

Abstract

We present a logic programming based framework for rapidly translating one formal notation \( \mathcal{L}_s \) to another formal notation \( \mathcal{L}_t \). The framework is based on Horn logical semantics—a logic programming encoding of formal semantics. A Horn logical semantics of the language \( \mathcal{L}_s \) is constructed which employs the parse trees of the language \( \mathcal{L}_t \) as semantic domains for expressing the meaning of sentences in \( \mathcal{L}_s \). This formal semantics, coded in logic programming, immediately yields an executable (reversible) filter. This (reversible) filter is provably correct, as it is generated from the semantic specification. Our approach provides a formal basis for interoperability and is illustrated through five major practical applications: Translating Nemeth Math Braille notation to LaTEX, translating HTML to VoiceXML to make web-pages accessible via an audio-browser or a phone, translating ODBC programs/data to OQL (Object Query Language) programs/data, automatically generating validating parsers for XML, and interoperating between various biological software systems developed for phylogenetic inference via the NEXUS data representation language.

Authors are partially supported by NSF grants CCR 99-00320, CCR 98-20852, CDA- 9729848, HRD 9800209, EIA 98-10732, EIA 9729848, INT 9904063, CCR 9875279 and grant H133G010046 from the US Dept. of Education.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Aho, J. D. Ullman, R. Sethi. Compilers: Principles, Techniques, and Tools. Addison Wesley. 1986.

    Google Scholar 

  2. S. F. Altschul and B. W. Erickson. Significance of nucleotide sequence alignments. Mol. Biol. Evol., 2:526–538, 1985.

    Google Scholar 

  3. A. Appel. Modern Compiler Construction in ML: Basic Techniques. 1997. Cambridge University Press.

    Google Scholar 

  4. W. Chen and D. S. Warren. Tabled Evaluation with Delaying for General Logic Programs, In JACM 43(1):20–74.

    Google Scholar 

  5. N. Datta. Semantic basis for Interoperability: An approach based on Horn Logic and Denotational Semantics. MS thesis. NMSU. Aug. 2000.

    Google Scholar 

  6. J. Felsenstein. PHYLIP: Phylogeny inference package, version 3.5c. Distributed by the author, Deparment of Genetics, Univ. Washington, Seattle, 1993.

    Google Scholar 

  7. J. W. Lloyd. Foundations of Logic Programming. Springer Verlag. 2nd ed. 1987.

    Google Scholar 

  8. C. Goldfarb, P. Prescod. The XML Handbook. Prentice Hall. 1998.

    Google Scholar 

  9. G. Gupta. Horn logic denotations and their applications. In The Logic Programming Paradigm: The next 25 years, pages 127–160. Springer Verlag, 1999.

    Google Scholar 

  10. G. Gupta, E. Pontelli. A Constraint-based Denotational Approach to Specification and Verification of Real-time Systems. In Proc. IEEE Real-time Systems Symposium, San Francisco, pp. 230–239. Dec. 1997.

    Google Scholar 

  11. G. Gupta and E. Pontelli. A Horn logical semantic framework for specification, implementation, and verification of domain specific languages. Essays in honor of Robert Kowalski, Springer Verlag, Lecture Notes in Computer Science, to appear.

    Google Scholar 

  12. G. Gupta, O. El Khatib, M. Noamany. Building the tower of Babel: Converting XML to VoiceXML for Accessibility. Proc. 7th International Conference on Computers Helping People with Special Needs (ICCHP00). OCG Press (Austria). pp. 267–272.

    Google Scholar 

  13. G. Gupta, X. Zhou. Auotmatically Generating Validating Parsers for XML. Internal Report. U. T. Dallas. 2001.

    Google Scholar 

  14. Haifeng Guo. Translating Nemeth Math Braille Code to LATEX: A Semantics-based Approach. Master Thesis. New Mexico State Univ, 1999.

    Google Scholar 

  15. C. Gunter. Programming Language Semantics. MIT Press. 1992.

    Google Scholar 

  16. C. Heitmeyer, et al. Automated Consistency Checking of Requirement Specification. In ACM Trans. on Software Engg. and Methodology, 1996.

    Google Scholar 

  17. D. G. Higgins, J. D. Thompson, and T. J. Gibson. Using CLUSTAL for multiple sequence alignments. Methods in Enzymology, 266:383–402, 1996.

    Article  Google Scholar 

  18. J. R. Iglesias, G. Gupta, E. Pontelli, D. Ranjan, B. Milligan. Interoperability between Bioinformatics Tools: A logic programming approach. In Proc. Practical Aspects of Declarative Langs, 2001. Springer Verlag LNCS 1990.

    Google Scholar 

  19. H. Guo, A. Karshmer, G. Gupta, S. Geiger, C. Weaver. A Framework for Translation of Nemeth Braille Code to LATEX: The MAVIS Project. In Proc. ACM Conf. on Assistive Technologies, pp. 136–143, 1998.

    Google Scholar 

  20. L. Liebmann. Extensible Markup Language, XML’s Tower Of Babel. http://www.internetweek.com/indepth01/indepth042401.htm.

  21. David R. Maddison, David L. Swofford, and Wayne P. Maddison. NEXUS: An extensible file format for systematic information. Syst. Biol., 46(4):590–621, 1997.

    Article  Google Scholar 

  22. Wayne P. Maddison and David R. Maddison. MacClade: Analysis of phylogeny and character evolution, version 3.07. Sinauer, Sunderland, Massachusetts, 1997.

    Google Scholar 

  23. K. Miesenberger, B. Stöger. Personal Communication.

    Google Scholar 

  24. A. Nemeth. The Nemeth Braille Code for Mathematics and Science Notation 1972 Revision (Frankfort KY: American Printing House for the Blind, 1972)

    Google Scholar 

  25. R. A. O’Keefe. The Craft of Prolog. MIT Press. 1990.

    Google Scholar 

  26. T. Parr. http://www.antlr.org.

  27. L. Scadden. Making Mathematics and Science Accessible to Blind Students Through Technology. Proceedings of RESNA’96, 1996.

    Google Scholar 

  28. D. Schmidt. Denotational Semantics: a Methodology for Language Development. W. C. Brown Publishers, 1986.

    Google Scholar 

  29. D. Schmidt. Programming language semantics. In CRC Handbook of Computer Science, Allen Tucker, ed., CRC Press, Boca Raton, FL, 1996. Summary version, ACM Computing Surveys 28–1 (1996) 265-267.

    Google Scholar 

  30. L. Sterling & S. Shapiro. The Art of Prolog. MIT Press,’ 94.

    Google Scholar 

  31. S. Stepney. High Integrity Compilation. Prentice Hall. 1993.

    Google Scholar 

  32. S. D. Swierstra and L. Duponcheel. Deterministic, Error Correcting Combinator Parsers. In Advanced Functional Programming: Second international School. LNCS 1129, pages 184–207, Springer Verlag, Berlin, 1996.

    Google Scholar 

  33. D. L. Swofford. PAUP: Phylogenetic analysis using parsimony version 3.1.1. Illinois Natural History Survey, Champaign, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, UT Dallas, Richardson, TX, USA

    Gopal Gupta

  2. Dept. of Computer Science, SUNY Stony Brook, Stony Brook, NY, USA

    Hai-Feng Guo

  3. National Science Foundation and University of S. Florida, Tampa, FL, USA

    Arthur I. Karshmer

  4. Dept. of Computer Science, New Mexico State University, Las Cruces, NM, USA

    Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Omar El Khatib & Mohammed Noamany

  5. Dept. of Biology, New Mexico State University, Las Cruces, NM, USA

    Brook Milligan

  6. Synopsis, Inc., Boston, MA, USA

    Nayana Datta

  7. Sabre, Inc, USA

    Xinhong Zhou

Authors
  1. Gopal Gupta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hai-Feng Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Arthur I. Karshmer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Enrico Pontelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Juan Raymundo Iglesias
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Desh Ranjan
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Brook Milligan
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Nayana Datta
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Omar El Khatib
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Mohammed Noamany
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Xinhong Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Brown University, Box 1910, 02912, Providence, RI, USA

    Shriram Krishnamurthi

  2. Department of Computer Science, SUNY at Stony Brook, 11794-4400, Stony Brook, NY, USA

    C. R. Ramakrishnan

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gupta, G. et al. (2002). Semantics-Based Filtering: Logic Programming’s Killer App. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds) Practical Aspects of Declarative Languages. PADL 2002. Lecture Notes in Computer Science, vol 2257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45587-6_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-45587-6_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43092-6

  • Online ISBN: 978-3-540-45587-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation