On Tue, 20 Jul 2010 14:56:05 +0200
Bob Ferris <[email protected]> wrote:

> How can I make sure that the value of my counter concept is of the
> type xsd:Integer? 

co:Counter
        rdfs:subClassOf [
                a owl:Restriction ;
                owl:onProperty rdf:value ;
                owl:allValuesFrom xsd:integer
        ] ;
        # and to say that it's a functional property...
        rdfs:subClassOf [
                a owl:Restriction ;
                owl:onProperty rdf:value ;
                owl:cardinality 1
        ] .

-- 
Toby A Inkster
<mailto:[email protected]>
<http://tobyinkster.co.uk>


Reply via email to