- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Wed, 10 Sep 2008 15:52:59 -0400 (EDT)
- To: public-owl-wg@w3.org
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 )
Received on Wednesday, 10 September 2008 19:54:11 UTC