W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2008

Facet Nomenclature

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 19 Nov 2008 14:58:56 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0E06971@judith.fzi.de>
To: "W3C OWL Working Group" <public-owl-wg@w3.org>

Currently, the RDF-Based Semantics differs significantly from the Direct Semantics and the Structural Spec regarding the facet related aspects of datatype maps. This complicates a proof of the correspondence theorem. I'm currently in the process of adjusting the RDF-Based Semantics accordingly. It seems to work quite well for the different concepts being used, but I have problems with the nomenclature.

The Structural Spec in


defines the following two relevant concepts:

  (1) The "facet space" N_FS(d): 
      This is the set of all facet/value pairs <F,V> 
      allowed for the datatype d.

  (2) The "facet value" (<F,V>)^FS: 
      This is the subset of the value space of the datatype d
      that results from applying the facet d with the value V to d.

Now, I am unhappy with calling (2) a "facet value". (1) already calls "V" the "value" of the facet F:

  "where F is a constraining facet 
   and is identified by a URI, 
   and V is an arbitrary object called a value."

So this is (almost) a name clash. But even without this name clash, calling the resulting /set/ a "facet value" is confusing, IMHO.

FWIW, I also call V a "facet value" or simply a "value" in the RDF-Based Semantics, and I don't see a better name for it.

I suggest to rename the set "(<F,V>)^FS". In the RDF-Based Semantics, I call it the "facet extension" of d, F and V. I am ok with using a different name, as long as it avoids the sort of confusion mentioned above.


Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

Received on Wednesday, 19 November 2008 13:59:37 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:07 UTC