[Top] [All Lists]

Re: [ontolog-forum] brainwaves (WAS: to concept or not to concept, is th

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Fri, 14 Dec 2007 01:24:20 -0500
Message-id: <47622194.6060708@xxxxxxxxxxx>
Pat,    (01)

I agree that the notion of existence is important.  But that is
implied by the definition of 'function'.  Any function f(x) must
obey the following axiom:    (02)

    (Ax)(E!y)f(x)=y.    (03)

For every x, there exists exactly one y such that f(x)=y.    (04)

Since the term 'functional dependency' has been commonly used in
the database field for the past 30 years, it is already familiar
to many programmers.  Rather than invent a new term, it would seem
better to take a term that is commonly used in one field (databases)
and extend it to a related field (knowledge bases).    (05)

John    (06)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)

<Prev in Thread] Current Thread [Next in Thread>