Modularity in the Rule Interchange Format

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)


The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason, it is essential to the community to discuss the recommendations published by the W3C RIF Working Group. In particular, this paper presents the semantics of Rule Interchange Format (RIF) of multi-documents, analyses it and some deficiencies are elicited. A more general approach is proposed as an alternative semantics for multi-documents. As a side important result, some relevant problems in the semantics of RIF-FLD are also discussed and possible ways out are proposed.

Original languageEnglish
Title of host publicationRule-Based Reasoning, Programming, and Applications
Subtitle of host publication5th International Symposium, RuleML 2011, Proceedings
EditorsNick Bassiliades, Guido Governatori, Adrian Paschke
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages16
Volume6826 LNCS
ISBN (Electronic)9783642225468
ISBN (Print)9783642225451
Publication statusPublished - 12 Jul 2011
Externally publishedYes
Event5th International Symposium on Rules: Research Based and Industry Focused - Barcelona, Spain
Duration: 19 Jul 201121 Jul 2011
Conference number: 5

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer-Verlag Berlin Heidelberg
Volume6826 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Symposium on Rules
Abbreviated titleRuleML 2011
Internet address


Dive into the research topics of 'Modularity in the Rule Interchange Format'. Together they form a unique fingerprint.

Cite this