W3C HyperRDF

RDF Standard Terms

This is a re-statement of the schemas for [RDF] and [RDFS].

see also: rdfs.n3 in some work on vocabulary evolution around May 2001.

@@I wish we'd divided the RDF M&S 1.0 namespace between syntactic things (ID, about, RDF, li) and properties/classes (type, subject, property, object)

• domain: Property -> Class

  "This is how we associate a class with properties that its instances can have"@@not a sentence
  
  @@acyclic? I think the spec says so, but that makes it useless for declaring synonyms.
  same semantics as OKBC :DOMAIN? i.e. this rule?

  type(v, c)

  if

  • s(f, v)
  • domain(s, c)

  @@OKBC domain has these rules; do we need them?
  type(s, Property) if domain(s, c)

  type(c, Class) if domain(s, c)

  @@TODO: study relationship to algernon's idea of domain.

• range: Property -> Class

  "Properties that can be used in a schema to provide constraints"@@not a sentence. @@what does that mean?
  
  called slot-value-type in OKBC (@@their rule has more preconditions related to the domains. Are those necessary?)
  @@compare with algernon, oil

  type(x, v)

  if

  • s(f, x)
  • range(s, v)

• subClassOf: Class -> Class

  Indicates membership of a class@@not a sentence. @@weak! same as type! @@acyclic?
  called subclass-of in the Classes and Individuals section of OKBC.

  type(i, genl)

  if

  • type(i, specl)
  • subClassOf(specl, genl)

  this rule isn't a complete definition. @@state the only-if part.

• subPropertyOf: Property -> Property

  "Indicates specialization of properties"@@not a sentence. @@acyclic? I think the spec says so, but that makes it useless for defining synonyms.

  genl(s, o)

  if

  • specl(s, o)
  • subPropertyOf(specl, genl)

  compare with OKBC's subset-of-values: subPropertyOf(?specl, ?genl) => (subset-of-values ?specl ?f ?genl), I think.

Documentation Properties

These have no impact on inferencing:

• comment: Resource -> Literal

  "Use this for descriptions" @@complete sentence, but doesn't include the predicate 'comment' nor a typical subject and object. @@relationship to dc:description?

• label: Resource -> Literal

  "Provides a human-readable version of a resource name." @@not a sentence

• seeAlso: Resource -> Resource

  "Indicates a resource that provides information about the subject resource." @@not a sentence

• isDefinedBy: Resource -> Resource

  "Indicates a resource containing and defining the subject resource."

  subPropertyOf(isDefinedBy, seeAlso)

References

[RDF]

Resource Description Framework (RDF) Model and Syntax Specification W3C Recommendation 22 February 1999.

[RDFS]

Resource Description Framework (RDF) Schema Specification 1.0 W3C Candidate Recommendation 27 March 2000.