[CL] Working on a definition of "ontology"
John F. Sowa
sowa at bestweb.net
Sun Jul 9 23:30:42 CDT 2006
Pat's points have been generally accepted by mathematicians,
logicians, and database designers: The old terminology of
"property" for monadic relations is very awkward. In logic,
a property is just a one-argument relation. In database systems,
a relation is represented by a table, which may have one or
more columns -- and a one-column table is just a one argument
If people like the term "property", then just define it
as a relation with only one argument. But the word
"relation" has already become the usual term.
More information about the CL