id: 05971302
dt: a
an: 05971302
au: Damásio, Carlos Viegas; Analyti, Anastasia; Antoniou, Grigoris
ti: Modularity in the rule interchange format.
so: Bassiliades, Nick (ed.) et al., Rule-based reasoning, programming, and
    applications. 5th international symposium, RuleML 2011 ‒ Europe,
    Barcelona, Spain, July 19‒21, 2011. Proceedings. Berlin: Springer
    (ISBN 978-3-642-22545-1/pbk). Lecture Notes in Computer Science 6826,
    313-328 (2011).
py: 2011
pu: Berlin: Springer
la: EN
cc: 
ut: semantic web; rule interchange format; modularity; logic programming;
    language issues; many-valued semantics
ci: 
li: doi:10.1007/978-3-642-22546-8_25
ab: Summary: 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.
rv: