Warning:
This wiki has been archived and is now read-only.

External Frames 1

From RIF
Jump to: navigation, search

{TestCase |type=PositiveEntailmentTest |author=Stella Mitchell |status=InDevelopment |dialect=BLD |purpose=An external frame used as a representation of an externally defined method |desc=In order to have this test case we would need to specify a precondition that the required built-in is available will bind ?Year to 2000 and ?Pres to <http://example.org/people#johndoe>. |specRef=http://www.w3.org/2005/rules/wiki/BLD#Terms |pformat=Presentation Syntax |premise= Document(

 Prefix(ppl http://example.org/people#)
 Prefix(cpt http://example.org/concepts#)
  
 Group  (
   Forall ?Year ?Name ?Pres  (
       cpt:presidentList(Year->?Year Name->?Name) :-
                          And (
                            External("http://example.org/acme"^^rif:iri["http://example.org/acme/president"^^rif:iri(?Year) -> ?Pres]) 
                            ?Pres[cpt:Name->?Name]
                          )
   ) 
   
   ppl:johndoe[cpt:Name->"John Doe"]
 )

) |cformat=Presentation Syntax |conc= <http://example.org/concepts#presidentList>(Year->"2000"^^xs:integer Name->"John Doe") }