skos:OrderedCollection - memberList -> member entailment

[Simon Cox]

According to the SKOS reference clause 9.6.1
http://www.w3.org/TR/skos-reference/#L3514 if a resource is in the
skos:memberList of a skos:OrderedCollection, this implies it is also a
skos:member of the collection (property inherited from
skos:Collection).

I have an ontology which includes an OrderedCollection - see
isc:Boundaries in
https://www.seegrid.csiro.au/subversion/xmml/ontologies/TBCME/GeologicTimeScale/ischart-2009.ttl
However, the skos:member properties do not appear after running
inferences, configured to use either of OWLIM or Pellet.
Am I mistaken in my assumption that they should?

Simon Cox

[Scott Henninger]

Simon; This is an interesting case that isn't defined in the standard
SKOS model (http://www.w3.org/2004/02/skos/core) usingOWL or RDFS
semantics. There are few examples below that will give you some ways
to make the inferences defined in S36.

However, I don't know what is meant by "property inherited from
skos:Collection". OO-style "inheritance", such as class members
inheriting values form class definitions, are not defined in the RDFS
or OWL standards.

Note that you can achieve your desired results by making
skos:memberList as sub property of skos:member, i.e.:
skos:memberList rdfs:subPropertyOf skos:member .

That involves manipulating the standard a bit. Another approach is to
create a rule describing the desired inference. An example SPIN rule
would be defined on the class definition skos:OrderedCollection and
applied to its members:

CONSTRUCT {
?this skos:member ?member .
}
WHERE {
?this skos:memberList ?list .
?list (rdf:rest)*/rdf:first ?member .
}

This is actually more accurate that the subproperty modification. We
will look into creating a rule profile that defines these SKOS rules
that lie outside of the scope of RDFS/OWL and/or are not define in the
SKOS standard RDF file to make these inferences.

-- Scott

On Nov 30, 8:45 pm, Simon Cox <dr.shorth...@gmail.com> wrote:
> According to the SKOS reference clause 9.6.1http://www.w3.org/TR/skos-reference/#L3514if a resource is in the

> skos:memberList of a skos:OrderedCollection, this implies it is also a
> skos:member of the collection (property inherited from
> skos:Collection).
>
> I have an ontology which includes an OrderedCollection - see

> isc:Boundaries inhttps://www.seegrid.csiro.au/subversion/xmml/ontologies/TBCME/Geologi...