Mercurial > hg > WebID / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset
making cert:key inverse functional
authorHenry Story <henry.story@bblfish.net>
Mon, 09 Jan 2012 15:56:41 +0100
changeset 265 17d59bd3d9d6
parent 264 ac4608729123
child 266 9e57de326e22
making cert:key inverse functional
ontologies/cert.html
ontologies/cert.n3 
--- a/ontologies/cert.html	Mon Jan 09 15:09:26 2012 +0100
+++ b/ontologies/cert.html	Mon Jan 09 15:56:41 2012 +0100
@@ -165,9 +165,13 @@
  <dd><span rel="rdfs:subClassOf" href="http://xmlns.com/foaf/0.1/Document"><a href="http://xmlns.com/foaf/0.1/Document">foaf:Document</a></span></dd> <dt>Has sub class</dt>
  
   
+ <dd><a href="#X509Certificate">cert:X509Certificate</a>
+</dd> 
  <dd><a href="#PGPCertificate">cert:PGPCertificate</a>
-</dd> 
- <dd><a href="#X509Certificate">cert:X509Certificate</a>
+</dd><dt>Is Defined By:</dt>
+ 
+  
+ <dd rel="rdfs:isDefinedBy"><a  href="http://www.w3.org/ns/auth/cert#">http://www.w3.org/ns/auth/cert#</a>
 </dd><dt>OWL Class</dt>
  
  
@@ -189,7 +193,11 @@
  
   
  <dd><a href="#PubKey">wot:PubKey</a>
-</dd> <dt>OWL Class</dt>
+</dd> <dt>Is Defined By:</dt>
+ 
+  
+ <dd rel="rdfs:isDefinedBy"><a  href="http://www.w3.org/ns/auth/cert#">http://www.w3.org/ns/auth/cert#</a>
+</dd><dt>OWL Class</dt>
  
  
   			</dl>
@@ -216,6 +224,10 @@
  
   
  <dd><a href="#RSAPublicKey">cert:RSAPublicKey</a>
+</dd><dt>Is Defined By:</dt>
+ 
+  
+ <dd rel="rdfs:isDefinedBy"><a  href="http://www.w3.org/ns/auth/cert#">http://www.w3.org/ns/auth/cert#</a>
 </dd><dt>OWL Class</dt>
  
  
@@ -243,6 +255,10 @@
  
   
  <dd><a href="#RSAPublicKey">cert:RSAPublicKey</a>
+</dd><dt>Is Defined By:</dt>
+ 
+  
+ <dd rel="rdfs:isDefinedBy"><a  href="http://www.w3.org/ns/auth/cert#">http://www.w3.org/ns/auth/cert#</a>
 </dd><dt>OWL Class</dt>
  
  
@@ -267,7 +283,11 @@
  
   
  <dd><span rel="rdfs:subClassOf" href="http://www.w3.org/ns/auth/cert#RSAKey"><a href="#RSAKey">cert:RSAKey</a></span></dd> 
- <dd><span rel="rdfs:subClassOf" href="http://www.w3.org/ns/auth/cert#PublicKey"><a href="#PublicKey">cert:PublicKey</a></span></dd><dt>OWL Class</dt>
+ <dd><span rel="rdfs:subClassOf" href="http://www.w3.org/ns/auth/cert#PublicKey"><a href="#PublicKey">cert:PublicKey</a></span></dd><dt>Is Defined By:</dt>
+ 
+  
+ <dd rel="rdfs:isDefinedBy"><a  href="http://www.w3.org/ns/auth/cert#">http://www.w3.org/ns/auth/cert#</a>
+</dd><dt>OWL Class</dt>
  
  
   			</dl>
@@ -281,7 +301,11 @@
   			<dt>Status:</dt>
   			<dd property="vs:term_status" >unstable</dd>
   			
-  			<dt>OWL Class</dt>
+  			<dt>Is Defined By:</dt>
+ 
+  
+ <dd rel="rdfs:isDefinedBy"><a  href="http://www.w3.org/ns/auth/cert#">http://www.w3.org/ns/auth/cert#</a>
+</dd><dt>OWL Class</dt>
  
  
   			</dl>
@@ -298,7 +322,11 @@
   			<dt>Sub class of</dt>
  
   
- <dd><span rel="rdfs:subClassOf" href="http://www.w3.org/ns/auth/cert#Certificate"><a href="#Certificate">cert:Certificate</a></span></dd><dt>OWL Class</dt>
+ <dd><span rel="rdfs:subClassOf" href="http://www.w3.org/ns/auth/cert#Certificate"><a href="#Certificate">cert:Certificate</a></span></dd><dt>Is Defined By:</dt>
+ 
+  
+ <dd rel="rdfs:isDefinedBy"><a  href="http://www.w3.org/ns/auth/cert#">http://www.w3.org/ns/auth/cert#</a>
+</dd><dt>OWL Class</dt>
  
  
   			</dl>
@@ -316,7 +344,11 @@
   			<dt>Sub class of</dt>
  
   
- <dd><span rel="rdfs:subClassOf" href="http://www.w3.org/ns/auth/cert#Key"><a href="http://www.w3.org/ns/auth/cert#Key">cert:Key</a></span></dd> <dt>OWL Class</dt>
+ <dd><span rel="rdfs:subClassOf" href="http://www.w3.org/ns/auth/cert#Key"><a href="http://www.w3.org/ns/auth/cert#Key">cert:Key</a></span></dd> <dt>Is Defined By:</dt>
+ 
+  
+ <dd rel="rdfs:isDefinedBy"><a  href="http://www.w3.org/ns/auth/cert#">http://www.w3.org/ns/auth/cert#</a>
+</dd><dt>OWL Class</dt>
  
  
   			</dl>
@@ -343,14 +375,15 @@
   			<dt>Range:</dt>
  
   <dd><span rel="rdfs:range" href="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"><a href="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">xsd:nonNegativeInteger</a></span>
-</dd><dt>Datatype Property</dt>
+</dd><dt>Is Defined By:</dt> <dd>  <span rel="rdfs:isDefinedBy" href="http://www.w3.org/ns/auth/cert#"></span>
+ </dd><dt>Datatype Property</dt>
  
  
   			</dl>
   			
   			<p style="float: right; font-size: small;">[<a href="#exponent">#</a>] <!-- exponent --> [<a href="#glance">back to top</a>]</p>
   			<br/>
-  			</div><div class="specterm" id="key" about="http://www.w3.org/ns/auth/cert#key" typeof="owl:ObjectProperty">
+  			</div><div class="specterm" id="key" about="http://www.w3.org/ns/auth/cert#key" typeof="owl:InverseFunctionalProperty">
   			<h4>Property: cert:key</h4> 
   			<em property="rdfs:label" >key</em> - <span property="rdfs:comment" >relates an agent to a key - most often the public key.</span> <br />
 			<dl>
@@ -369,10 +402,13 @@
   <dd><span rel="owl:inverseOf" href="http://www.w3.org/ns/auth/cert#identity"><a href="#identity">cert:identity</a></span></dd><dt>Has inverse property</dt>
  
   <dd><a href="#identity">cert:identity</a>
-</dd><dt>RDF Property</dt>
+</dd><dt>Is Defined By:</dt> <dd>  <span rel="rdfs:isDefinedBy" href="http://www.w3.org/ns/auth/cert#"></span>
+ </dd><dt>RDF Property</dt>
  
  <dd><span rel="rdf:type" href="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"></span></dd> <dt>Object Property</dt>
  
+ <dd><span rel="rdf:type" href="http://www.w3.org/2002/07/owl#ObjectProperty"></span></dd><dt>Inverse Functional Property</dt>
+ 
  
   			</dl>
   			
@@ -402,9 +438,10 @@
 </dd>
   			<dt>Range:</dt>
  
-  <dd><span rel="rdfs:range" href="http://www.w3.org/2001/XMLSchema#base64Binary"><a href="http://www.w3.org/2001/XMLSchema#base64Binary">xsd:base64Binary</a></span>
-</dd> <dd><span rel="rdfs:range" href="http://www.w3.org/2001/XMLSchema#hexBinary"><a href="http://www.w3.org/2001/XMLSchema#hexBinary">xsd:hexBinary</a></span>
-</dd><dt>Datatype Property</dt>
+  <dd><span rel="rdfs:range" href="http://www.w3.org/2001/XMLSchema#hexBinary"><a href="http://www.w3.org/2001/XMLSchema#hexBinary">xsd:hexBinary</a></span>
+</dd> <dd><span rel="rdfs:range" href="http://www.w3.org/2001/XMLSchema#base64Binary"><a href="http://www.w3.org/2001/XMLSchema#base64Binary">xsd:base64Binary</a></span>
+</dd><dt>Is Defined By:</dt> <dd>  <span rel="rdfs:isDefinedBy" href="http://www.w3.org/ns/auth/cert#"></span>
+ </dd><dt>Datatype Property</dt>
  
  
   			</dl>
@@ -429,7 +466,8 @@
   			<dt>Range:</dt>
  
   <dd><span rel="rdfs:range" href="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"><a href="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">xsd:nonNegativeInteger</a></span>
-</dd><dt>Datatype Property</dt>
+</dd><dt>Is Defined By:</dt> <dd>  <span rel="rdfs:isDefinedBy" href="http://www.w3.org/ns/auth/cert#"></span>
+ </dd><dt>Datatype Property</dt>
  
  
   			</dl>
@@ -457,7 +495,8 @@
   <dd><span rel="owl:inverseOf" href="http://www.w3.org/ns/auth/cert#key"><a href="#key">cert:key</a></span></dd><dt>Has inverse property</dt>
  
   <dd><a href="#key">cert:key</a>
-</dd><dt>RDF Property</dt>
+</dd><dt>Is Defined By:</dt> <dd>  <span rel="rdfs:isDefinedBy" href="http://www.w3.org/ns/auth/cert#"></span>
+ </dd><dt>RDF Property</dt>
  
  <dd><span rel="rdf:type" href="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"></span></dd> <dt>Object Property</dt>
  
--- a/ontologies/cert.n3	Mon Jan 09 15:09:26 2012 +0100
+++ b/ontologies/cert.n3	Mon Jan 09 15:56:41 2012 +0100
@@ -179,7 +179,7 @@
     owl:inverseOf :key;
     rdfs:domain :PublicKey .
 
-:key a rdf:Property, owl:ObjectProperty;
+:key a rdf:Property, owl:ObjectProperty, owl:InverseFunctionalProperty;
     vs:term_status "unstable";
     rdfs:label "key"@en; 
 	rdfs:isDefinedBy <cert#>;
WebID

Hosted by W3C Systems Team, please report bugs to sysreq@w3.org