[Fwd: SKOS reference document analysis] -- from PFPS/OWL working group

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 )