ppy/Ontolog-planning_chat-transcript_unedited_20130613a.txt ------ Chat transcript from room: ontolog_20130613 2013-06-13 GMT-08:00 [PDT] ------ [8:18] PeterYim: Welcome to the = ONTOLOG Community Event Planning Session - Thu 2013-06-13 = Session Co-chairs: Dr. LeoObrst & Mr. PeterYim To be Covered today: (3TR3) * ONTOLOG Community Event Planning - Opening (co-chairs) (3TR4) ** What defines the Ontolog CoP? (3TR5) ** What do we want to achieve today? (3TR6) * 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) * 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) Logistics: * Refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_13 * (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. Attendees: AmandaVizedom, Harold Boley, HensonGraves, KenBaclawski, LeoObrst, MatthewWest, MichaelGruninger, PavithraKenjige, PeterYim, SimonSpero, SteveRay, ToddSchneider, anonymous, vnc2 . = Proceedings == . [8:35] List of attendees: Harold Boley, HensonGraves, HensonGraves1, KenBaclawski, LeoObrst, MatthewWest, MichaelGruninger, PeterYim, SteveRay, ToddSchneider, vnc2 [8:36] PeterYim: == session start ... Leo opens with the slides ... [8:45] AmandaVizedom: No shortage of ideas! [8:49] PeterYim: == Discussion begins ... [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. [8:49] LeoObrst: I'd like to see a session or sessions on updates about some of the ongoing initiatives like OntoIOP and Common Logic V2, which the Ontolog community probably doesn't know much about. [8:49] PeterYim: see: some of the ideas already floated ... http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_13#nid3TV0 [8:52] PeterYim: === Brainstorming now ... [8:53] ToddSchneider: Steve, Leo, Yes. [8:57] PeterYim: @SteveRay - indeed! ... that's something we would want, specifically under ever-running "Ontolog Invited Speakers" series [8:58] LeoObrst: IAOA Education Committee has an ongoing ontology textbook/handbook effort, and there may be potential collaboration with efforts like AURA. [8:59] ToddSchneider: What outcomes are expected for today's discussion? [9:01] HensonGraves: I have to check out soon, but hope to be involved in activities [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 [9:04] MichaelGruninger: what topics do people feel have been under-represented or overlooked by past Ontolog sessions? [9:04] ToddSchneider: Michael, reasoning. [9:05] AmandaVizedom: I would love to do Onto of onto eval series... [9:18] PeterYim11: is there a lot of interest in Ontology Vizualization? [9:18] SteveRay10: 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. [9:20] LeoObrst5: Harold: does GRAILOG also potentially address diagrammatic reasoning/proof representations and visualizations? [9:20] AmandaVizedom1: There is an *enormous* amount of interest in visualization and visual-based creation and editing of ontologies... This was frequently talked about at SemTechBiz [9:22] AmandaVizedom1: 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. [9:22] AmandaVizedom1: 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. [9:26] AmandaVizedom: I can speak to the LOC issue [9:28] HensonGraves11: 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, .. [9:28] MichaelGruninger10: With a big-picture view, we could be looking for opportunities for new applications of ontologies, or new domains that are looking for ontologies [9:31] PeterYim9: ^Amanda: LOC (Library of Congress) [9:31] Harold Boley12: 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. [9:31] HensonGraves13: 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 repacement for use of metadata to organize product information. Metadata was were we started, but while good, wasn't good enough [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 [9:33] anonymous morphed into SimonSpero [9:35] anonymous morphed into PavithraKenjige [9:39] LeoObrst1: 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. [9:41] HensonGraves13: using graphs, doesn't hvae to be reinvinting semantic networks [9:42] Harold Boley12: Graphs can be seen as a 2D *syntax* for logics, e.g. Description Logic and Horn Logic. [9:45] LeoObrst1: 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. [9:47] PeterYim13: Harold: AAAI Seattle - Jul 14~18, 2013 [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. [9:48] Harold Boley12: http://www.aaai.org/Conferences/IAAI/iaai13.php [9:48] SimonSpero: @Leo: things don't seem to be quite as bad as the pre-Woods forest [9:49] MichaelGruninger13 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. [9:49] Harold Boley12 voted for: No [9:49] ToddSchneider6 voted for: No [9:49] SteveRay13 voted for: No [9:50] AmandaVizedom abstains [9:50] MichaelGruninger13 voted for: No [9:50] PeterYim13 voted for: No [9:50] SimonSpero: @Leo: less everything is a isa [9:50] PeterYim13 voted for: Yes [9:50] LeoObrst1 voted for: No [9:51] PeterYim13: my vote is "Yes" (please ignore my "No" vote) [9:51] MichaelGruninger13 ended the vote - results: Do we want to have any Ontolog sessions in August? Tally Choice 1 Yes 5 No 1 Abstains [9:52] PeterYim13: The consensus is: there will be no Ontolog Events in August-2013 [9:55] MichaelGruninger13: October 3: Brainstorming for an Ontology textbook (Ontolog/IAOA collaboration) [9:59] MichaelGruninger13: Sorry, but I need to leave now [10:00] Harold Boley12: 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. [10:03] LeoObrst1: 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., [10:04] LeoObrst1: Folks, I must leave now, but am interested in helping to organize the "ontology reasoning" sessions. [10:07] AmandaVizedom: Issue: The Open Financial Data Group continues to have a weekly call at noon on Thursdays. [10:08] PavithraKenjige: Peter, could you include Ontology for accessibility..( example accessibility to support disability like 508 compliance?) [10:08] PeterYim13: I want a date in July for "OntologyBasedStandards" ... (possibly more focused on restarting QUOMOS, etc.) [10:08] PavithraKenjige: As a topic [10:08] SteveRay13: I need to go also. Thanks. [10:08] PeterYim13: note to ALL: we generally black out Jul-4, Nov (Thanksgiving), and pretty much the second half of Decemeber [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. [10:16] PeterYim13: ^LeoObrst / HensonGraves / HaroldBoley ( BenjaminGrosof / MikeDean)- maybe we should a planning session to plan out that rules / reasoning / ontology-driven applications series [10:17] PeterYim13: ... possibly Jul-25 [10:21] PeterYim13: that leave Jul-11 or 18 for the "OntologyBasedStandards" session [10:22] PeterYim13: 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 [10:22] PeterYim13: let's continue to work via the [ontolog-forum] mailing list [10:22] PeterYim13: ... very productive session; thank everyone! [10:23] PeterYim13: -- session ended: 10:20 am PDT -- [10:23] List of attendees: AmandaVizedom, AmandaVizedom1, AmandaVizedom2, Harold Boley, Harold Boley1, Harold Boley10, Harold Boley11, Harold Boley12, Harold Boley2, Harold Boley3, Harold Boley4, Harold Boley5, Harold Boley6, Harold Boley7, Harold Boley8, Harold Boley9, HensonGraves, HensonGraves1, HensonGraves10, HensonGraves11, HensonGraves12, HensonGraves13, HensonGraves2, HensonGraves3, HensonGraves4, HensonGraves5, HensonGraves6, HensonGraves7, HensonGraves8, HensonGraves9, KenBaclawski, LeoObrst, LeoObrst1, LeoObrst10, LeoObrst11, LeoObrst12, LeoObrst13, LeoObrst14, LeoObrst15, LeoObrst16, LeoObrst17, LeoObrst18, LeoObrst2, LeoObrst3, LeoObrst4, LeoObrst5, LeoObrst6, LeoObrst7, LeoObrst8, LeoObrst9, MatthewWest, MichaelGruninger, MichaelGruninger1, MichaelGruninger10, MichaelGruninger11, MichaelGruninger12, MichaelGruninger13, MichaelGruninger14, MichaelGruninger15, MichaelGruninger2, MichaelGruninger3, MichaelGruninger4, MichaelGruninger5, MichaelGruninger6, MichaelGruninger7, MichaelGruninger8, MichaelGruninger9, PavithraKenjige, PeterYim, PeterYim1, PeterYim10, PeterYim11, PeterYim12, PeterYim13, PeterYim14, PeterYim2, PeterYim3, PeterYim4, PeterYim5, PeterYim6, PeterYim7, PeterYim8, PeterYim9, SimonSpero, SteveRay, SteveRay1, SteveRay10, SteveRay11, SteveRay12, SteveRay13, SteveRay2, SteveRay3, SteveRay4, SteveRay5, SteveRay6, SteveRay7, SteveRay8, SteveRay9, ToddSchneider, ToddSchneider1, ToddSchneider10, ToddSchneider11, ToddSchneider12, ToddSchneider13, ToddSchneider14, ToddSchneider2, ToddSchneider3, ToddSchneider4, ToddSchneider5, ToddSchneider6, ToddSchneider7, ToddSchneider8, ToddSchneider9, anonymous, anonymous1, anonymous10, anonymous11, anonymous12, anonymous2, anonymous3, anonymous4, anonymous5, anonymous6, anonymous7, anonymous8, anonymous9, vnc2, vnc21, vnc210, vnc211, vnc212, vnc213, vnc214, vnc22, vnc23, vnc24, vnc25, vnc26, vnc27, vnc28, vnc29 ------