Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms

  • Harold Boley
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2876)

Abstract

This paper describes an Object-Oriented extension to RuleML as a modular combination of three sublanguages. (1) User-level roles provide frame-like slot representations as unordered argument collections in atoms and complex terms. (2) URI-grounded clauses allow for ‘webizing’ using URIs as object identifiers for facts and rules. (3) Order-sorted terms permit typed variables via Web links into taxonomies such as RDF Schema class hierarchies, thus reusing the Semantic Web’s light-weight ontologies. Besides introducing the first sublanguage with the Positional-Roled (ASCII) syntax, all three sublanguages are introduced with the OO RuleML (XML) syntax. Their semantics are sketched and their implementation paths are discussed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ABB+03.
    Anderson, M., Ball, M., Boley, H., Greene, S., Howse, N., Lemire, D., McGrath, S.: RACOFI: A Rule-Applying Collaborative Filtering System (August 2003) (submitted for publication)Google Scholar
  2. BBY03.
    Bhavsar, V.C., Boley, H., Yang, L.: A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in e-Business Environments. In: Proc. Business Agents and the Semantic Web (BASeWEB) Workshop, June 2003, pp. 53–72 (2003) NRC 45836Google Scholar
  3. BLFM98.
    Berners-Lee, T., Fielding, R., Masinter, L.: Uniform Resource Identifiers (URI): Generic Syntax. Request for Comments 2396, Network Working Group, The Internet Society (August 1998) Google Scholar
  4. Bol02.
    Boley, H.: The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS (LNAI), vol. 2543, pp. 5–22. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. BTW01.
    Boley, H., Tabet, S., Wagner, G.: Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In: Proc. Semantic Web Working Symposium (SWWS 2001), pp. 381–401. Stanford University, Stanford (2001)Google Scholar
  6. DS03.
    Dean, M., Schreiber, G.: OWL Web Ontology Language – Reference. W3C Candidate Recommendation, W3C (August 2003) Google Scholar
  7. GHVD03.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. 12th Intl. Conf. on the World Wide Web (WWW 2003), Budapest, Hungary (May 2003)Google Scholar
  8. KL89.
    Kifer, M., Lausen, G.: F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. In: Clifford, J., Lindsay, B.G., Maier, D. (eds.) Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, May 31-June 2, pp. 134–146 (1989)Google Scholar
  9. Llo87.
    Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)MATHGoogle Scholar
  10. LS99.
    Lassila, O., Swick, R.R.: Resource Description Framework (RDF) Model and Syntax Specification. Recommendation REC-rdf-syntax- 19990222, W3C (February 1999) Google Scholar
  11. SD02.
    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, p. 364. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  12. Spe02.
    Spencer, B.: The Design of j-Drew: A Deductive Reasoning Engine for the Web. In: Leuschel, M. (ed.) LOPSTR 2002. LNCS, vol. 2664. Springer, Heidelberg (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Harold Boley
    • 1
  1. 1.Institute for Information Technologye-Business, National Research Council of CanadaFrederictonCanada

Personalised recommendations