W3C home > Mailing lists > Public > public-swd-wg@w3.org > January 2008

ISSUE-67: StatingFormalDefinitions

From: SWD Issue Tracker <dean+cgi@w3.org>
Date: Tue, 8 Jan 2008 15:02:35 +0000 (GMT)
To: public-swd-wg@w3.org
Message-Id: <20080108150235.37D2B5F70B@stu.w3.org>

ISSUE-67: StatingFormalDefinitions


Raised by: Alistair Miles
On product: SKOS

In the SKOS Reference Editor's Draft 23 December 2007 [1], the formal class and
property definitions, and the integrity conditions, are stated in the main body
of the document as prose. 

For example, from section 4.3:

 "skos:ConceptScheme has type Class."

 "skos:inScheme, skos:hasTopConcept habe type Object Property."

 "skos:ConceptScheme is Disjoint with skos:Concept."

For example, from section 7.3:

 "The Domain and Range of skos:semanticRelation is skos:Concept."

This style of stating the formal definitions is potentially confusing. To reduce
confusion, should the formal definitions be stated instead using prose in some
other style (e.g. as in the RDFS spec [2])? Or as triples, wherever possible? Or
something else? 

[1] http://www.w3.org/2006/07/SWD/SKOS/reference/20071223
[2] http://www.w3.org/TR/2004/REC-rdf-schema-20040210/
Received on Tuesday, 8 January 2008 15:02:37 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:31:47 UTC