- From: Alistair Miles <alistair.miles@zoo.ox.ac.uk>
- Date: Tue, 30 Sep 2008 12:13:12 +0100
- To: "Elisa F. Kendall" <ekendall@sandsoft.com>
- Cc: SWD WG <public-swd-wg@w3.org>
Thanks Elisa for forwarding this. Guus, Tom, should we handle this review as a last call comment? Alistair. On Wed, Sep 10, 2008 at 04:08:48PM -0700, Elisa F. Kendall wrote: > FYI, in case you aren't on both mailing lists (apologies if you are), > > Elisa > > -------- Original Message -------- > Subject: SKOS reference document analysis > Resent-Date: Wed, 10 Sep 2008 19:54:12 +0000 > Resent-From: public-owl-wg@w3.org > Date: Wed, 10 Sep 2008 15:52:59 -0400 (EDT) > From: Peter F. Patel-Schneider <pfps@research.bell-labs.com> > To: public-owl-wg@w3.org > References: <20080910.132532.201196211.pfps@research.bell-labs.com> > > > > Analysis of non-OWL 1 DL constructs in SKOS Reference document > http://www.w3.org/TR/2008/WD-skos-reference-20080829/ > > Note: This had to be reverse-engineered as the document does not provide > an OWL Ontology. > > Section Language What bit / Suggestions to put into OWL 2 DL > > skos:Concept OWL 2 DL individual/class/property punning (examples) > > Concept Schemes OWL 2 DL individual/ontology "punning" (example) > > Lexical Labels OWL 2 Full subproperty of rdfs:label > suggestion: don't use rdfs:label > OWL 2 DL property disjointness > > not OWL axiom schema for unique prefLabel > suggestion: include qualified > cardinality restrictions only > for languages used (defined using > datatype restrictions) > > OWL 2 DL individual / class punning (example) > > OWL 2 Full objects as values of data property (example) > suggestion: don't do this > > Notations ?? datatype extension > suggestion: ?? > > Documentation OWL 2 Full using literal in object property (examples) > suggestion: don't do this > > OWL 2 Full use of rdf:value (example) > suggestion: don't use rdf:value > > OWL 2 DL individual/class punning (example) > > Semantic Rel's OWL 2 DL disjoint properties > > Concept Coll'ns OWL 2 Full ordering with typing > suggestion: see below > > Mapping Props OWL 2 DL disjoint properties > > SKOS X OWL 2 Full data property chains > suggestion: ?? > > > A way of handling typed ordering that fits within OWL 2 DL (I think). > > Declare( ObjectProperty(skos:firstMember) ) > Declare( ObjectProperty(skos:nextMembers) ) > Declare( ObjectProperty(skos:otherMembers) ) > FunctionalProperty(skos:firstMember) > FunctionalProperty(skos:nextMembers) > > Domain( skos:firstMember skos:OrderedCollection ) > Range( skos:firstMember UnionOf(skos:Concept skos:ConceptScheme) ) ?? > > Domain( skos:nextMembers skos:OrderedCollection ) > Domain( skos:nextMembers skos:OrderedCollection ) > Domain( skos:otherMembers skos:OrderedCollection ) > Domain( skos:otherMembers skos:OrderedCollection ) > > SubPropertyOf( skos:nextMembers skos:otherMembers ) > SubPropertyOf( PropertyChain(skos:otherMembers skos:nextMembers) skos:otherMembers ) > > SubPropertyOf( skos:firstMember skos:member ) > SubpropertyOf( PropertyChain(skos:otherMembers skos:firstMember) skos:member ) > > > > > -- Alistair Miles Senior Computing Officer Image Bioinformatics Research Group Department of Zoology The Tinbergen Building University of Oxford South Parks Road Oxford OX1 3PS United Kingdom Web: http://purl.org/net/aliman Email: alistair.miles@zoo.ox.ac.uk Tel: +44 (0)1865 281993
Received on Tuesday, 30 September 2008 11:13:49 UTC