ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Prospects made into Customers and Vice Versa

To: Thomas Johnston <tmj44p@xxxxxxx>, [ontolog-forum] <ontolog-forum@xxxxxxxxxxxxxxxx>
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Mon, 26 Oct 2015 15:28:01 -0400
Message-id: <562E7EC1.5070703@xxxxxxxxxxx>
Tom,    (01)

> I wasn't aware that "class" and "type" were so regimented
> in discussions of formal ontology.    (02)

There are many different opinions in the field, so the term
'regimented' is not appropriate.  But if you look at the way
the words are used, 'type' is always defined by intension,
i.e., some rule or predicate defined by a rule.    (03)

In logic and set theory, some people use the terms 'set'
and 'class' interchangeably.  But in languages such as OWL,
a class is always defined by the equivalent of a monadic
predicate.  For any universe of discourse, that predicate
determines a unique set.    (04)





> I wasn't aware that "class" and "type" were so regimented in discussions
> of formal ontology.    (05)


_________________________________________________________________
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    (06)

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