[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Relationships between Logic Programming and RDF

  • Conference paper
  • First Online:
Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader (PRICAI 2000)

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

Included in the following conference series:

Abstract

Mutual relationships between logic programming and RDF are examined. Basic RDF is formalized with ground binaryDatalog Horn facts. Containers are modeled using (‘active’) polyadic constructors. For meta-statements a modal-logic treatment is suggested. To reduce large fact sets, an “inferential RDF”, with special Horn rules, is introduced. A direct representation of non-binaryrelations is proposed. Reification is thus abandonned and RDF diagrams are generalized using hypergraphs. RDF types are considered as sort predicates. RDF Schema’s class/propertyhierarc hies are regarded as a second-order subsumes/ subsumes2 syntax or as simple Horn rules. Its domain/range constraints are extended to (polymorphic) signatures. All concepts are explained via knowledge-representation examples as usable byinformation agents.

I would like to thank Leon Sterling,Seng Wai Loke,and the programm committeeof the 1st Pacific Rim International Workshop on Intelligent Information Agents forinviting me to this article.It is based on preparatoryresearch done for the EU project CLOCKWORK.Special thanks for valuable RDF discussions and proof-reading go to Michael Sintek.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. A. Abecker, A. Bernardi, L. van Elst, A. Lauer, H. Maus, S. Schwarz, and M. Sintek. FRODO: A Framework for Distributed Organizational Memories. Milestone M1: Requirements Analysis and System Architecture. Technical Report D-01-01, DFKI, March 2001.

    Google Scholar 

  2. Dan Brickleyand R.V. Guha. Resource Description Framework (RDF) Schema Specification 1.0. Candidate Recommendation CR-rdf-schema-20000327, W3C, March 2000.

    Google Scholar 

  3. Tim Berners-Lee and Mark Fischetti. Weaving the Web: The Original Design and Ultimate Destiny of xxx the World Wide Web by its Inventor. Harper, San Francisco, 1999.

    Google Scholar 

  4. Harold Boley. Declarative Operations on Nets. In Fritz Lehmann, editor, Semantic Networks in Artificial Intelligence, volume 23, pages 601–637. Special Issue of Computers & Mathematics with Applications, Pergamon Press, 1992.

    Google Scholar 

  5. Harold Boley. ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. In Hannu Jaakkola, Hannu Kangassalo, and Eiji Kawaguchi, editors, Information Modelling and Knowledge Bases X. IOS Press, Amsterdam, “Frontiers in Artificial Intelligence and Applications”, Spring 1999.

    Google Scholar 

  6. Harold Boley. Cross-Fertilizing Logic Programming and XML for Knowledge Representation. In Rolf Grütter, editor, Knowledge Media in Healthcare: Opportunities and Challenges. Hersey-London-Melbourne-Singapore: Idea Group Publishing, 2001.

    Google Scholar 

  7. Pierre-Antoine Champin. RDF Tutorial. Technical Report, LISI (Laboratory of Information Systems Engineering), Université Claude Bernard, Lyon 1, March 2000.

    Google Scholar 

  8. Stefan Decker, Dan Brickley, Janne Saarela, and Jürgen Angele. A Query and Inference Service for RDF. In QL’98-The Query Languages Workshop, http://www.w3.org/TandS/QL/QL98/. World Wide Web Consortium, 1997.

  9. Ian Horrocks and Dieter Fensel et al. The OntologyInference Layer OIL. Technical Report, http://www.ontoknowledge.org/oil/TR/oil.long.html, June 2000.

  10. James A. Hendler. Activities at DARPA. http://www.cs.umd.edu/~hendler/darpa.html, 2000.

  11. Peter D. Karp, Vinay K. Chaudhri, and Jerome Thomere. XOL: An XML-Based OntologyExc hange Language. Technical Report, Artificial Intelligence Center, SRI International, August 1999.

    Google Scholar 

  12. John W. Lloyd.Foundations of Logic Programming. Springer-Verlag, Berlin, Heidelberg, New York, 1987.

    MATH  Google Scholar 

  13. Ora Lassila and Ralph R. Swick. Resource Description Framework (RDF) Model and Syntax Specification. Recommendation REC-rdfsyntax-19990222, W3C, February 1999.

    Google Scholar 

  14. N.F. Noy, M. Sintek, S. Decker, M. Crubézy, R.W. Fergerson, and M.A. Musen. Creating Semantic Web Contents with Protégé-2000. IEEE Intelligent Systems, 16(2):60–71, 2001.

    Article  Google Scholar 

  15. William A. Woods. What’s in a Link: Foundations for Semantic Networks. In Daniel C. Bobrow and A.M. Collins, editors, Representation and Understanding: Studies in Cognitive Science, pages 35–82. Academic Press, New York, 1975.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DFKI GmbH, Germany

    Harold Boley

Authors
  1. Harold Boley
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CSIRO Mathematical and Information Sciences, 723 Swanston Street, Carlton, VIC 3053, Australia

    Ryszard Kowalczyk

  2. School of Computer Science and Information Technology, RMIT University, GPO Box 2476V, Melbourne, VIC 3001, Australia

    Seng Wai Loke

  3. Department of Computer and Information Science, Linköping University, 581 83, Linköping, Sweden

    Nancy E. Reed

  4. CSIRO Mathematical and Information Sciences, GPO Box 664, Canberra, ACT 2601, Australia

    Graham J. Williams

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Boley, H. (2001). Relationships between Logic Programming and RDF. In: Kowalczyk, R., Loke, S.W., Reed, N.E., Williams, G.J. (eds) Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader. PRICAI 2000. Lecture Notes in Computer Science(), vol 2112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45408-X_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-45408-X_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42597-7

  • Online ISBN: 978-3-540-45408-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation