论文信息 - Rule Interchange Format: The Framework

Rule Interchange Format: The Framework

The Rule Interchange Format (RIF) activity within the World Wide Web Consortium (W3C) aims to develop a standard for exchanging rules among disparate systems, especially on the Semantic Web. The need for rule-based information processing on the Web has been felt ever since RDF was introduced in the late 90's. As ontology development picked up pace this decade and as the limitations of OWL became apparent, rules were firmly put back on the agenda. RIF is therefore a major opportunity for the introduction of rule based technologies into the main stream of knowledge representation and information processing on the Web.

Michael Kifer | M. Kifer

[1] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.

[2] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .

[3] Michael Eckert,et al. Reactivity on the web: paradigms and applications of the language XChange , 2005, SAC '05.

[4] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.

[5] Paul J. Walmsley,et al. XML Schema Part 0: Primer Second Edition , 2004 .

[6] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[7] Michael Kifer,et al. HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[8] William F. Clocksin,et al. Programming in Prolog , 1987, Springer Berlin Heidelberg.

[9] Michael Kifer,et al. RIF Framework for Logic Dialects , 2009 .

[10] Yoav Shoham,et al. Nonmonotonic Logics: Meaning and Utility , 1987, IJCAI.

[11] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .

[12] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.