Warning:
This wiki has been archived and is now read-only.
External Frames 1
From RIF
{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") }