// ex5.trp - Example 5 // // A TRIPLE example using RDF // // Run with the -rdfdata command line argument: // // triple.sh -rdfdata Example6.rdf http://local.example.com/localNameSpace# localModelName ex5.trp // No new facts or rules, just do a query that prints out the all of // the facts and what model they belong to, this will show what // happens when you load RDF data with the -rdfdata flag: FORALL X,Y,Z,Mdl <- X[Y->Z]@Mdl. /* OUTPUT The RDF file looks like this: ]> ... And the output of the above query will look like this: *** X = 'http://argos.isi.edu/example6#':'Windows%20XP%20Pro', Y = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#':type, Z = 'http://argos.isi.edu/example6#':'Operating_System', Mdl = 'http://local.example.com/localNameSpace#':localModelName X = 'http://argos.isi.edu/example6#':'Windows%20XP%20Pro', Y = 'http://www.w3.org/TR/1999/PR-rdf-schema-19990303#':label, Z = 'Windows XP Pro', Mdl = 'http://local.example.com/localNameSpace#':localModelName X = 'http://argos.isi.edu/example6#':'Example6_Instance_13', Y = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#':type, Z = 'http://argos.isi.edu/example6#':'RAM_Value', Mdl = 'http://local.example.com/localNameSpace#':localModelName X = 'http://argos.isi.edu/example6#':'Example6_Instance_13', Y = 'http://www.w3.org/TR/1999/PR-rdf-schema-19990303#':label, Z = '384', Mdl = 'http://local.example.com/localNameSpace#':localModelName X = 'http://argos.isi.edu/example6#':'Example6_Instance_13', Y = 'http://argos.isi.edu/example6#':'Megabytes', Z = '384', Mdl = 'http://local.example.com/localNameSpace#':localModelName ... X = 'http://argos.isi.edu/example6#':'Justins_Camera', Y = 'http://argos.isi.edu/example6#':'Memory', Z = 'http://argos.isi.edu/example6#':'Example6_Instance_23', Mdl = 'http://local.example.com/localNameSpace#':localModelName X = 'http://argos.isi.edu/example6#':'Justins_Camera', Y = 'http://argos.isi.edu/example6#':'Resolution', Z = '1.2 Megapixels', Mdl = 'http://local.example.com/localNameSpace#':localModelName End XSB (cputime 0.57 secs, elapsetime 4.54 secs) */