Multiple Context Error

Test Type	ImportRejectionTest
Contributor	Stella Mitchell
Status	Approved
Record	27 October 2009 telecon
Dialect	Core
Purpose	A constant symbol that is not a rif:local constant cannot occur in more than one context in the imports closure of a RIF document.
Description	The constant symbol eg:discount is used as a predicate in the importing document and as an individual in the imported document.
SeeAlso
SpecRef	http://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 Text Document( 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 Syntax Document ( 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) ) ) ) XML view RIF/XML