A Framework for Composition and Inter-operation of Rules in the Semantic Web

Author

Pontelli, E. ; Tran Cao Son ; Baral, C.

Author_Institution

Dept. Comput. Sci., New Mexico State Univ.

fYear

2006

fDate

10-11 Nov. 2006

Firstpage

39

Lastpage

50

Abstract

Developments in the RuleML initiative have led to the design of several languages for representing rules. In this paper we describe a framework, based on the integration of different flavors of logic programming, aimed at facilitate reasoning with multiple sources of knowledge expressed in an heterogeneity of RuleML languages. The framework allows the derivation of logic programming modules from each rule base, and their inter-operation through a well-defined module interface. In this paper we describe the basic syntax and semantics of the framework, and its preliminary implementation

Keywords

logic programming; logic programming languages; programming language semantics; semantic Web; RuleML languages; logic programming; rule composition; rule inter-operation; rule represention; semantic Web; Computer science; Encoding; Intelligent agent; Knowledge representation; Logic programming; Markup languages; Reactive power; Semantic Web; Web pages; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Rules and Rule Markup Languages for the Semantic Web, Second International Conference on

Conference_Location

Athens, GA

Print_ISBN

0-7695-2652-7

Type

conf

DOI

10.1109/RULEML.2006.1

Filename

4032389