ppy/chat-transcript_20100910c_unedited.txt // PeterYim: . Welcome to the Joint SIO-OOR-Ontolog Panel Discussion - Fri 10-Sep-2010 * Topic: "Common Logic (CL) Support for OOR" * Chair: Dr. JohnSowa (VivoMind Intelligence) * Panelists: o Professor JohnBateman and Dr. habil. TillMossakowski (Bremen U) - "Adding Common Logic Support to the Heterogeneous Toolset (status report)" o Professor MichaelGruninger (U of Toronto) - "Objectives of the Common Logic Ontology Repository Project" o Mr. CameronRoss (Kojeware) - "An OOR Implementation for COLORE" o Mr. AdamPease (Articulate Software) - "Sigma as an OOR" please refer to dial-in and other details (incl. slide download links) on the session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_09_10 . Please change your name from 'anonymous' using the Settings button anonymous morphed into vnc2 anonymous morphed into TomRuss anonymous morphed into JohnBateman anonymous morphed into MattHettinger doug foxvog: put the video link on the chat page JohnBateman: The Hets demo video is at: http://www.informatik.uni-bremen.de/~till/hets-cl.avi anonymous morphed into ElizabethF PeterYim: = JohnSowa presenting (started 9:13am PDT) ... doug foxvog: Can the Prolog cut operator be easily handled by First-Order logic? AliHashemi: i think it should be on slide in the vnc AliHashemi: slide 5* doug foxvog: The slide should be advance to slide 5 as Ali said doug foxvog: Slide 7 now! Till Mossakowski: A smaller version (3.5GB) of the Hets demo video is at: http://www.informatik.uni-bremen.de/~till/hets-cl-small.avi AliHashemi: (the link to JohnB's pdf version is not working) AliHashemi: try VLC http://www.videolan.org/ ? AliHashemi: otherwise you might need to update some codecs doug foxvog: I can play it with the VLC media player. Rick Murphy: For folks who are interested. Hets is easy to install and config. Need to lean a little Haskell, understand the background and you're good to go. Till Mossakowski: However, you can install and run Hets without any Haskell knowledge. Haskell knowledge is only needed if you want to develop Hets. TomRuss: Quicktime on Mac is unable to play the movie. CameronRoss: I'm uploading the small video to youtube... it should be available shortly Rick Murphy: Till's right. I was just think about those who want to get their hands dirty. Also great support by Christian Maeder ! CameronRoss: try http://www.youtube.com/watch?v=33zsD48pKP4 and set your player to 480p PeterYim: thanks, Cameron ... this would work (probably for most of us) CameronRoss: Just click the link above and it will start in your browser anonymous2 morphed into PavithraKenjige CameronRoss: @Peter - ctrl L will put Adobe Reader into fullscreen PeterYim: the youtube link is now posted to the session page too PeterYim: @Cameron - I am aware of that, but when the slide decks don't show a slide number, I'll need to stay on the smaller window to know what slide number we are on CameronRoss: @Peter - makes sense PeterYim: = MichaelGruninger presenting (start 9:59am PDT) ... AliHashemi: ? PeterYim: Ali et al. ... please provide some context on your question or comment please, as this is archived ... allow it to make sense 3 months (or 3 years) from now, if we can. AliHashemi: @Peter - sorry, that was a typo (wrong window) PeterYim: no problem, Ali ... (thought you were questioning a comment Michael made in his presentation!) ToddSchneider: Thank you to all presenters. Have to go. PeterYim: bye, Todd PeterYim: = CameronRoss presenting (started 10:09am PDT) ... anonymous2: hi all, pathayes just got online. PeterYim: Hi Pat ... glad you made it! anonymous2: hi peter. which slides are we in? PeterYim: please morph into your real name (use "Settings" button at top center of window) PeterYim: CameronRoss's slide#4 JohnBateman: The high resolution version of the HETS/CL demo video is now also on YouTube at http://www.youtube.com/watch?v=srTTYQL3G6c PeterYim: Thanks John & Till ... links on session pages updated - ref http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_09_10#nid2GTM anonymous2 morphed into pathayes AdamPease: phone battery died dialing back in JohnBateman: There seems to be a terminological confusion between "Common Logic" as the CL that appears in CLIF files, and "Common Logic" in the broader sense. Otherwise it does not really make sense to talk of a "CL dedicated reasoner": what is necessary surely is the connection between many different reasoners as appropriate for the expressivity of the particular sublogics that CL may define (as argued for by JohnSowa just now): i.e., what Hets does. pathayes: johnB: yes, people often say CL when they really mean CLIF. However, there is what one might call a natural bias in CL to cover the whole free cl syntax, which goes beyond KIF in significant ways. anonymous6 morphed into BartGajderowicz anonymous6 morphed into Till Mossakowski CameronRoss: @Adam - One issue I've found with translating SuoKif to CL is that SuoKif allows terms to be sentences. However, over the thousands of sentences contained within SUMO, there are only 57 sentences that use this construct. Till Mossakowski: We have developed a technique for proving consistency of ontologies by amalgamating small models, conservative extensions, and refinements. We have applied this to DOLCE, which is not as huge as SUMO, but larger then anything model finders can handle. PeterYim1: I was disconnected from this chat-session (the soaphb.org server may have been down) just now ... and have lost the chat-transcript prior to now ... if anyone still has that, kindly say so (and send me a copy for the archives, please BartGajderowicz: @PeterYim: I have it, will archive and forward to you, Peter PeterYim1: thanks, Bart! JohnBateman: Note to Adam on CVS: actually there are many reasons to go beyond basic text CVS. We are currently exploring the use of the XML-aware versioning systen TnTBase (probably to be talked about next week) and interfacing this with BioPortal. There is also work ongoing on semantic object versioning, which is where we will want to be for ontology engineering I expect. TnTBase is, however, built *on top* of standand versioning tools, so I would agree with Adam that there should be no duplication of effort or repeating work that already exists, just because we are looking at ontologies. anonymous2 morphed into RickMurphy anonymous9 morphed into MichaelGruninger anonymous morphed into ImmanuelNormann JohnBateman: For alignment and translation between ontologies, we have moved on somewhat: I'd refer you to the work from Till Mossakowski, Oliver Kutz, Immanuel Normann on 'shapes of alignment'. THis makes much of the discussion about fixing particular vocabularies redundent. doug foxvog: The 90% ^ 5 => 6% argument only holds if each step is independent of the previous ones. However, if one is looking at logic chains, the separate steps are likely to be in the same context. Thus if the 90% covers the first step, the likelihood that terms in following rules also correspond should be far higher than 90%. anonymous morphed into John Sowa AdamPease: I'm tempted to comment on the ontology discussion, but isn't it very off topic? This call is about an OOR, not upper ontology JohnBateman: I agree with Adam: old debates. AliHashemi: Depending on how the modules are related to one another (Conservative vs Non Conservative) it goes a long way in addressing Pat Cassidy's point CameronRoss: @AdamPease and @JohnBateman - I'm currently looking into the possibility of integrating and re-branding the Google Code hosting service for an OOR. JohnBateman: Pat: before you go.... can we have agreement on the module semantics!!! We're waiting on this to finalise the Hets treatment of the modules. CameronRoss: @PatHayes - I have a pile of comments regarding a revised spec! I'll start a dialog. anonymous1: Where's the CL mailing list? PeterYim: who is this? "anonymous1" AliHashemi: http://philebus.tamu.edu/mailman/listinfo/cl JohnBateman: PatH: we *need* the module decision!!! CameronRoss: @PatCassidy - in terms of translation, the Samian Platform will support arbitrarily complex transformations steps, including steps that require complex reasoning... just need to know what thot is PavithraKenjige: @Dr.Sowa I am not in the common logic group, but I was interested in listen ingto this group Thanks! Thanks every body! PeterYim: thanks everyone ... great session! AliHashemi: Thanks + Bye! CameronRoss: Bye everyone... thanks! PeterYim: -- session ended 11:10am PDT -- Till Mossakowski: good bye JohnBateman: See y'all. PeterYim: @Bart ... looks like I do have a copy of the chat-transcript after all (from the vnc server) ... therefore, no need to send, but really appreciate your offer to help, nonetheless! BartGajderowicz: @PeterYim, no problem vnc2: Thansk again, Bart ... ttyl! //