Skip to main content

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6547))

Abstract

In this paper we investigate an extension of the XQuery language for querying and reasoning with OWL-style ontologies. The proposed extension incorporates new primitives (i.e. boolean operators) in XQuery for the querying and reasoning with OWL-style triples in such a way that XQuery can be used as query language for the Semantic Web. In addition, we propose a Prolog-based implementation of the extension.

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

Access this chapter

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. Almendros-Jiménez, J.M.: An RDF Query Language based on Logic Programming. Electronic Notes in Theoretical Computer Science 200(3), 67–85 (2008)

    Article  Google Scholar 

  2. Almendros-Jiménez, J.M.: An encoding of xQuery in prolog. In: Bellahsène, Z., Hunt, E., Rys, M., Unland, R. (eds.) XSym 2009. LNCS, vol. 5679, pp. 145–155. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  3. Almendros-Jiménez, J.M.: A Query Language for OWL based on Logic Programming. In: 5th Int’l Workshop on Automated Specification and Verification of Web Systems, WWv 2009, pp. 69–84 (2009)

    Google Scholar 

  4. Almendros-Jiménez, J.M., Becerra-Terón, A., Enciso-Baños, F.J.: Integrating XQuery and Logic Programming. In: Seipel, D., Hanus, M., Wolf, A. (eds.) INAP 2007. LNCS (LNAI), vol. 5437, pp. 117–135. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  5. Almendros-Jiménez, J.M., Becerra-Terón, A., Enciso-Baños, F.J.: Querying XML documents in logic programming. TPLP 8(3), 323–361 (2008)

    MATH  Google Scholar 

  6. Baader, F., Horrocks, I., Sattler, U.: Description logics, pp. 3–28. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  7. Bailey, J., Bry, F., Furche, T., Schaffert, S.: Web and Semantic Web Query Languages: A Survey. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, pp. 35–133. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Berners-Lee, T.: N3QL-RDF Data Query Language. Technical report, Online only (2004)

    Google Scholar 

  9. Boncz, P., Grust, T., van Keulen, M., Manegold, S., Rittinger, J., Teubner, J.: MonetDB/XQuery: a fast XQuery processor powered by a relational engine. In: Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, pp. 479–490. ACM, New York (2006)

    Chapter  Google Scholar 

  10. Boncz, P.A., Grust, T., van Keulen, M., Manegold, S., Rittinger, J., Teubner, J.: Pathfinder: XQuery - The Relational Way. In: Proc. of the International Conference on Very Large Databases, pp. 1322–1325. ACM Press, New York (2005)

    Google Scholar 

  11. Chamberlin, D., Draper, D., Fernández, M., Kay, M., Robie, J., Rys, M., Simeon, J., Tivy, J., Wadler, P.: XQuery from the Experts. Addison Wesley, Boston (2004)

    Google Scholar 

  12. Davis, I.: RDF Template Language 1.0. Technical report, Online only (September 2003)

    Google Scholar 

  13. de Bruijn, J., Lara, R., Polleres, A., Fensel, D.: OWL DL vs. OWL Flight: conceptual modeling and reasoning for the semantic Web. In: WWW 2005: Proceedings of the 14th International Conference on World Wide Web, pp. 623–632. ACM Press, New York (2005)

    Google Scholar 

  14. de Laborda, C.P., Conrad, S.: Bringing Relational Data into the Semantic Web using SPARQL and Relational OWL. In: Procs. of ICDEW 2006. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  15. Furche, T., Bry, F., Bolzer, O.: Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 72–84. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  16. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. of the International Conference on World Wide Web, USA, pp. 48–57. ACM Press, New York (2003)

    Google Scholar 

  17. Haase, P., Broekstra, J., Eberhart, A., Volz, R.: A Comparison of RDF query languages. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 502–517. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  18. Hustadt, U., Motik, B., Sattler, U.: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3), 351–384 (2007)

    Article  MATH  Google Scholar 

  19. Karvounarakis, G., Alexaki, S., Christophides, V., Plexousakis, D., Scholl, M.: RQL: a declarative query language for RDF. In: WWW 2002: Proceedings of the 11th International Conference on World Wide Web, pp. 592–603. ACM Press, New York (2002)

    Google Scholar 

  20. Katz, H.: XsRQL: an XQuery-style Query Language for RDF. Technical report, Online only (2004)

    Google Scholar 

  21. Marian, A., Simeon, J.: Projecting XML Documents. In: Proc. of International Conference on Very Large Databases, Burlington, USA, pp. 213–224. Morgan Kaufmann, San Francisco (2003)

    Google Scholar 

  22. Miller, L., Seaborne, A., Reggiori, A.: Three Implementations of SquishQL, a Simple RDF Query Language. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 423–435. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  23. Robie, J., Garshol, L.M., Newcomb, S., Biezunski, M., Fuchs, M., Miller, L., Brickley, D., Christophides, V., Karvounarakis, G.: The Syntactic Web: Syntax and Semantics on the Web. Markup Languages: Theory & Practice 4(3), 411–440 (2002)

    Google Scholar 

  24. Schaffert, S., Bry, F.: A Gentle Introduction to Xcerpt, a Rule-based Query and Transformation Language for XML. In: Proc. of International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, Aachen, Germany. CEUR Workshop Proceedings, vol. 60, pages 22 (2002)

    Google Scholar 

  25. Sintek, M., Decker, S.: TRIPLE–A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 364–378. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  26. Souzis, A.: RxPath: a mapping of RDF to the XPath Data Model. In: Extreme Markup Languages (2006)

    Google Scholar 

  27. Volz, R.: Web Ontology Reasoning with Logic Databases. PhD thesis, Universität Fridericiana zu Karlsruhe (2004)

    Google Scholar 

  28. W3C. RDF Vocabulary Description Language 1.0: RDF Schema. Technical report (2004), www.w3.org

  29. W3C. Resource Description Framework (RDF). Technical report (2004), www.w3.org

  30. W3C. XML Path Language (XPath) 2.0. Technical report (2007), www.w3.org

  31. W3C. XML Query Working Group and XSL Working Group, XQuery 1.0: An XML Query Language. Technical report (2007), www.w3.org

  32. W3C. OWL 2 Web Ontology Language. Technical report (2008), www.w3.org

  33. Walsh, N.: RDF Twig: Accessing RDF Graphs in XSLT. In: Proceedings of Extreme Markup Languages (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Almendros-Jiménez, J.M. (2011). Extending XQuery for Semantic Web Reasoning. In: Abreu, S., Seipel, D. (eds) Applications of Declarative Programming and Knowledge Management. INAP 2009. Lecture Notes in Computer Science(), vol 6547. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20589-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-20589-7_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-20588-0

  • Online ISBN: 978-3-642-20589-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics