imported>KennethBaclawski: Fix PurpleMediaWiki references

2016-01-09T06:32:47Z

Fix PurpleMediaWiki references

New page

= Joint [[SIO]]-[[OOR]]-[[Ontolog]] Panel Discussion: "CL Support for OOR" - Fri 10-Sep-2010 =

* Topic: "'''Common Logic ([[CL]]) Support for OOR'''"

* Chair: '''Dr. JohnSowa''' (<nowiki>VivoMind</nowiki> Intelligence) - [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/CL-OOR-SIO--JohnSowa_20100910.pdf slides] ]

* Panelists:
** '''Professor JohnBateman''' and '''Dr. habil. TillMossakowski''' (Bremen U) - "Adding Common Logic Support to the Heterogeneous Toolset (status report)" - [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/Ontolog-HETS-CL--JohnBateman-TillMossakowski_2010-09.ppt slides] ] . [ [http://www.youtube.com/watch?v=e3UXGPGS3To demo-video-clip] ]
** '''Professor MichaelGruninger''' (U of Toronto) - "Objectives of the Common Logic Ontology Repository Project" - [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/Objectives-COLORE-OOR--MichaelGruninger_20100910.pdf slides] ]
** '''Mr. CameronRoss''' (Kojeware) - "An OOR Implementation for COLORE" - [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/An-OOR-Implementation-for-COLORE--CameronRoss_20100910.pdf slides] ]
** '''Mr. AdamPease''' (Articulate Software) - "Sigma as an OOR" - [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/Sigma-as-an-OOR--AdamPease_20100910.pdf slides] ]
** '''Dr. PatHayes''' - some comments on work presented at this session

* [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/ Archive]:
** '''[[ConferenceCall_2010_09_10|Agenda & Proceedings]]'''
** '''[[ConferenceCall_2010_09_10|Abstracts]]'''
** '''Prepared presentation material''' can be accessed by clicking on each of the [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/ title links] below:
*** '''[ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/CL-OOR-SIO--JohnSowa_20100910.pdf 0-Chair] ] . [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/Ontolog-HETS-CL--JohnBateman-TillMossakowski_2010-09.ppt 1-Bateman-Mossakowski] . [http://www.youtube.com/watch?v=e3UXGPGS3To (demo-video-clip)] ].[ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/Objectives-COLORE-OOR--MichaelGruninger_20100910.pdf 2-Gruninger] ] . [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/An-OOR-Implementation-for-COLORE--CameronRoss_20100910.pdf 3-Ross] ] . [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/Sigma-as-an-OOR--AdamPease_20100910.pdf 4-Pease] ]'''
** '''[ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/CL-support-for-OOR_20100910.mp3 audio recording of the session] ]''' [ 1:49:59 ; mp3 ; 12.6MB ]
** '''[ [[ConferenceCall_2010_09_10|Transcript of the online chat session]] ]''' during the panel discussion
** Other '''[[ConferenceCall_2010_09_10|Resources]]'''

=== [[MeetingsCalls|Conference Call]] Details ===

* Date: '''Friday, 10-September-2010'''
* Start Time: 12:00pm EDT / 9:00am PDT / 6:00pm CEST / 5:00pm BST / 16:00 UTC
** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=9&day=10&year=2010&hour=9&min=0&sec=0&p1=224 World Clock]
* Expected Call Duration: ~2.0 hours
* Dial-in Number:
** from a '''US telephone (US): +1-218-844-8060''' (domestic long distance cost will apply)
** When calling in from a phone, use '''Conference ID: "4389979#"'''
** '''from Europe, call:'''
*** Austria 0820-4000-1577
*** Belgium 070-35-9992
*** France 0826-100-280
*** Germany 01805-00-7642
*** Ireland 0818-270-037
*** Italy 848-390-179
*** Spain 0902-886-056
*** Switzerland 0848-560-327
*** UK 0844-581-9148
** callers '''from other countries''' please dial into either one of the US or European numbers

* '''Shared-screen support''' (VNC session) will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/
** view-only password: "ontolog"
** if you plan to be logging into this shared-screen option (which the speaker may be navigating), and you are not familiar with the process, please try to call in 5 minutes before the start of the session so that we can work out the connection logistics. Help on this will generally not be available once the presentation starts.
** people behind corporate firewalls may have difficulty accessing this. If that is the case, please download the '''[[ConferenceCall_2010_09_10|slides above]]''' and running them locally. The speaker(s) will prompt you to advance the slides during the talk.

* '''Discussions and Q & A:'''
** (Unless the conference host has already muted everyone) '''Please mute your phone, by pressing "*2"''' on your phone keypad, when a presentation is in progress. '''To un-mute, press "*3"'''
** You can '''type in your questions or comments through the browser''' based [[ConferenceCall_2005_09_01|chat session]] by:
*** pointing a separate browser tab (or window) to http://webconf.soaphub.org/conf/room and enter: Room="'''ontolog_20100910'''" and My Name="Your Own Name" (e.g. "JaneDoe")
** or point your browser to: http://webconf.soaphub.org/conf/room/ontolog_20100910
*** instructions: once you got access to the page, click on the "settings" button, and identify yourself (by modifying the Name field). You can indicate that you want to ask a question verbally by clicking on the "hand" button, and wait for the moderator to call on you; or, type and send your question into the chat window at the bottom of the screen.
** (when everyone is muted) '''If you want to speak''' or have questions or remarks to make, '''please "raise your hand (virtually)" by click on the "hand button" (lower right) on the chat session page. You may speak when acknowledged by the speaker or the session moderator (again, press "*3" on your phone to unmute). ''Test your voice and introduce yourself first before proceeding with your remarks, please.'' (Please remember to click on the "hand button" again (to lower your hand) and press "*2" on your phone to mute yourself after you are done speaking.)
** thanks to the soaphub.org folks, one can now use a jabber/xmpp client (e.g. gtalk) to join this chatroom. Just add the room as a buddy - (in our case here) ontolog_20100910@soaphub.org ... Handy for mobile devices!

* Please review our Virtual Session Tips and Ground Rules - see: [[VirtualSpeakerSessionTips]]

* '''RSVP''' ''to [mailto:peter.yim@cim3.com peter.yim@cim3.com] appreciated.''

* This session, like all other Ontolog events, is open to the public. Information relating to this session is shared on this wiki page: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_09_10

* Please note that this session will be recorded, and the audio archive is expected to be made available as open content to our community membership and the public at-large under [[WikiHomePage#Intellectual_Property_Rights_.28IPR.29_Policy|our prevailing open IPR policy]].

== Attendees ==

* Attended:
** [[JohnSowa|John F. Sowa]] (chair)
** [[JohnBateman|John Bateman]]
** [[TillMossakowski|Till Mossakowski]]
** [[MichaelGruninger|Michael Grüninger]]
** [[CameronRoss|Cameron Ross]]
** [[AdamPease|Adam Pease]]
** [[PeterYim|Peter P. Yim]]
** [[PatCassidy|Pat Cassidy]]
** [[MattHettinger|Matt Hettinger]]
** [[User:KennethBaclawski|Ken Baclawski]]
** [[TerryLongstreth|Terry Longstreth]]
** [[DougFoxvog|Doug Foxvog]]
** [[RickMurphy|Rick Murphy]]
** [[TomRuss|Tom Russ]]
** [[BartGajderowicz|Bart Gajderowicz]]
** [[AliHashemi|Ali Hashemi]]
** [[PavithraKenjige|Pavithra Kenjige]]
** [[ElizabethFlorescu|Elizabeth Florescu]]
** [[ToddSchneider|Todd Schneider]]
** [[CecilLynch|Cecil Lynch]]
** [[ImmanuelNormann|Immanuel Normann]]
** [[BobbinTeegarden|Bobbin Teegarden]]
** [[PatHayes|Pat Hayes]]
** [[YuriyMilov|Yuriy Milov]]
** [[MikeDean|Mike Dean]]

* Expecting:
** [[ArturoSanchez|Arturo Sanchez]]
** [[BernardUlozas|Bernard Ulozas]]
** [[JeffAbbott|Jeff Abbott]]
** [[ChuckTurnitsa|Chuck Turnitsa]]
** [[MichaelRiben|Michael Riben]]
*
** ''... if you are coming to the session, please add your name above (plus your affiliation, if you aren't already a member of the community) above; or e-mail <peter.yim@cim3.com> so that we can reserve enough resources to support everyone's participation. ...''

* Regrets:
** [[NancyWiegand|Nancy Wiegand]]

=== Resources ===

* '''[[OpenOntologyRepository]]''' - Homepage for the OOR initiative
* A recent presentation on OOR - [http://ontolog.cim3.net/file/work/OOR/OOR_presentations_publications/OOR-SemTech_Jun2010.pdf OOR Presentation at SemTech2010]
* The OOR-sandbox v2.5 (powered by the NCBO [[BioPortal]] Core v2.5) instance, now online at: http://oor-01.cim3.net [http://ontolog.cim3.net/forum/oor-dev/2010-05/msg00001.html ref.]
* OOR Project site and code repository at [[SemWebCentral]] - http://oor.semwebcentral.org
* 2009_07_30 - Thursday: Joint Ontolog-OOR Panel Discussion: "BioPortal and related Ontology Repository Implementations and Development" (Take-3) - Chair: Natasha Noy - Panelists: [[CarlosRueda|Carlos Rueda]], [[PaulAlexander|Paul Alexander]], [[JohnGraybeal|John Graybeal]], [[MikeDean|Mike Dean]], StephenGranite, AlexGarcia, [[User:KennethBaclawski|Ken Baclawski]] - ConferenceCall_2009_07_30   
* 2009_02_19 - Thursday: Joint Ontolog-OOR Panel Discussion: "Getting OOR Development Off the Ground (Take-2): the work begins" - Chair: [[ToddSchneider|Todd Schneider]]; Panelists: Mark Musen, Natasha Noy, [[MikeDean|Mike Dean]], [[PaulBuitelaar|Paul Buitelaar]] / [[AndreasHarth|Andreas Harth]], [[MathieuDaquin|Mathieu Daquin]], [[User:KennethBaclawski|Ken Baclawski]], [[MichaelGruninger|Michael Grüninger]] - ConferenceCall_2009_02_19   
* 2008_08_22 - Friday: OOR Panel Discussion: "Getting OOR Development Off the Ground: Identifying Synergies & Gaps" (Take-1) - Chair: [[LeoObrst|Leo Obrst]]; Panelists: [[MikeDean|Mike Dean]], Mark Musen, [[LiDing|Li Ding]], [[Bargmeyer|Bruce Bargmeyer]] & [[BillAndersen|Bill Andersen]] - ConferenceCall_2008_08_22   
* 2008_04_29 - Our team made a presentation with our history, status, OOR rationale and requirements, and a proposed roadmap at the [[OntologySummit2008|Ontology Summit 2008]] - see: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2008/FaceToFaceAgenda#nid1BLS
* [[OntologySummit2008_Communique]]
* our last regular OOR-team meeting - [[OOR/ConferenceCall_2010_08_20]]
* [ [http://ontolog.cim3.net/forum/oor-forum/ oor-forum] ] message archive - http://ontolog.cim3.net/forum/oor-forum/
** (if you are not yet subscribed) you may subscribe yourself to the [ [http://ontolog.cim3.net/mailman/listinfo/oor-forum/ oor-forum] ] listserv, by sending a blank email to <oor-forum-join [at] ontolog.cim3.net> from your subscribing email address, and then follow the instructions you receive back from the mailing list system.
** check out our other mailing lists and [[OpenOntologyRepository|join us]]

== Agenda & Proceedings ==

'''Session: "Common Logic (CL) Support for OOR" Panel Discussion'''

* '''Session Format & Agenda:''' this is a virtual session conducted over an augmented conference call:
** 1. Opening - chair ... [ [[ConferenceCall_2010_09_10|slides]] ] (10 min.)
** 2. Panelists presentations - [[JohnBateman|John Bateman]], Till Mossakowski, [[MichaelGruninger|Michael Grüninger]], [[CameronRoss|Cameron Ross]], [[AdamPease|Adam Pease]] (15 min. each)
** 3. Comment from the Panel - [[PatHayes|Pat Hayes]] & other panelists
** 4. Q & A and open discussion - All (30 min.) ... please refer to [[ConferenceCall_2010_09_10|process above]]
** 5. Conclusion / Follow-up - chair

== Abstracts ==

* '''Session Topic: "Common Logic (CL) Support for OOR"'''
** by [[JohnSowa|John F. Sowa]]

::''Abstract'': ... this session will be devoted to exploring the various alternatives available to provide Common Logic (ISO/IEC 24707) support for the Open Ontology Repository (OOR) initiative.

=== Panel Member Talks ===

* Title: '''Adding Common Logic Support to the Heterogeneous Toolset (status report)''' - [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/Ontolog-HETS-CL--JohnBateman-TillMossakowski_2010-09.ppt slides] ] . [ [http://www.youtube.com/watch?v=e3UXGPGS3To demo-video-clip] ]
** by [[TillMossakowski|Till Mossakowski]] & [[JohnBateman|John Bateman]]

::''Abstract'': ... The Heterogeneous Tool Set (Hets) is a multi-logic parsing, analysis
and proof tool. The logics covered by Hets include propositional logic
(with SAT solvers minisat and zChaff), OWL (with provers Pellet and FACT++),
first-order logic (with provers SPASS, Vampire, Darwin and MathServe),
and higher-order logic (with prover Isabelle).
Recently, we have added Common Logic to Hets, offering both parsing
and proof tools for Common Logic. SPASS, Vampire, Darwin and MathServe
are available for proofs in Common Logic, as well as Isabelle (if
induction on lists is needed). Moreover, a translation from OWL into
Common Logic is provided. Last but not least, the language [[HetCASL]]
provides heterogeneous structuring and refinement, making it possible
e.g. to verify that the OWL version of an ontology is indeed implied
by its Common Logic version, or verify logical relations between
different ontologies. We propose functionalities of this kind
as highly desirable for next generation ontology management and
repository building.

* Title: '''Objectives of the Common Logic Ontology Repository Project''' - [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/Objectives-COLORE-OOR--MichaelGruninger_20100910.pdf slides] ]
** by [[MichaelGruninger|Michael Grüninger]]

::''Abstract'': I will give an overview of the objectives for the COLORE project,
covering ontological engineering, issues specific to Common Logic,
and issues related to software functionality.

:: ref. http://stl.mie.utoronto.ca/colore/ontologies.html

* Title: '''An OOR Implementation for [[COLORE]]''' - [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/An-OOR-Implementation-for-COLORE--CameronRoss_20100910.pdf slides] ]
** by [[CameronRoss|Cameron Ross]]

::''Abstract'': ... This talk will outline efforts by Kojeware Corporation and the Semantic Technologies Laboratory at the University of Toronto to develop an open system for hosting a repository of Common Logic content from Goolge's cloud computing infrastructure. The requirements of this system will be summarized and a high-level description of the system will be presented. The Resource-Oriented Architecture we have designed to expose CL content using RESTful services will also be presented. Challenges with naming CL resources using globally unique and location-independent identifiers (i.e. URNs) will be discussed, and disparities between our requirements and capabilities of the current [[BioPortal]] system will be summarized.

:: ref. [http://ontolog.cim3.net/forum/ontolog-forum/2010-08/msg00151.html Announcement] - Open Source release of Samian Platform: http://code.google.com/a/eclipselabs.org/p/samian-platform/

* Title: '''Sigma as an OOR''' - [ [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/Sigma-as-an-OOR--AdamPease_20100910.pdf slides] ]
** by [[AdamPease|Adam Pease]]

::''Abstract'': ... This brief talk will outline the capabilities of the open source (under GNU GPL/LGPL) Sigma Knowledge Engineering Environment http://sigmakee.sourceforge.net. Sigma has been released and developed on [[SourceForge|Source Forge]] starting in 2004. This talk will discuss its existing tool set including browsing, analysis and inference. Sigma supports SUO-KIF, with import/export capabilities for OWL, and TPTP formats. Its embedded inference system supports full first order logic with equality. An experimental higher order inference system is also included. While developed for the Suggested Upper Merged Ontology, Sigma can support any theory or set of theories of equivalent or lesser expressiveness. The SUO-KIF appears to be a concrete syntax of CL, and little effort would be required to allow CLIF display/import/export within Sigma.

:: ref. http://www.ontologyportal.org/ & http://sigma3.cim3.net:4010/sigma/Browse.jsp?kb=SUMO&lang=en

=== Transcript of the online chat during the session ===

see raw transcript [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/chat-transcript_20100910c_unedited.txt here].

(for better clarity, the version below is a [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/chat-transcript_20100910d_edited.txt re-organized and lightly edited chat-transcript].)

Participants are welcome to make light edits to their own contributions as they see fit.

-- begin of chat session --

[[PeterYim|Peter P. Yim]]: .

Welcome to the Joint SIO-OOR-Ontolog Panel Discussion - Fri 10-Sep-2010

* Topic: "Common Logic (CL) Support for OOR"

* Chair: Dr. [[JohnSowa|John F. Sowa]] (VivoMind Intelligence)

* Panelists:

o Professor [[JohnBateman|John Bateman]] and Dr. habil. [[TillMossakowski|Till Mossakowski]] (Bremen U)

- "Adding Common Logic Support to the Heterogeneous Toolset (status report)"

o Professor [[MichaelGruninger|Michael Grüninger]] (U of Toronto)

- "Objectives of the Common Logic Ontology Repository Project"

o Mr. [[CameronRoss|Cameron Ross]] (Kojeware)

- "An OOR Implementation for COLORE"

o Mr. [[AdamPease|Adam Pease]] (Articulate Software)

- "Sigma as an OOR"

o Dr. [[PatHayes|Pat Hayes]] - some comments on work presented at this session

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 (top center)

anonymous morphed into vnc2

anonymous morphed into [[TomRuss|Tom Russ]]

anonymous morphed into [[JohnBateman|John Bateman]]

anonymous morphed into [[MattHettinger|Matt Hettinger]]

[[DougFoxvog|Doug Foxvog]]: put the video link on the chat page

[[JohnBateman|John Bateman]]: The Hets demo video is at: http://www.informatik.uni-bremen.de/~till/hets-cl.avi

anonymous morphed into [[ElizabethFlorescu|Elizabeth Florescu]]

[[PeterYim|Peter P. Yim]]: = [[JohnSowa|John F. Sowa]] presenting (started 9:13am PDT) ...

[[DougFoxvog|Doug Foxvog]]: Can the Prolog cut operator be easily handled by First-Order logic?

[[AliHashemi|Ali Hashemi]]: i think it should be on slide in the vnc

[[AliHashemi|Ali Hashemi]]: slide 5*

[[DougFoxvog|Doug Foxvog]]: The slide should be advance to slide 5 as Ali said

[[DougFoxvog|Doug Foxvog]]: Slide 7 now!

[[TillMossakowski|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|Ali Hashemi]]: (the link to JohnB's pdf version is not working)

[[AliHashemi|Ali Hashemi]]: try VLC http://www.videolan.org/ ?

[[AliHashemi|Ali Hashemi]]: otherwise you might need to update some codecs

[[DougFoxvog|Doug Foxvog]]: I can play it with the VLC media player.

[[RickMurphy|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.

[[TillMossakowski|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|Tom Russ]]: Quicktime on Mac is unable to play the movie.

[[CameronRoss|Cameron Ross]]: I'm uploading the small video to youtube... it should be available shortly

[[RickMurphy|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|Cameron Ross]]: try http://www.youtube.com/watch?v=33zsD48pKP4 and set your player to 480p

[[PeterYim|Peter P. Yim]]: thanks, Cameron ... this would work (probably for most of us)

[[CameronRoss|Cameron Ross]]: Just click the link above and it will start in your browser

anonymous2 morphed into [[PavithraKenjige|Pavithra Kenjige]]

[[CameronRoss|Cameron Ross]]: @Peter - ctrl L will put Adobe Reader into fullscreen

[[PeterYim|Peter P. Yim]]: the youtube link is now posted to the session page too

[[PeterYim|Peter P. Yim]]: @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|Cameron Ross]]: @Peter - makes sense

[[PeterYim|Peter P. Yim]]: = [[MichaelGruninger|Michael Grüninger]] presenting (start 9:59am PDT) ...

[[ToddSchneider|Todd Schneider]]: Thank you to all presenters. Have to go.

[[PeterYim|Peter P. Yim]]: bye, Todd

[[PeterYim|Peter P. Yim]]: = [[CameronRoss|Cameron Ross]] presenting (started 10:09am PDT) ...

anonymous2 morphed into [[PatHayes|Pat Hayes]]

[[PatHayes|Pat Hayes]]: hi all, [[PatHayes|Pat Hayes]] just got online.

[[PeterYim|Peter P. Yim]]: Hi Pat ... glad you made it!

[[PatHayes|Pat Hayes]]: hi peter. which slides are we in?

[[PeterYim|Peter P. Yim]]: please morph into your real name (use "Settings" button at top center of window)

[[PeterYim|Peter P. Yim]]: CameronRoss's slide#4

[[JohnBateman|John Bateman]]: The high resolution version of the HETS/CL demo video is now also on youtube at

http://www.youtube.com/watch?v=srTTYQL3G6c

[[PeterYim|Peter P. Yim]]: Thanks John & Till ... links on session pages updated - ref

http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_09_10#nid2GTM

[[AdamPease|Adam Pease]]: phone battery died dialing back in

[[JohnBateman|John Bateman]]: 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|John F. Sowa]] just now): i.e., what Hets does.

[[PatHayes|Pat Hayes]]: 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|Bart Gajderowicz]]

anonymous6 morphed into [[TillMossakowski|Till Mossakowski]]

[[CameronRoss|Cameron Ross]]: @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.

[[TillMossakowski|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.

[[PeterYim|Peter P. Yim]]: I was disconnected from this chat-session (the soaphub.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|Bart Gajderowicz]]: @PeterYim: I have it, will archive and forward to you, Peter

[[PeterYim|Peter P. Yim]]: thanks, Bart!

[[JohnBateman|John Bateman]]: 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 system [[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|Rick Murphy]]

anonymous9 morphed into [[MichaelGruninger|Michael Grüninger]]

anonymous morphed into [[ImmanuelNormann|Immanuel Normann]]

[[JohnBateman|John Bateman]]: For alignment and translation between ontologies, we have moved on somewhat: I'd refer

you to the work from [[TillMossakowski|Till Mossakowski]], Oliver Kutz, Immanuel Normann on 'shapes of alignment'. This

makes much of the discussion about fixing particular vocabularies redundant.

[[DougFoxvog|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 [[JohnSowa|John F. Sowa]]

[[AdamPease|Adam Pease]]: 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|John Bateman]]: I agree with Adam: old debates.

[[AliHashemi|Ali Hashemi]]: Depending on how the modules are related to one another (Conservative vs Non

Conservative) it goes a long way in addressing PatCassidy's point

[[CameronRoss|Cameron Ross]]: @AdamPease and @JohnBateman - I'm currently looking into the possibility of integrating

and re-branding the Google Code hosting service for an OOR.

[[JohnBateman|John Bateman]]: 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|Cameron Ross]]: @PatHayes - I have a pile of comments regarding a revised spec! I'll start a dialog.

anonymous1: Where's the CL mailing list?

[[PeterYim|Peter P. Yim]]: who is this? "anonymous1"

[[AliHashemi|Ali Hashemi]]: http://philebus.tamu.edu/mailman/listinfo/cl

[[JohnBateman|John Bateman]]: @PatHayes: we *need* the module decision!!!

[[CameronRoss|Cameron Ross]]: @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|Pavithra Kenjige]]: @Dr.Sowa I am not in the common logic group, but I was interested in listen ingto

this group Thanks! Thanks every body!

[[PeterYim|Peter P. Yim]]: thanks everyone ... great session!

[[AliHashemi|Ali Hashemi]]: Thanks + Bye!

[[CameronRoss|Cameron Ross]]: Bye everyone... thanks!

[[PeterYim|Peter P. Yim]]: -- session ended 11:10am PDT --

[[TillMossakowski|Till Mossakowski]]: good bye

[[JohnBateman|John Bateman]]: See y'all.

[[PeterYim|Peter P. Yim]]: @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|Bart Gajderowicz]]: @PeterYim, no problem

[[PeterYim|Peter P. Yim]]: Thanks again, Bart ... ttyl!

-- end of chat session --

* Further Question & Remarks - please post them to the [ [http://ontolog.cim3.net/forum/oor-forum/ oor-forum] ] listserv
** if you are already subscribed, post to <oor-forum [at] ontolog.cim3.net>
** (if you are not yet subscribed) you may subscribe yourself to the [ [http://ontolog.cim3.net/mailman/listinfo/oor-forum/ oor-forum] ] listserv, by sending a blank email to <oor-forum-join [at] ontolog.cim3.net> from your subscribing email address, and then follow the instructions you receive back from the mailing list system.

== Audio Recording of this Session ==

* To download the [http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/CL-support-for-OOR_20100910.mp3 audio recording of the session], click '''[http://ontolog.cim3.net/file/work/OpenOntologyRepository/2010-09-10_CL-support-for-OOR/CL-support-for-OOR_20100910.mp3 here]'''
** the playback of the audio files require the proper setup, and an MP3 compatible player on your computer.
* Conference Date and Time: 10-Sep-2010 9:12am ~ 11:10am PDT
* Duration of Recording: 1 Hour 50 Minutes
* Recording File Size: 12.6 MB (in mp3 format)

* suggestion: its best that you listen to the session while having the [[ConferenceCall_2010_09_10|presentation]] opened in front of you. You'll be prompted to advance slides by the speaker.
* Take a look, also, at the rich body of knowledge that this community has built together, over the years, by going through the [[WikiHomePage|archives of noteworthy past Ontolog events.]] (References on how to subscribe to our podcast can also be found there.)

----

''For the record ...''

== How To Join (while the session is in progress) ==

* '''1.''' Dial in with a phone: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_09_10#nid2GTW
* '''2.''' Open chat in a new browser window: http://webconf.soaphub.org/conf/room/ontolog_20100910
* '''3.''' Download presentations for each speaker here: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_09_10#nid2GTM
** or, '''3.1''' [[ConferenceCall_2010_09_10|access our shared-screen vnc server]], if you are not behind a corporate firewall

[[Category:Event_Meeting]] [[Category:OOR]] [[Category:OntoIOp]] [[Category:CommonLogic]] [[Category:SharingIntegratingOntologies]]

ConferenceCall 2010 09 10 - Revision history

imported>KennethBaclawski: Fix PurpleMediaWiki references