- 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