Multiple Context Error

From RIF
Revision as of 18:17, 24 November 2009 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search



Test TypeImportRejectionTest
ContributorStella Mitchell
StatusApproved
Record27 October 2009 telecon
DialectCore
PurposeA constant symbol that is not a rif:local constant cannot occur in more than one context in the imports closure of a RIF document.
DescriptionThe constant symbol eg:discount is used as a predicate in the importing document and as an individual in the imported document.
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Well-formed_Formulas
http://www.w3.org/2005/rules/wiki/PRD#Well-formed_formulas
ImportedDocument
Format Presentation Syntax
Location http://example.org/doc1
TextDocument( Prefix(eg <http://example.org/example#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Group ( Forall ?Name ( eg:customer[eg:discount -> "10"^^xs:integer eg:name -> ?Name] :- eg:customer[eg:status -> "gold" eg:name -> ?Name] ) ) )
Input
Presentation SyntaxDocument ( Prefix(eg <http://example.org/example#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Import(<http://example.org/doc1>) Group ( Forall ?Customer ( eg:discount(?Customer "5"^^xs:integer) :- eg:silver(?Customer) ) ) )
XMLview RIF/XML