Properties not predicates (was Re: PRIMER: draft data model section)

>Frank:
>I called it a "predicate" because that's the term used in the M&S.  If
>we've changed it officially, I must have missed it (where would this be
>documented?).

OK, let me make this a formal suggestion for an item.

PROPOSED that:
The things called 'predicates' in the M&S shall henceforth be called 
'properties' (preferred) or 'relations'.
This is in line with the standard usage in the description logic, 
database and formal logic communities, and is used in the DAML+OIL 
documentation. The term 'predicate' is deprecated as potentially 
misleading, since properties are not predicates in the sense that 
word is usually used in formal logic.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Monday, 22 October 2001 10:10:51 UTC