W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2003

Closing RDF containers

From: Graham Klyne <gk@ninebynine.org>
Date: Mon, 10 Nov 2003 17:35:37 +0000
Message-Id: <5.1.0.14.2.20031110171919.00bcfb08@127.0.0.1>
To: www-rdf-logic@w3.org

It occurs to me that OWL provides a way to close RDF containers, now that a 
common superproperty is defined for rdf:_1, rdf:_2, etc.

E.g., using Notation3,

[[
test:threeElementContainer a owl:Class ;
   rdfs:subClassOf
     rdfs:Container,
     [ a owl:Restriction ;
       owl:onProperty rdf:_1 ;
       owl:cardinality "1"^^xsd:nonNegativeInteger ],
     [ a owl:Restriction ;
       owl:onProperty rdf:_2 ;
       owl:cardinality "1"^^xsd:nonNegativeInteger ],
     [ a owl:Restriction ;
       owl:onProperty rdf:_3 ;
       owl:cardinality "1"^^xsd:nonNegativeInteger ],
     [ a owl:Restriction ;
       owl:onProperty rdfs:member ;
       owl:maxCardinality "3"^^xsd:nonNegativeInteger ] .
]]

This seems to me to be sufficient to enforce that any RDF container 
declared to be an instance of test:threeElementContainer must have:
   exactly one value for each of rdf:_1, rdf:_2, rdf:_3, and
   no values for any other properties rdf:_nn.

#g


------------
Graham Klyne
For email:
http://www.ninebynine.org/#Contact
Received on Monday, 10 November 2003 13:23:54 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:47 GMT