Commits

Dan Connolly committed 3e024d3

more modern N3 syntax; more complete RDFS rules

Comments (0)

Files changed (3)

plan/orgDiagram.n3

 @prefix g: <http://www.w3.org/2001/02pd/gv#>.
-@prefix l: <http://www.w3.org/2000/10/swap/log.n3#>.
 @prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
 @prefix o: <http://www.w3.org/2001/02pd/swa2#>.
 @prefix : <http://www.w3.org/2001/02pd/orgDiagram#>.
 @prefix v: <#>.
 
-<> l:forAll
-   v:prop, v:str,
-   v:n1, v:n2, v:ek,
-   v:thing, v:org,
-   v:context, v:graph, v:subg.
+@keywords a, is, of.
 
-{ v:thing a o:Person;
-   u:label v:str. }
-    l:implies { v:thing g:shape "plaintext"; g:label v:str }.
+{ ?thing a o:Person;
+   u:label ?str. }
+    => { ?thing g:shape "plaintext"; g:label ?str }.
 
-{ v:prop a g:EdgeProperty;
-     u:label v:str } l:implies { v:prop g:label v:str }.
+{ ?prop a g:EdgeProperty;
+     u:label ?str } => { ?prop g:label ?str }.
 
 :IntraClusterProperty u:subClassOf g:EdgeProperty.
 
 o:chair a :IntraClusterProperty.
 o:hasGroup a :IntraClusterProperty.
 
-{ v:graph g:hasNode v:n1.
-  v:n1 v:ek v:n2.
-  v:ek a :IntraClusterProperty. }
-   l:implies { v:graph g:hasNode v:n2. }.
+{ ?graph g:hasNode ?n1.
+  ?n1 ?ek ?n2.
+  ?ek a :IntraClusterProperty. }
+   => { ?graph g:hasNode ?n2. }.
 
 
-{ v:thing a o:IG; u:label v:str }
-  l:implies { v:thing g:shape "polygon"; g:label v:str }.
+{ ?thing a o:IG; u:label ?str }
+  => { ?thing g:shape "polygon"; g:label ?str }.
 
-{ v:thing a o:WG; u:label v:str }
-  l:implies { v:thing g:shape "polygon"; g:style "bold"; g:label v:str }.
+{ ?thing a o:WG; u:label ?str }
+  => { ?thing g:shape "polygon"; g:style "bold"; g:label ?str }.
 
-{ v:thing a o:CG; u:label v:str }
-  l:implies { v:thing g:shape "diamond"; g:style "bold"; g:label v:str }.
+{ ?thing a o:CG; u:label ?str }
+  => { ?thing g:shape "diamond"; g:style "bold"; g:label ?str }.
 
-{ v:thing a o:WGplanned; u:label v:str }
-  l:implies { v:thing g:shape "polygon"; g:style "bold,dotted"; g:label v:str }.
+{ ?thing a o:WGplanned; u:label ?str }
+  => { ?thing g:shape "polygon"; g:style "bold,dotted"; g:label ?str }.
 
 o:hasDomain u:subPropertyOf :subStructure;
   a g:EdgeProperty.
 o:hasActivity u:subPropertyOf :subStructure;
   a g:EdgeProperty.
 
-{ v:graph g:hasNode v:org.
-  v:org :subStructure v:thing.
-  v:thing u:label v:str.
-  v:subg is :cluster of v:thing }
-	l:implies { v:graph g:subgraph v:subg.
-			v:subg g:label v:str.
-			v:thing g:label "".
-			v:subg g:hasNode v:thing. }.
+{ ?graph g:hasNode ?org.
+  ?org :subStructure ?thing.
+  ?thing u:label ?str.
+  ?subg is :cluster of ?thing }
+	=> { ?graph g:subgraph ?subg.
+			?subg g:label ?str.
+			?thing g:label "".
+			?subg g:hasNode ?thing. }.
 
 
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix l: <http://www.w3.org/2000/10/swap/log#>.
 @prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
-@prefix : <rdfs#>.
 
 ####
 #
 
 # subClassOf
 
-this l:forAll :x, :C.
+@keywords a.
 
-{ :x a [ u:subClassOf :C ] } log:implies { :x a :C }.
+{ ?x a [ u:subClassOf ?C ] } => { ?x a ?C }.
+{ ?x [ u:domain ?C ] [] } => { ?x a ?C }.
+{ [] [ u:range ?C ] ?x } => { ?x a ?C }.
+{ ?x [ u:subPropertyOf ?p ] ?y } => { ?x ?p ?y }.
 
 @prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
 <>
- u:comment "This is the state of the W3C Semantic Web Activity
-		and its surroundings as of Feb 2001.";
+ u:comment """This is the state of the W3C Semantic Web Activity
+		and its surroundings as of Feb 2001.""";
  u:comment "$Id: swa2.n3,v 1.1 2001/02/22 06:17:55 connolly Exp $";
  u:seeAlso
  <http://www.w3.org/2001/sw/Activity>,
  <http://www.w3.org/Consortium/Process/>.
 
+@keywords a, is, of.
+
 @prefix : <http://www.w3.org/2001/02pd/swa2#>.
 @prefix d: <http://www.w3.org/2001/02pd/swa2#>. #@@ belongs elsewhere