Object-Oriented RuleML: User-level roles, URI-grounded clauses, and order-sorted terms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2876, Issue , 2003, Pages 1-16

  Boley, Harold ^a  

^a NATIONAL RESEARCH COUNCIL CANADA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTIC WEB; SYNTACTICS;

CLASS HIERARCHIES; COMPLEX TERM; LIGHT WEIGHT; OBJECT IDENTIFIER; OBJECT ORIENTED; RDF SCHEMATA; SUBLANGUAGES; USER LEVELS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0242308014     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39715-1_1     Document Type: Article

References (12)

1. Michelle Anderson, Marcel Ball, Harold Boley, Stephen Greene, Nancy Howse, Daniel Lemire, and Sean McGrath. RACOFI: A Rule-Applying Collaborative Filtering System. Submitted for publication, August 2003.
2. Virendra C. Bhavsar, Harold Boley, and Lu Yang. A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in e-Business Environments. In Proc. Business Agents and the Semantic Web (BASeWEB) Workshop, pages 53-72. NRC 45836, June 2003.
3. T. Berners-Lee, R. Fielding, and L. Masinter. Uniform Resource Identifiers (URI): Generic Syntax. Request for Comments 2396, Network Working Group, The Internet Society, August 1998.
4. Harold Boley. The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. In Proc. 14th International Conference on Applications of Prolog (INAP2001). The University of Tokyo, LNAI 2543, Springer-Verlag, October 2002.
5. Harold Boley, Said Tabet, and Gerd Wagner. Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In Proc. Semantic Web Working Symposium (SWWS'01), pages 381-401. Stanford University, July/August 2001.
6. Mike Dean and Guus Schreiber. OWL Web Ontology Language - Reference. W3C Candidate Recommendation, W3C, August 2003.
7. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. 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.
8. Michael Kifer and Georg Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. In James Clifford, Bruce G. Lindsay, and David Maier, editors, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pages 134-146, Portland, Oregon, 31 May-2 June 1989.
9. John W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, Heidelberg, New York, 1987.
10. Ora Lassila and Ralph R. Swick. Resource Description Framework (RDF) Model and Syntax Specification. Recommendation REC-rdf-syntax-19990222, W3C, February 1999.
11. Michael Sintek and Stefan Decker. TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In 1st International Semantic Web Conference (ISWC2002). Sardinia, Italy, June 2002.
12. Bruce Spencer. The Design of j-Drew: A Deductive Reasoning Engine for the Web. In Joint CoLogNet Workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems of LOPSTR '02. Technical University of Madrid, Spain, September 2002.