Re: The Counter Ontology from Toby Inkster on 2010-07-21 (public-lod@w3.org from July 2010)

From: Toby Inkster <tai@g5n.co.uk>
Date: Wed, 21 Jul 2010 12:48:51 +0100
To: Bob Ferris <zazi@elbklang.net>
Cc: Vasiliy Faronov <vfaronov@gmail.com>, music-ontology-specification-group@googlegroups.com, Linked Data community <public-lod@w3.org>
Message-ID: <20100721124851.2d2e918c@miranda.g5n.co.uk>

On Tue, 20 Jul 2010 14:56:05 +0200
Bob Ferris <zazi@elbklang.net> 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:mail@tobyinkster.co.uk>
<http://tobyinkster.co.uk>

Received on Wednesday, 21 July 2010 11:49:51 UTC