|Date:||Sun, 22 Jun 2014 03:31:56 +0200|
For example, a term can be defined in a genus-species form: An A is a B that C.
All,1) How many types of formal (logical) definitions of terms/classes do you know of?
What others do you know of?
2) For ontologies, are there non-FOL definitions?
Are there definitions not based on syllogistic logic?
3) And what are the pro's and con's of each?
_________________________________________________________________ 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)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Requesting Opinions on the Benefits of Predicates as Nodes, Kingsley Idehen|
|Next by Date:||[ontolog-forum] Reducing IKL to CL (was: Re: Requesting Opinions on the Benefits of Predicates as Nodes), Pat Hayes|
|Previous by Thread:||[ontolog-forum] Patent Vocabulary Ontology and Corpus, Rich Cooper|
|Next by Thread:||Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Barkmeyer, Edward J|
|Indexes:||[Date] [Thread] [Top] [All Lists]|