| Authors |
Source/Publication |
Title [Full Text] |
Abstract |
| Ian Horrocks,
Peter F. Patel-Schneider,
Harold Boley,
Said Tabet,
Benjamin Grosof,
Mike Dean |
DARPA DAML Draft |
SWRL: A Semantic Web Rule Language
Combining OWL and RuleML |
This document contains a proposal for a Semantic Web Rule Language (SWRL)
based on a combination of the OWL DL and OWL Lite sublanguages of the
OWL Web Ontology Language with the Unary/Binary Datalog RuleML sublanguages of the Rule Markup Language. SWRL
includes a high-level abstract syntax for Horn-like rules in both
the OWL DL and OWL Lite sublanguages of OWL. A model-theoretic
semantics is given to provide the formal meaning for OWL ontologies
including rules written in this abstract syntax. An XML syntax based
on RuleML and the OWL XML Presentation Syntax as well as a mapping to RDF graphs based
on the OWL RDF/XML exchange syntax are also given, along with several
examples. |
| Harold Boley |
RuleML-2003 |
Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms |
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. |
| Michelle Anderson, Marcel Ball,
Harold Boley, Stephen Greene, Daniel Lemire, Nancy Howse, Sean McGrath |
COLA 2003 |
RACOFI: A Rule-Applying Collaborative Filtering System |
In this paper we give an overview of the RACOFI (Rule-Applying
Collaborative Filtering) multidimensional rating system and its
related technologies. This will be exemplified with RACOFI Music,
an implemented collaboration agent that assists on-line users in
the rating and recommendation of audio (Learning) Objects. It lets
users rate contemporary Canadian music in the five dimensions of
impression, lyrics, music, originality, and production. The
collaborative filtering algorithms STI, Pearson,
STIN2, and the Per Item Average algorithms
are then employed together with RuleML-based rules to recommend
music objects that best match user queries. RACOFI has been on-line
since August 2003 at http://racofi.elg.ca. |
| Riyanarto Sarno,
Lu Yang,
Virendra Bhavsar,
Harold Boley |
KGGI 2003 |
The AgentMatcher Architecture Applied to Power Grid Transactions |
The number of complex transactions in a power grid to determine economical ways of satisfying power demands given a set of power plants has increased significantly. Knowledge-based solution and intelligent computational grids can help in these transactions. This paper presents the application of the AgentMatcher architecture for similarity, pairing and negotiation in order to optimize the transactions in these virtual markets. We use tree similarity and agent pairing to obtain for each buyer (power distributor, a ranking table of candidate sellers (power plants). A similarity based on weight variance and a negotiation algorithm based on priority groups of sellers are also proposed. |
| Gerd Wagner, Said Tabet,
Harold Boley |
Integrate 2003 |
MOF-RuleML:
The Abstract Syntax of RuleML as a MOF Model |
This paper discusses the approach taken by the Rule Markup Language (RuleML) Initiative and relates it to MDA and UML by the Object Management Group (OMG). It also presents the abstract syntax of RuleML 0.8 as a MOF model and discusses the various issues arising in efforts to integrate RuleML with OCL and Action Semantics. |
| Virendra Bhavsar,
Harold Boley,
Lu Yang |
BASeWEB'03 |
A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments |
A tree similarity algorithm for match-making of agents in e-business environments is presented. Product/service descriptions of seller and buyer agents are represented as node-labelled, arc-labelled, arc-weighted trees. A similarity algorithm for such trees is developed as the basis for semantic match-making in a virtual marketplace. The trees are exchanged using a serialization in Object-Oriented RuleML. A corresponding Relfun representation is employed to implement the similarity algorithm as a parameterised, recursive functional program. Results from our experiments are found to be meaningful for e-business environments. |