[ontolog-forum] Are Predicates a Form of Categorization/Classification?

[Frank Guerino <Frank.Guerino@xxxxxxxxx>]

Hi All,

Given the discussions on Category Theory, I was curious if the community views Predicates as a form of categorization/classification.

I, personally, would take the position of “yes,” as experience shows me that Predicates are a means of categorizing/classifying sets of Relationships.

For example…

If we can categorize/classify a set of Nodes in a Network/Graph as “Mammals”, selecting all mammals would highlight all Nodes in the Network/Graph that comply.

Similarly, if we have a Predicate called “Owner”, selecting all Owners would highlight all Relationships in the Network/Graph that comply.

Interestingly, this implies that the label/term “Predicate” is formally recognized as a super-categorization/classification of Relationships contained in a Network/Graph.  In other words, “Predicate” is equivalent to “Relationship Type."  Is there a label or term for super-categorizations/classifications of Nodes in a Network/Graph?  To date, we use the term “Node Type."

Looking forward to your views.

My Best,

Frank

--
Frank Guerino, Chairman
The International Foundation for Information Technology (IF4IT)
http://www.if4it.com
1.908.294.5191 (M)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)