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.
Thanks to Michael Schroeder and Gerd Wagner for inviting me to give this RuleML’03 presentation. I also want to express my gratitude to Michael Sintek and Said Tabet for valuable contributions on several topics of this paper. Said Tabet, Benjamin Grosof, and the RuleML Steering Committee have encouraged me early on regarding the OO RuleML design. Bruce Spencer has supported the development of OO RuleML, its implementations, as well as the PR rule language. Marcel Ball and Stephen Greene gave valuable hints and performed various OO RuleML and PR syntax implementations. OO RuleML has already been employed outside the RuleML team by Virendra Bhavsar (AgentMatcher project) and Daniel Lemire (RACOFI project); further applications are being planned, e.g. by Anna Maclachlan (Metaxtract project). This research was funded by NRC as part of the Sifter project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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 45836
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)
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)
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)
Dean, M., Schreiber, G.: OWL Web Ontology Language – Reference. W3C Candidate Recommendation, W3C (August 2003)
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)
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)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)
Lassila, O., Swick, R.R.: Resource Description Framework (RDF) Model and Syntax Specification. Recommendation REC-rdf-syntax- 19990222, W3C (February 1999)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boley, H. (2003). Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. In: Schröder, M., Wagner, G. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2003. Lecture Notes in Computer Science, vol 2876. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39715-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-39715-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20361-2
Online ISBN: 978-3-540-39715-1
eBook Packages: Springer Book Archive