Skip to main content
SpringerLink
Log in

Syntax Reuse: XSLT as a Metalanguage for Knowledge Representation Languages

  • Conference paper
Rules on the Web: Research and Applications (RuleML 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7438))

  • 733 Accesses

Abstract

We present here MXSL, a subset of XSLT re-interpreted as a syntactic metalanguage for RuleML with operational semantics based on XSLT processing. This metalanguage increases the expressivity of RuleML knowledge bases and queries, with syntactic access to the complete XML tree through the XPath Data Model. The metalanguage is developed in an abstract manner, as a paradigm applicable to other KR languages, in XML or in other formats.

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. W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures W3C Working Draft (December 3, 2009), http://www.w3.org/TR/xmlschema11-1/

  2. ISO/IEC: 19757-2 Document Schema Definition Language (DSDL) Part 2: Regular-grammar-based validation - RELAX NG. International Organization for Standardization, Geneva (2008)

    Google Scholar 

  3. ISO: 19757-3 Information technology – Document Schema Definition Language (DSDL) – Part 3: Rule-based validation – Schematron. International Organization for Standardization, Geneva (2006)

    Google Scholar 

  4. Semantic Web on XML: Architecture, http://www.w3.org/2000/Talks/1206-xml2k-tbl/slide10-0.html

  5. Introducing JSON, http://json.org/

  6. A Web Data Model Unifying XML and RDF, http://www.dfki.uni-kl.de/~boley/xmlrdf.html

  7. Patel-Schneider, P., et al.: The Yin/Yang web: XML syntax and RDF semantics. In: Proceedings of the 11th International Conference on World Wide Web, pp. 443–453. ACM, Honolulu (2002)

    Chapter  Google Scholar 

  8. Athan, M.: XCLX: An XML-based Common Logic eXtension with Embedded Geography Markup Language. Geographic Information Systems. p. 77. University of Leeds (2011)

    Google Scholar 

  9. Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: The Overarching Specification of Web Rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S., et al. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 162–178. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  10. XSL Transformations (XSLT) Version 1.0, http://www.w3.org/TR/xslt

  11. XQuery 1.0 and XPath 2.0 Data Model (XDM), 2nd edn., http://www.w3.org/TR/xpath-datamodel/

  12. Universal Turing Machine in XSLT, http://www.unidex.com/turing/utm.htm

  13. IKL Guide, http://www.ihmc.us/users/phayes/IKL/GUIDE/GUIDE.html

  14. Welcome - Geoserver, http://geoserver.org/display/GEOS/Welcome

  15. Infinitary Logic, http://plato.stanford.edu/entries/logic-infinitary/

  16. Moore, G.H.: The Emergence of First-Order Logic. In: William Aspray, P.K. (ed.) History and Philosophy of Modern Mathematics, vol. 11. University of Minnesota Press, Minneapolis (1988)

    Google Scholar 

  17. Skolem, T.: Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen. Videnskapsselskapet Skrifter, I. Matematisk-naturvidenskabelig Klasse 6, 1–36 (1920)

    Google Scholar 

  18. The Metacircular Evaluator, http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-26.html#%_sec_4.1

  19. ISO/IEC: Information technology — Common Logic (CL): a framework for a family of logic based languages. International Organization for Standardization, Geneva (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Athan Services, Ukiah, CA, USA

    Tara Athan

Authors
  1. Tara Athan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Studies, University College London, Gower Street, WC1E 6BT, London, UK

    Antonis Bikakis

  2. Department of Databases and Information Systems, Brandenburg University of Technology at Cottbus, Walther Pauer Str. 2, 03046, Cottbus, Germany

    Adrian Giurca

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Athan, T. (2012). Syntax Reuse: XSLT as a Metalanguage for Knowledge Representation Languages. In: Bikakis, A., Giurca, A. (eds) Rules on the Web: Research and Applications. RuleML 2012. Lecture Notes in Computer Science, vol 7438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32689-9_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32689-9_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32688-2

  • Online ISBN: 978-3-642-32689-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation