ppy/Ontolog_BenjaminGrosof-Rulelog_chat-transcript_unedited_20130620a.txt ------ Chat transcript from room: ontolog_20130620 2013-06-20 GMT-08:00 [PDT] ------ [9:15] PeterYim: Welcome to the = Ontolog Invited Speaker Presentation - Dr. Benjamin Grosof - Thu 2013.06.20 = * Session Chair: Dr. LeoObrst (ONTOLOG; MITRE) * Invited Speaker: Dr. BenjaminGrosof (Benjamin Grosof & Associates; Coherent Knowledge Systems) * Title of Presentation: "Rulelog: Highly Expressive yet Scalable Logic enabling Cost-Efficient Ontologies" Logistics: * Refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_20 * (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your RealName (in WikiWord format) * Mute control: *7 to un-mute ... *6 to mute * Can't find Skype Dial pad? ** for Windows Skype users: it's under the "Call" dropdown menu as "Show Dial pad" ** for Linux Skype users: please note that the dial-pad is only available on v4.1 (or later or the earlier Skype versions 2.x,) if the dialpad button is not shown in the call window you need to press the "d" hotkey to enable it. . == Proceedings: == . [9:22] anonymous morphed into Brian Haugh [9:27] anonymous1 morphed into JamesOdell [9:28] anonymous2 morphed into oris [9:28] anonymous morphed into PMeyer [9:29] anonymous morphed into TonyWeida [9:29] oris2 morphed into OrisFriesen [9:29] anonymous1 morphed into AlexShkotin [9:31] anonymous morphed into AdrianPaschke [9:32] anonymous morphed into ElieAbiLahoud [9:33] anonymous1 morphed into NaicongLi [9:33] anonymous2 morphed into TaraAthan [9:33] anonymous1 morphed into JulienCorman [9:34] anonymous morphed into lamarhenderson [9:35] anonymous morphed into PatrickMaroney [9:35] AlexShkotin: How to download slides? [9:36] Harold Boley: http://ontolog.cim3.net/file/resource/presentation/BenjaminGrosof-Rulelog_20130620/Rulelog--BenjaminGrosof_20130620.pdf [9:36] PatrickMaroney: Slides at: http://ontolog.cim3.net/file/resource/presentation/BenjaminGrosof-Rulelog_20130620/Rulelog--BenjaminGrosof_20130620.pdf [9:36] AlexShkotin: Thank you! [9:36] PeterYim: == LeoObrst starts the session ... [9:37] anonymous morphed into PPetrov [9:39] PeterYim: == BenjaminGrosof starts his presentation ... slides at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_20#nid3U3C [10:20] LeoObrst: It sounds like "restraint" + avoidance of reasoning-by-cases is a kind of higher-level guard on the reasoning that gets performed: is that right? [10:20] anonymous morphed into bryan [10:23] PeterYim: @bryan, @MBarnett, @PMeyer, @PPetrov - would you morph into your full name (in WikiWord format), if you please [10:26] ToddSchneider: Now on slide 7 [10:33] AmandaVizedom: I'm puzzled by the idea of 1-1 relationship between logical constants and "words/word-senses", since words and word-senses do not have a 1-1 relation. Also this seems to create enormous barriers to cross-lingual reasoning, or even use of K resources... Unless this is a K *layer*? That is, are you talking about a direct path from NL to KR using this "textual logic" approach, then further connections between the resulting KR and more language-independent KR? [10:35] AmandaVizedom: (my 13:33 question is in response to slide 7) [10:37] LeoObrst: On slide 7, you say that there is a "natural composition" of textual phrase <--> logical term. But it seems like the entire phrase is just chunked, rather than the result of composition, i.e., the result is not a formula. [10:41] SteveRay: On slide 15, it looks like the transformation lost the constraint of the "hydrophobic" subclass of possibly all kinds of tails... [10:42] SteveRay: ...at least in the "formula" section of the UI, but not in the "Readings" section. [10:44] AmandaVizedom: +1 for representation of queries in same language as knowledge. [10:47] PeterYim: ... on slide#20 now [10:53] LeoObrst: What about intensional contexts in natural language (e.g., propositional attitudes)? Example: John believed/considered/etc. that the conclusions were wrong. [11:01] PeterYim: == we're in the Q&A (and general discussion) segment now ... [11:05] AmandaVizedom: Have to drop off. Thanks, Benjamin, very interesting. [11:06] PatrickMaroney: Flora-2 tutorial: http://coherentknowledge.com/wp-content/uploads/2013/05/Flora-user-tutorial-main.pdf [11:12] PeterYim: the OntologyBasedStandards effort that we are after will benefit hugely from using textual logic that you talked about today ... we'll look forward to working with you and your colleagues, Benjamin - ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologyBasedStandards [11:18] Harold Boley: On slide 15, the chunked phrase on the top line, 'the'('hydrophobic'(...)), is to be transformed into the central yellow-box formula Forall(?x9)... [11:20] PeterYim: question from BrianHaugh ref. SILK and its relations to Flora ... Semantic Inferencing on Large Knowledge (SILK) knowledge representation system - http://silk.semwebcentral.org/ [11:20] ElieAbiLahoud: I have to drop off. Thank you Benjamin. [11:29] PeterYim: great talk ... thank you, Benjamin ... thanks everyone! [11:29] LeoObrst: Great talk, Benjamin! Thanks all, for participating. [11:29] PeterYim: join us again, same time next week, for the Ontolog Invited Speaker Presentation by Dr. Vinay Chaudhri of SRI - see session details at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_27 [11:30] PatrickMaroney: Some additional related resources: http://haleyai.com/wordpress/ [11:32] List of attendees: AdrianPaschke, AlexShkotin, AmandaVizedom, BenjaminGrosof, Bob Smith, BobbinTeegarden, Brian Haugh, Brian Haugh1, ElieAbiLahoud, Harold Boley, HensonGraves, JamesOdell, JamesOdell1, JoelBender, JulienCorman, JulienCorman1, KenBaclawski, LeoObrst, MBarnett, NaicongLi, OrisFriesen, OrisFriesen1, OrisFriesen2, PMeyer, PPetrov, PatrickMaroney, PeterYim, SteveRay, TaraAthan, ToddSchneider, TonyWeida, TonyWeida1, anonymous, anonymous1, anonymous2, bryan, lamarhenderson, oris, oris1, oris2, vnc2 ------