6/06/2006

About rdfs:member

0. rdfs:member in RDF vocabulary
rdfs:member:"is an instance of rdf:Property that is a super-property of all the container membership properties i.e. each container membership property has an rdfs:subPropertyOf relationship to the property rdfs:member."

ReferTo: RDF Vocabulary Description Language 1.0: RDF Schema

1. rdfs:member with protege
Recently, I am trying to build a domain ontoloy with protege version 3.2 alpha. To reserve the full expressive capability, the project is set to be
owl full. Then I

  • 1) created a subclass of rdf:Seq. with the name, for example, Myseq.
  • 2) tried (and failed) to and add constraints on rdfs:member property.
    By definition, the range of rdfs:member is rdfs:Resource. But I want to constrain the resources joining that property for Myseq. e.g. empose "owl:alllValuesFrom" constraint on rfds:member. Finally found it is impossible in protege. (as far as I know now)

Protege list rdfs:member as the individule of rdf:Property in the "individuals tab", not as property in the "properties tab". Now I am curious about the reason. Might I send an email to their mailinglist? @_-?

2. A quick reference to OWL (Lite, DL, Full) construct.

Since it seems one can't use rdfs:member (or it's instance RDF:_#), I have to wondering whether it is a legal member of owl full or not. And the next question is, which rdf vocabularies are reversed in owl(ful, dl and lite).

ref:

  1. http://www.w3.org/TR/owl-ref/#Sublanguage-def
  2. http://www.w3.org/TR/owl-semantics/
    chapter4: http://www.w3.org/TR/owl-semantics/mapping.html

A brief summary:

  1. OWL Full contains all the OWL language constructs and provides free, unconstrained use of RDF constructs.
  2. OWL DL.
    uses all the OWL language constructs but with a number of constraints. Most RDF(S) vocabulary cannot be used within OWL DL. See the OWL Semantics and Abstract Syntax document [OWL S&AS] for details.
  3. OWL Lite. see here

No comments: