by-product of cwm/swap/n3 tutorial

I supplemented the slides by projecting an editor window.
Sometimes to project a URI, sometimes to correct a bug
in the slides. Below is a dump...


Semantic Web Tutorial Using N3
http://www.w3.org/2000/10/swap/doc/

:Mary :son [ = :Frank; a :Male];
      :son [ = :Bob; a :Male];
      :son [ = :Sam; a :Male].
      
      :Mary :son :Frank, :Bob, :Sam.
      :Frank a :Male.
      :Bob a :Male.
      :Sam a :Male.
      
      [ names:familyName "Hawke"; names:givenName "Sandro" ]
      
      
      _:somebody names:familyName "Hawke"; names:givenName "Sandro".



this log:forAll :x.
{:x :homePage ?P.

 ?P log:semantics ?F.
 ?F log:includes 
            { :x a :Vegetarian }}
=> { :x a :Vegetarian}. 

?F ::= { :DanBri a :HoopyFrood, :Vegetarian. }

:DanBri a :Vegetarian.


------------


this log:forAll :x.
{:x :homePage.log:semantics.log:notIncludes 
                  { :x a :Vegetarian }}
=> { :x a :Omnivore }. 


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Tuesday, 18 May 2004 14:38:51 UTC