A General Rule Markup Language has several purposes. It may serve as a lingua franca to exchange rules between different rule systems and rule components in application software. It may be used to express derivation rules for enriching XML/RDF-based taxonomies (also called ‘web ontologies’) by adding definitions of derived concepts. It may be used to publish the reactive behavior of a system in...

Web services, the key technology indispensable for e-business, is a comprehensible service providing the desired information or service in the same environment regardless of time and place by integrating current application systems within a single business or between multiple businesses with standardized technologies through the open network using the Internet. However the current web services ...

Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrepancy between these two knowledge representations, this paper introduces Datalog as a family of hybrid languages, where Datalog rules are parameterized by various DL (description logic) languages ranging from ALC to SHIQ . Making Datalog a decidable system with complexity of EXPTIME, we propose in...

Submitted 12 May 2006; revised 24 Sep 2007; accepted 18 October 2007 Abstract. We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to develop an integrated ontology/rule language, and 2) layering rules on top of an ontology with RuleML and OWL. Toward this end, we are developing the S...

This chapter introduces a number of formal logical languages which form the backbone of the Semantic Web. They are used for the representation of both ontologies and rules. The basis for all languages presented in this chapter is the classical First-Order Logic. Description Logics is a family of languages which represent subsets of first-order logic. Expressive description logic languages form ...

We present Dexter, a browser-based, domain-independent structured-data explorer for users. Dexter enables users to explore data from multiple local and Web-accessible heterogeneous data sources such as files, Web pages, APIs and databases in the form of tables. Dexter’s users can also compute tables from existing ones as well as validate the tables (base or computed) through declarative rules. ...

Currently, there is no generally adopted standard for a Semantic Web rule language, but there are several important evolving proposals such as RuleML, Semantic Web Rule Language (SWRL), and REWERSE Rule Markup Language (R2ML). Having that in mind, one may expect that various systems (e.g. Web services) will use different rule languages, and thus introduce problems in sharing rules. In this pape...

An important problem to be addressed within Event-Driven Architecture (EDA) is how to correctly and efficiently capture and process the event/action-based logic. This paper endeavors to bridge the gap between the Knowledge Representation (KR) approaches based on durable events/actions and such formalisms as event calculus, on one hand, and event-condition-action (ECA) reaction rules extending t...

Rule Responder is an intelligent rule-based system for collaborative teams and virtual communities that uses RuleML as its knowledge interchange format. This multi-agent infrastructure allows these virtual organizations to collaborate in an automated manner. It is implemented as a Web Service application on top of Mule, an Enterprise Service Bus. It supports rule execution environments (rule/in...

Permission is granted to quote short excerpts and to reproduce figures and tables from this report, provided that the source of such material is fully acknowledged. Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepancy between these two knowledge representations, this paper introduces Datalog DL as a family of hybrid languages, where Datalog rules...