ONTOLOG Community Event Planning Session - Thu 2013-06-13    (3TR1)

Session Co-chairs: Dr. LeoObrst & Mr. PeterYim    (3TR2)

To be Covered today:    (3TR3)

Archives:    (3TRF)

Conference Call Details    (3TRO)

Attendees    (3TSL)

Abstract:    (3TT4)

Now that the OntologySummit is over, we should start planning on how to best leverage the Ontolog Thursday event slots to do something that caters to the interests and desires of this community's membership. Our virtual sessions (and the knowledge we manage to capture out of those events) have always been a key asset/resource of our community.    (3TT5)

There are ongoing initiatives, there are things we need to follow-up on, and there are things we've always wanted to do.    (3TT6)

The plan is to lay out the options, and have members of the community chime in, and decide what events will be featured, and who will be championing those events. We hope we can have a good cross-section of the community participating at this session, so we can properly gauge the interest of the community members. If you want to influence what gets featured in the upcoming Thursday virtual session slots, please make sure you come join us at this session.    (3TTQ)

Agenda Ideas    (3TUZ)

Some of the things that came to mind, include ...    (3TV0)

... send us your ideas too (post above, and identify yourself for follow-up purposes, or email that to the co-chairs so we can include them into the agenda!    (3TV1)

Agenda:    (3TTR)

ONTOLOG Community Event Planning    (3TTS)

Proceedings:    (3TTY)

Please refer to the above    (3TTZ)

IM Chat Transcript captured during the session    (3TU0)

 see raw transcript here.    (3TU1)
 (for better clarity, the version below is a re-organized and lightly edited chat-transcript.)
 Participants are welcome to make light edits to their own contributions as they see fit.    (3TU2)
 -- begin in-session chat-transcript --    (3TU3)
 	[8:18] PeterYim: Welcome to the    (3TZM)
	 = ONTOLOG Community Event Planning Session - Thu 2013-06-13 =    (3TZN)
	Session Co-chairs: Dr. LeoObrst & Mr. PeterYim    (3TZO)
	To be Covered today:    (3TR3)    (3TZP)
	* ONTOLOG Community Event Planning - Opening (co-chairs)   (3TR4)
	** What defines the Ontolog CoP?    (3TR5)
	** What do we want to achieve today?    (3TR6)    (3TZQ)
	* Open Discussion    (3TR7)
	** Outstanding follow-up activities    (3TR8)
	** Candidate Topics of interest to the community ...    (3TR9)
	** Coordinating current & new programs - annual events, mini-series, initiatives, ...    (3TRB)    (3TZR)
	* Events & Action Plans    (3TRC)
	** Candidate Speakers the community would want to invite ...    (3TRA)
	** Who will champion these activities ... ?    (3TRD)
	** Short / medium term event plans    (3TRE)    (3TZS)
	Logistics:    (3TZT)
	* Refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_13    (3TZU)
	* (if you haven't already done so) please click on "settings" (top center) 
	  and morph from "anonymous" to your RealName (in WikiWord format)    (3TZV)
	* Mute control: *7 to un-mute ... *6 to mute    (3TZW)
	* 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.    (3TZX)
	Attendees: LeoObrst (co-chair), PeterYim (co-chair), AmandaVizedom, HaroldBoley, HensonGraves, 
	KenBaclawski, MatthewWest, MichaelGruninger, PavithraKenjige, SimonSpero, SteveRay, ToddSchneider    (3TZY)
	 = Proceedings ==    (3TZZ)
	[8:35] List of attendees: HaroldBoley, HensonGraves, KenBaclawski, LeoObrst, 
	MatthewWest, MichaelGruninger, PeterYim, SteveRay, ToddSchneider, vnc2    (3U00)
	[8:36] PeterYim: == session start ... Leo opens with the slides ...    (3U01)
	[8:45] AmandaVizedom: No shortage of ideas!    (3U02)
	[8:49] PeterYim: == Discussion begins ... see some of the ideas already floated ... under: 
	http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_13#nid3TV0    (3U03)
	[8:52] PeterYim: === Brainstorming now ...    (3U04)
	[8:49] SteveRay: How about interleaving a good ol' seminar series, with highly selective criteria 
	for speakers? Some of the really interesting past seminars such as on Siri, or Watson, would be the 
	kind of thing I'm thinking.    (3U05)
	[8:49] LeoObrst: I'd like to see a session or sessions on updates about some of the ongoing 
	initiatives like OntoIOp and CommonLogic_V2, which the Ontolog community probably doesn't know much 
	about.    (3U06)
	[8:53] ToddSchneider: Steve, Leo, Yes.    (3U07)
	[8:57] PeterYim: @SteveRay - indeed! ... that's something we would want to keep doing, specifically 
	under ever-running "Ontolog Invited Speakers" series    (3U08)
	[8:58] LeoObrst: IAOA Education Committee has an ongoing ontology textbook/handbook effort, and 
	there may be potential collaboration with efforts like AURA.    (3U09)
	[9:01] MichaelGruninger: @Leo: we could start this with a special brainstorming session on the 
	coverage of topics that people would like to see in an ontology textbook    (3U0A)
	[8:59] ToddSchneider: What outcomes are expected for today's discussion? ... [ LeoObrst / PeterYim: 
	hopefully event plans that covers the planning horizon for the rest of the year, say, until Nov or 
	Dec-2013 when activities of the next OntologySummit will start in earnest. ]    (3U0B)
	[9:01] HensonGraves: I have to check out soon, but hope to be involved in activities    (3U0C)
	[9:04] MichaelGruninger: what topics do people feel have been under-represented or overlooked by 
	past Ontolog sessions?    (3U0D)
	[9:04] ToddSchneider: Michael, reasoning.    (3U0E)
	[9:05] AmandaVizedom: I would love to do an "Ontology of ontology evaluation" series...    (3U0F)
	[9:28] MichaelGruninger: With a big-picture view, we could be looking for opportunities for new 
	applications of ontologies, or new domains that are looking for ontologies    (3U0G)
	[9:18] PeterYim: is there a lot of interest in Ontology Vizualization?    (3U0H)
	[9:20] AmandaVizedom: There is an *enormous* amount of interest in visualization and visual-based 
	creation and editing of ontologies... This was frequently talked about at 
	SemTechBiz last week.    (3U0I)
	[9:22] AmandaVizedom: E.g., it was one of 4 breakouts in FIBO because the frequent division between 
	imprecise visual techniques for conceptual/business model development, on the one hand, and 
	formalization of these models for operational purposes, on the other, is both a bottleneck and 
	lossy.    (3U0J)
	[9:20] LeoObrst: Harold: does GRAILOG also potentially address diagrammatic reasoning/proof 
	representations and visualizations?    (3U0K)
	[9:31] HaroldBoley: Leo, Grailog includes Directed Labeled Graphs (DLGs) as a sublanguage, hence can 
	reuse DLG-based reasoning/proof representations. For n-ary relationships, Grailog's directed 
	hyperarcs can then be introduced. For subproofs, Grailog's recursive (complex) nodes. These options 
	are in support of readability.    (3U0L)
	[9:28] HensonGraves: Given that Ontolog is interesting in achieving practical results that impact 
	communities such as the engineering and systems communities, there are a number of areas where this 
	might be possible. (1) collecting evidence where ontologies is being used in engineering, (2) 
	ontology standards, particular that can be used in engineering modeling languages, (3) identifying 
	relevant research on visualization with ontology, integration of reasoning with ontology use, 
	logic-based foundations for ontologies, ..    (3U0M)
	[9:31] HensonGraves: I have used a product development ontology as the basis for developing a large 
	information management system. I can talk about the ideas used, but cannot talk about the specifics. 
	By the way the use of an ontology was a replacement for use of metadata to organize product 
	information. Metadata was were we started, but while good, wasn't good enough    (3U0N)
	[9:33] anonymous morphed into SimonSpero    (3U0O)
	[9:35] anonymous morphed into PavithraKenjige    (3U0P)
	[9:18] SteveRay: How about we try to get Richard Cyganiak to revisit his Linked Open Data diagram 
	and explore if an ongoing map of SPARQL end-points and other LOD sources could be maintained? I have 
	always been disappointed that the latest version froze at September 2011.    (3U0Q)
	[9:26] AmandaVizedom: I can speak to the LOC (Library of Congress) issue    (3U0R)
	[9:33] AmandaVizedom: Yes, LinkedOpenData (LOD), and LOD-* (e.g., LOD-LAM, where "LAM" = Libraries, 
	Archives, and Museums) specialized groups are abundant and very busy    (3U0S)
	[9:39] LeoObrst: At least some of the LD/LOD folks focus just on the graph structure, and so may be 
	re-inventing "semantic networks", i.e., an older style of knowledge representation, prior to the 
	rise of ontologies.    (3U0T)
	[9:41] HensonGraves: using graphs, doesn't have to be reinvinting semantic networks    (3U0U)
	[9:42] HaroldBoley: Graphs can be seen as a 2D *syntax* for logics, e.g. Description Logic and Horn 
	Logic.    (3U0V)
	[9:45] LeoObrst: No, most complex representations (such as logics) have an underlying graph 
	structure. So OWL and CL, etc., have graph representations. However, the LOD folks and some of these 
	"knowledge graphs"" are just like semantic networks, i.e., named nodes and edges without a supporting 
        ontology defining them. So pre-logical.    (3U0X)
        [9:48] SimonSpero: @Leo: things don't seem to be quite as bad as the pre-Woods forest 
        ... less everything is a isa    (3U0Y)
        [9:47] AmandaVizedom: Indeed. What was striking about the SemTechBiz talks 
        was that most of them weren't using ""knowledge graphs"" in that pre-semantic way. My feeling is that 
        the acknowledged desires for some supporting ontology comes from the fact that they seem very 
        focused on interoperability.    (3U0Z)
        [10:00] HaroldBoley: Leo, yes, we have seen graphs used for logics on many levels: from the 
        domain-expert syntax level to the model-theoretic semantics level to the system-implementation 
        pragmatics level. We could try to get LOD folks interested in logics by showing that all of these 
        levels are dealt with formally in logic.    (3U10)
        [9:47] PeterYim: == Let's doing the planning, assignment of champions & scheduling ...    (3U11)
        [9:47] PeterYim: Harold: note possible conflicts with AAAI Seattle - Jul 14~18, 2013    (3U12)
        [9:48] HaroldBoley: http://www.aaai.org/Conferences/IAAI/iaai13.php    (3U13)
        [9:49] (considering the possibility of taking a summer break and not staging any events in Aug-2013) 
        MichaelGruninger initiated a vote - please click the Vote button to cast your ballot: Do we want to 
        have any Ontolog sessions in August? (1) Yes (2) No This is a single choice vote.    (3U14)
        [9:49] HaroldBoley voted for: No    (3U15)
        [9:49] ToddSchneider voted for: No    (3U16)
        [9:49] SteveRay voted for: No    (3U17)
        [9:50] AmandaVizedom abstains    (3U18)
        [9:50] MichaelGruninger voted for: No    (3U19)
        [9:50] PeterYim voted for: Yes    (3U1A)
        [9:50] LeoObrst voted for: No    (3U1B)
        [9:51] MichaelGruninger ended the vote - results: Do we want to have any Ontolog sessions in August?    (3U1C)
           Tally Choice 
           1 Yes 
           5 No 
           1 Abstains    (3U1D)
        [9:52] PeterYim: The consensus is: there will be no Ontolog Events in August-2013    (3U1E)
        [9:53] PeterYim: I'm expecting two upcoming invited speaker sessions imminently - BenjaminGrosof on 
        "RULELOG" and VinayChaudhri on "AURA" and - these two events are slated for the next two Thursdays 
        slots ... [confirmed subsequently: respectively, on Jun-20 (RuleLog) & Jun-27 (Aura)]    (3U1F)
        [9:55] MichaelGruninger: [reserving] October 3: Brainstorming for an Ontology textbook (Ontolog-IAOA 
        collaboration)    (3U1G)
        [9:59] MichaelGruninger: Sorry, but I need to leave now    (3U1H)
        [10:03] LeoObrst: Reasoning on ontologies could cover: formalisms and foundational issues 
        (propositional, predicate, rule reasoning, SAT), and logic programming, rule-based systems, 
        DL-reasoners, first-order theorem provers, etc.,    (3U1I)
        [10:04] LeoObrst: Folks, I must leave now, but am interested in helping to organize the "ontology reasoning" sessions.    (3U1J)
        [10:08] SteveRay: I need to go also. Thanks.    (3U1K)
        [10:08] PavithraKenjige: Peter, could you include Ontology for accessibility as a topic..
        ( example accessibility to support disability like 508 compliance?) 
        ... [ PeterYim responded: yes, if there are reasonable interest on this topic among 
        Ontolog members, and members of the "accessibility" community. Could you find out 
        the level of interest please, Pavithra.]    (3U1M)
	[10:08] PeterYim: I want a date in July for "OntologyBasedStandards" ... (possibly more focused on 
	restarting QUOMOS, etc.)    (3U1N)
	[10:08] PeterYim: note to ALL: we generally black out Jul-4, Nov (Thanksgiving), and pretty much the 
	second half of December    (3U1O)
	[10:07] AmandaVizedom: Issue: The Open Financial Data Group continues to have a weekly call at noon 
	on Thursdays.    (3U1P)
	[10:13] AmandaVizedom: I can't find duration of the OFDG calls; will check with MikeBennett. I 
	believe that the group, and the FIBO leads, would also prefer not to have this conflict.    (3U1Q)
	[10:16] PeterYim: ^LeoObrst / HensonGraves / HaroldBoley ( BenjaminGrosof / MikeDean)- maybe we 
	should a planning session to plan out that rules / reasoning / ontology-driven applications series 
	... possibly Jul-25    (3U1R)
	[10:21] PeterYim: that leave either Jul-11 or 18 for the "OntologyBasedStandards" session    (3U1S)
	[10:22] PeterYim: ToddSchneider: I will not be able to champion more things the rest of this year 
	... will be in a better position to do that in 2014    (3U1T)
	[10:22] PeterYim: let's continue to work via the [ontolog-forum] mailing list    (3U1U)
	[10:22] PeterYim: ... very productive session; thanks everyone!    (3U1V)
	[10:23] PeterYim: -- session ended: 10:20 am PDT --    (3U1W)
 -- end of in-session chat-transcript --    (3TU4)

Additional Resources:    (3TU9)


For the record ...    (3TUF)

How To Join (while the session is in progress)    (3TUG)