ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Semantic patterns and logic expression

 To: "[ontolog-forum]" "doug foxvog" Tue, 23 Feb 2010 02:41:29 -0000 (GMT) <2104.89.101.4.18.1266892889.squirrel@xxxxxxxxxxxxxx>
 ``` "Jim Rhyne" wrote:    (01) > ... it would be interesting to me to have a catalog of "semantic > patterns" (whatever those might be) and their expression in FOL (or CLIF, > ...). Do you agree with that?    (02) One place to look is Cyc's rule macro predicates.    (03) The simplest exist in many languages:    (04) #\$genls = subclass #\$genlPreds = subrelation (#\$genlInverse p1 p2) = (p1 A B) => (p2 B A)    (05) (#\$relationAllExists A B p) = ForAll instances of A (Ai) Exists an element of B (Bi): (p Ai Bi) (#\$relationExistsAll A B p) = ForAll instances of B (Bi) Exists an element of A (Ai): (p Ai Bi) (#\$relationAllAll A B C)    (06) (#\$interArgRelation p1 i j p2) If predicate p1 relates 2 or more arguments, then the relation p2 holds between the ith & jth argument. The values of i & j may be the same. If p1 is a binary predicate, i=1, and j=2 this reduces to genlPreds.    (07) (#\$functionalInArg p n) If all the arguments of p other than the nth argument is fixed, then the cardinality of the nth argument is 0 or 1.    (08) (#\$arg1Isa p A) The domain of p is class A. This is a constraint. (#\$arg1Isa-Inferred p A) = (p A1 ...) => (isa A1 A) (#\$arg1Genls p A) The first argument of p must be a class which is a subclass of A. This is a constraint. Similar rule macro predicates exist for arg2..., arg3..., arg4...    (09) There are more. It's now 2:40 a.m. & i'm nodding off.    (010) -- doug    (011) > Thanks, Jim    (012) ============================================================= doug foxvog doug@xxxxxxxxxx http://ProgressiveAustin.org    (013) "I speak as an American to the leaders of my own nation. The great initiative in this war is ours. The initiative to stop it must be ours." - Dr. Martin Luther King Jr. =============================================================    (014) _________________________________________________________________ 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 To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (015) ```
 Current Thread [ontolog-forum] Semantic patterns and logic expression, Jim Rhyne Re: [ontolog-forum] Semantic patterns and logic expression, Christopher Menzel Re: [ontolog-forum] Semantic patterns and logic expression, Jim Rhyne Re: [ontolog-forum] Semantic patterns and logic expression, Christopher Menzel Re: [ontolog-forum] Semantic patterns and logic expression, Ali Hashemi Re: [ontolog-forum] Semantic patterns and logic expression, Ali Hashemi Re: [ontolog-forum] Semantic patterns and logic expression, doug foxvog Re: [ontolog-forum] Semantic patterns and logic expression, Ali Hashemi Re: [ontolog-forum] Semantic patterns and logic expression, Jim Rhyne Re: [ontolog-forum] Semantic patterns and logic expression, Adrian Walker Re: [ontolog-forum] Semantic patterns and logic expression, doug foxvog <= Re: [ontolog-forum] Semantic patterns and logic expression, Adrian Walker Re: [ontolog-forum] Semantic patterns and logic expression, Patrick Cassidy