- From: Sandro Hawke <sandro@w3.org>
- Date: Sun, 23 Sep 2007 20:00:20 -0400
- To: public-rif-wg@w3.org
I started a page which raises specific issues with the names used in BLD. http://www.w3.org/2005/rules/wg/wiki/BLD_Name_Issues I also added an amendment at the end of the naming issues page which attempts explain how we can use "Exists" or "Existential" as the name of a class (in the hope of reaching consensus here). I'll quote it: Proposed Amendment from SandroHawke: Add: Although class and property names should be understood as nouns or noun phrases, sometimes words can be omitted from the noun phrase (usually in the interest of brevity) or new terms can be coined without significantly reducing the clarity. These new terms become nouns or noun phrases in the jargon or technical language around the given vocabulary. For example, there is no short and clear name for the class of logical formulas which begin with an existential quantifier. (FormulaWhichBeginsWithExistentialQuantifier is quite clumsy, as is ExistentiallyQuantifiedFormula.) It is acceptable to call such this class "Exists", even though "exists" is a verb, with the understanding that "Exists" becomes a noun in the jargon and one can gramatically say, "I'm not sure if that's an exists or some other kind of formula." In general, adjectives can be turned into nouns most easily, because they are understood as modifying some implied noun, so "existential" might make the transition easier, as in, "I'm not sure if that's an existential or some other kind of formula." - http://www.w3.org/2005/rules/wg/wiki/Arch/Naming_Conventions - Sandro
Received on Monday, 24 September 2007 00:00:46 UTC