From OntologPSMW

Jump to: navigation, search
[ ]

Contents

Ontology Summit 2014 session-04 Track-C: Overcoming Ontology Engineering Bottlenecks-I - Thu 2014-02-06     (1)

  • Summit Theme: OntologySummit2014: "Big Data and Semantic Web Meet Applied Ontology"     (1A)
  • Track-C Focus: Overcoming Ontology Engineering Bottlenecks     (1B)
  • Track-C Co-champions: Professor KrzysztofJanowicz (University of California, Santa Barbara), Professor PascalHitzler (Wright State University), Dr. MatthewWest (Information Junction)     (1C)
  • Session Topic: Overcoming Ontology Engineering Bottlenecks -- Strategies and Building Blocks     (1D)

Panelists / Briefings:     (1F)

  • Professor WernerKuhn (University of California, Santa Barbara) - "Abstracting behavior in ontology engineering" ... slides     (1G)
  • Professor AldoGangemi (University Paris 13 and ISTC-CNR Rome) - "Knowledge Patterns as one means to overcome ontology design bottlenecks" ... slides     (1H)
  • Mr. KarlHammar (J��nk��ping University) - "Reasoning Performance Indicators for Ontology Design Patterns" ... slides     (1I)

  • Dial-in:     (1J7D)
    • Phone (US): +1 (206) 402-0100 ... when prompted enter Conference ID: 141184# ... (long distance cost may apply)     (1J7D1)
    • Skype: joinconference (i.e. make a skype call to the contact with skypeID="joinconference") ... (generally free-of-charge, when connecting from your computer ... ref.)     (1J7D2)
      • when prompted enter Conference ID: 141184#     (1J7D2A)
      • Unfamiliar with how to do this on Skype? ...     (1J7D2B)
        • Add the contact "joinconference" to your skype contact list first. To participate in the teleconference, make a skype call to "joinconference", then open the dial pad (see platform-specific instructions below) and enter the Conference ID: 141184# when prompted.     (1J7D2B1)
        • you may connect to (the skypeID) "joinconference" whether or not it indicates that it is online (i.e. even if it says it is "offline," you should still be able to connect to it.)     (1J7D2B2)
      • Can't find Skype Dial pad? ...     (1J7D2C)
        • for Windows Skype users: Can't find Skype Dial pad? ... it's under the "Call" dropdown menu as "Show Dial pad"     (1J7D2C1)
        • for Linux Skype users: please note that the dial-pad is only available on v4.1 (or later; or on 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. ... (ref.)     (1J7D2C2)
  • Shared-screen support (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/ ... view-only password: "ontolog"     (1J7E)
    • 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.     (1J7E1)
    • people behind corporate firewalls may have difficulty accessing this. If that is the case, please download the slides above (where applicable) and running them locally. The speaker(s) will prompt you to advance the slides during the talk.     (1J7E2)
    • instructions: once you got access to the page, click on the "settings" button, and identify yourself (by modifying the Name field from "anonymous" to your real name, like "JaneDoe").     (1J7F1)
    • 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.     (1J7F2)
    • 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) summit_20140206@soaphub.org ... Handy for mobile devices!     (1J7F3)
  • Discussions and Q & A:     (1J7G)
    • Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker.     (1J7G1)
    • To un-mute, press "*7" ... To mute, press "*6" (please mute your phone, especially if you are in a noisy surrounding, or if you are introducing noise, echoes, etc. into the conference line.)     (1J7G2)
    • we will usually save all questions and discussions till after all presentations are through. You are encouraged to jot down questions onto the chat-area in the mean time (that way, they get documented; and you might even get some answers in the interim, through the chat.)     (1J7G3)
    • During the Q&A / discussion segment (when everyone is muted), If you want to speak or have questions or remarks to make, please raise your hand (virtually) by clicking on the "hand button" (lower right) on the chat session page. You may speak when acknowledged by the session moderator (again, press "*7" on your phone to un-mute). 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 "*6" on your phone to mute yourself after you are done speaking.)     (1J7G4)
  • RSVP to peter.yim@cim3.com with your affiliation appreciated, ... or simply just by adding yourself to the "Expected Attendees" list below (if you are a member of the community already.)     (1J7I)
  • Please note that this session may be recorded, and if so, the audio archive is expected to be made available as open content, along with the proceedings of the call to our community membership and the public at-large under our prevailing open IPR policy.     (1J7K)

Attendees     (1K)

Abstract     (1L)

Overcoming Ontology Engineering Bottlenecks -- Strategies and Building Blocks ... intro slides     (1L1)

This is our 9th Ontology Summit, a joint initiative by Ontolog, NIST, NCOR, NCBO, IAOA & NCO_NITRD with the support of our co-sponsors.     (1L2)

Since the beginnings of the Semantic Web, ontologies have played key roles in the design and deployment of new semantic technologies. Yet over the years, the level of collaboration between the Semantic Web and Applied Ontology communities has been much less than expected. Within Big Data applications, ontologies appear to have had little impact.     (1L3)

This year's Ontology Summit is an opportunity for building bridges between the Semantic Web, Linked Data, Big Data, and Applied Ontology communities. On the one hand, the Semantic Web, Linked Data, and Big Data communities can bring a wide array of real problems (such as performance and scalability challenges and the variety problem in Big Data) and technologies (automated reasoning tools) that can make use of ontologies. On the other hand, the Applied Ontology community can bring a large body of common reusable content (ontologies) and ontological analysis techniques. Identifying and overcoming ontology engineering bottlenecks is critical for all communities.     (1L4)

Ontology Summit 2014 will pose and address the primary challenges in these areas of interaction among the different communities. The Summit activities will bring together insights and methods from these different communities, synthesize new insights, and disseminate knowledge across field boundaries.     (1L5)

At the Launch Event on 16 Jan 2014, the organizing team has provided an overview of the program, and how we will be framing the discourse. Today's session (OntologySummit2014 session-04) is the first virtual panel session featured by Track-C, which focuses on "Overcoming Ontology Engineering Bottlenecks."     (1L6)

This year's Ontology Summit track C focuses on the identification of ontology engineering bottlenecks that hinder the large-scale development and (re)usage of ontologies and the identification of methods, tools, and guidelines to overcome these bottlenecks. Session I of this track is concerned with strategies and building blocks that foster the development and re-usage of ontologies. Two approaches will be presented, type classes and ontology design patterns. Finally, we will investigate which knowledge representation language elements tend to increase reasoning complexity.     (1L7)

After the panelists presentations, there will be time for Q&A and an open discussion among the panel and all participants.     (1L8)

See more details at: OntologySummit2014 (homepage for this summit)     (1L9)

Briefings     (1L10)

  • Professor WernerKuhn (University of California, Santa Barbara) - "Abstracting behavior in ontology engineering" ... slides     (1L10A)
    • Abstract: ... Gangemi��s definition of Ontology Design Patterns as "reusable successful solutions to a recurrent modeling problem" raises the question how to abstract from individual ontology designs. Many modern programming languages and software engineering methods support some form of behavioral abstraction, grouping classes of objects according to their common behavior. Abstract data types, Java interfaces, C++ templates are the best known versions of this idea. Lesser known, but much more powerful and suitable for ontology engineering, are type classes in functional languages like Haskell. The talk will briefly explain type classes and show their application to ontology engineering, either as an informal design guideline or as a key feature of an ontology modeling language.     (1L10A1)
  • Professor AldoGangemi (University Paris 13) - "Knowledge Patterns as one means to overcome ontology design bottlenecks" ... slides     (1L10B)
    • Abstract: ... Knowledge Patterns (KP) are invariances in the representation of situations at cognitive, logical, data, and linguistic levels. They are also known as conceptual frames, ontology design patterns, data model patterns, semantic patterns, etc. KP can be reused from existing repositories, or extracted from schemas, ontologies, data, or texts. ... I will present some examples of techniques and applications that manage, exploit, or extract KPs.     (1L10B1)
  • Mr. KarlHammar (J��nk��ping University) - "Reasoning Performance Indicators for Ontology Design Patterns" ... slides     (1L10C)
    • Abstract: ... Ontologies are increasingly used in systems where performance is an important requirement. While there is quite some work on reasoning performance-altering structures in ontologies, how these structures appear in Ontology Design Patterns (ODPs) is as of yet relatively unknown. This talk introduces some of these known reasoning performance indicators for ontologies, and then discusses how how those indicators are expressed in patterns published on two well known ODP portals. Based on this, some recommendations and design principles for the development and use of ODPs are proposed.     (1L10C1)

Agenda     (1M)

OntologySummit2014 session-04 Track-C: Overcoming Ontology Engineering Bottlenecks-I     (1M1)

Session Format: this is a virtual session conducted over an augmented conference call     (1M2)

Proceedings     (1N)

Please refer to the above     (1N1)

IM Chat Transcript captured during the session    (1N2)

see raw transcript here.     (1N2A)

(for better clarity, the version below is a re-organized and lightly edited chat-transcript.)     (1N2B)

Participants are welcome to make light edits to their own contributions as they see fit.     (1N2C)

-- begin in-session chat-transcript --     (1N2D)


Chat transcript from room: summit_20140206     (1N2E)

2014-02-06 GMT-08:00 [PST]     (1N2F)


[8:56] Peter P. Yim: Welcome to the     (1N2G)

Ontology Summit 2014 session-04 Track-C: Overcoming Ontology Engineering Bottlenecks-I - Thu 2014-02-06     (1N2H)

Summit Theme: Ontology Summit 2014: "Big Data and Semantic Web Meet Applied Ontology"     (1N2I)

Track-C Focus: Overcoming Ontology Engineering Bottlenecks     (1N2J)

Track-C Co-champions:     (1N2K)

Professor Krzysztof Janowicz (University of California, Santa Barbara),     (1N2L)

Professor Pascal Hitzler (Wright State University),     (1N2M)

Dr. Matthew West (Information Junction)     (1N2N)

Session Topic: Overcoming Ontology Engineering Bottlenecks -- Strategies and Building Blocks     (1N2O)

Session Co-chairs: Professor Krzysztof Janowicz and Professor Pascal Hitzler     (1N2P)

Briefings:     (1N2Q)

  • Professor WernerKuhn (University of California, Santa Barbara) - "Abstracting behavior in ontology engineering"     (1N2R)
  • Professor Aldo Gangemi (University Paris 13) - "Knowledge Patterns as one means to overcome ontology design bottlenecks"     (1N2S)

Logistics:     (1N2U)

  • (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your RealName; also please enable "Show timestamps" while there.     (1N2W)
  • Mute control (phone keypad): *7 to un-mute ... *6 to mute     (1N2X)

(i.e. even if it says it is "offline," you should still be able to connect to it.)     (1N2AA)

VoIP line, etc.) either your phone, skype-out or google-voice and call the US dial-in number: +1 (206) 402-0100     (1N2AC)

... when prompted enter Conference ID: 141184#     (1N2AD)

  • when posting in this Chat-room, kindly observe the following ...     (1N2AH)
    • whenever a name is used, please use the full WikiWord name format (every time you don't, some volunteer will have to make an edit afterwards)     (1N2AI1)
    • always provide context (like: "[ref. JaneDoe's slide#12], I think the point about context is great" ... rather than "that's great!"     (1N2AJ1)

as the latter would mean very little in the archives.)     (1N2AK)

the timestamp (in PST) of his/her post that you are responding to (e.g. "@JaneDoe [11:09] - I agree, but, ...")     (1N2AM)

    • use fully qualified url's (include http:// ) without symbols (like punctuations or parentheses, etc.) right before of after that URL     (1N2AN1)

proceedings     (1N2AY)

[7:05] anonymous morphed into Conrad Beaulieu     (1N2AZ)

[8:39] anonymous morphed into Dalia Varanka     (1N2AAA)

[8:49] anonymous morphed into Bob Morris     (1N2AAB)

[8:57] JacoDP morphed into JacoDuPreez     (1N2AAC)

- [9:10] Bob Morris: Peter: I running Skype on Ubuntu Linux 12.10; when I log on to joinconference I     (1N2AAD)

get an audio prompt to enter the conference ID, but no indication of how/where to do so. Entering it     (1N2AAE)

in the skype chat window has no effect. Suggestion?     (1N2AAF)

- [9:13] Peter P. Yim: @BobMorris, please check if this helps -     (1N2AAG)

- [9:15] Bob Morris: Sorry; found it between the time of my q and your a. Joined OK.     (1N2AAI)

- [9:16] Bob Morris: (It needs less tacky music on hold.... :-) )     (1N2AAJ)

- [9:17] Peter P. Yim: glad it worked ... (blame the service provider for the music! :)     (1N2AAK)

[9:18] anonymous morphed into WernerKuhn     (1N2AAL)

[9:21] anonymous morphed into Aldo Gangemi     (1N2AAM)

[9:23] anonymous morphed into Karl Hammar     (1N2AAN)

[9:23] Krzysztof Janowicz: we are waiting for peter.     (1N2AAP)

[9:23] Krzysztof Janowicz: keep in mind to press *7 before speaking to unmute     (1N2AAQ)

[9:24] Ed Bernot: Thanks, will be standing by muted.     (1N2AAR)

[9:25] Krzysztof Janowicz: please also keep in mind to mention the slide number every time you change     (1N2AAS)

the slide as this is the only way peter (using the VNC) can advance the slides and researchers     (1N2AAT)

listening to your talk in the future will be able to sync your slides and audio.     (1N2AAU)

- [9:24] Karl Hammar: Hi. Is the VNC session supposed to be live yet?     (1N2AAV)

- [9:24] Krzysztof Janowicz: VNC should be up very soon     (1N2AAW)

- [9:26] Krzysztof Janowicz: VNC is running     (1N2AAX)

- [9:28] Karl Hammar: I'm having some trouble viewing the VNC. Just getting a blank screen, on both     (1N2AAY)

Firefox and Safari. Is it just me?     (1N2AAZ)

- [9:28] JacoDuPreez: Same here     (1N2AAAA)

- [9:28] Karl Hammar: I'm having some trouble viewing the VNC. Just getting a blank screen, on both     (1N2AAAB)

Firefox and Safari. Is it just me?     (1N2AAAC)

- [9:29] Pascal Hitzler: VNC works on my firefox.     (1N2AAAD)

- [9:29] Pascal Hitzler: sorry, no I have it on IE :)     (1N2AAAE)

- [9:30] Krzysztof Janowicz: I have VNC working on firefox     (1N2AAAF)

- [9:53] Tara Athan: @Karl - are you behind a firewall? If so, VNC may not work.     (1N2AAAG)

- [9:54] Tara Athan: The slides may be downloaded directly as PDFs.     (1N2AAAH)

[9:25] anonymous morphed into Michael Riben     (1N2AAAI)

[9:27] anonymous1 morphed into Charles Vardeman     (1N2AAAJ)

[9:28] anonymous morphed into Bart Gajderowicz     (1N2AAAK)

[9:30] anonymous morphed into Carmen Chui     (1N2AAAL)

[9:30] anonymous morphed into Les Morgan     (1N2AAAM)

[9:30] anonymous1 morphed into Conrad Beaulieu     (1N2AAAN)

[9:31] anonymous1 morphed into Simon Cox     (1N2AAAO)

[9:31] anonymous1 morphed into Dalia Varanka     (1N2AAAP)

[9:33] anonymous morphed into James Wilson     (1N2AAAQ)

[9:34] Peter P. Yim: == Krzysztof Janowicz starts the session on behalf of the Track-C session     (1N2AAAR)

co-champions ... see slides under:     (1N2AAAS)

[9:35] anonymous morphed into Torsten Hahmann     (1N2AAAU)

[9:35] anonymous1 morphed into BoYan     (1N2AAAV)

[9:37] anonymous2 morphed into Adila     (1N2AAAW)

[9:38] Adila morphed into AdilaKrisnadhi     (1N2AAAX)

[9:39] Peter P. Yim: == WernerKuhn presenting ...     (1N2AAAY)

[9:40] anonymous2 morphed into Lamar Henderson     (1N2AAAZ)

- [9:44] Adila Krisnadhi: What page of Werner's slide are we on right now?     (1N2AAAAA)

- [9:44] Pascal Hitzler: page 1 :)     (1N2AAAAB)

- [9:44] AdilaKrisnadhi: Thanks!     (1N2AAAAC)

[9:45] anonymous2 morphed into Carol Bean     (1N2AAAAD)

[9:47] Peter P. Yim: @anonymous, please morph from "anonymous" to your RealName (via the "Settings"     (1N2AAAAE)

button at top center of this chat window; also please enable "Show timestamps" while there.     (1N2AAAAF)

[9:48] Simon Spero: [Slide 2] : "White Things" as Sortals; is this a valid sortal?     (1N2AAAAG)

[9:49] anonymous2 morphed into HelenCouclelis     (1N2AAAAH)

[9:50] Terry Longstreth: @Simon: I'd say so, if your requirement is to organize things by visibility (albedo)     (1N2AAAAI)

[9:50] anonymous2 morphed into JohnAYanosyJr     (1N2AAAAJ)

[9:51] Simon Spero: @TerryLongstreth: when I was reading up on sortals [in the context of Relative     (1N2AAAAK)

Identity] "green thing" was used as the example of non-sortal predicates, as they cannot be counted     (1N2AAAAL)

[9:52] Krzysztof Janowicz: we have to advance the slide     (1N2AAAAM)

[9:54] GaryBergCross: I take the generic aspect - free of rep languages to mean they would be a     (1N2AAAAO)

conceptual model.     (1N2AAAAP)

- [9:57] Krzysztof Janowicz: we are now on slide 7     (1N2AAAAR)

[9:57] Simon Spero: Slide 6: Duck typing. Better hope it's a duck, or use something non-monotonic     (1N2AAAAS)

[9:58] Simon Cox: @Simon - non-monotonic?     (1N2AAAAT)

[9:59] Simon Cox: In UML this is <<realize>> ?     (1N2AAAAU)

[10:01] Simon Spero: Simon Cox: adding more information in a non-monotonic logic may invalidate     (1N2AAAAV)

previous inferences (e.g. birds fly, but penguins don't)     (1N2AAAAW)

[10:02] Tara Athan: Duck typing seems like it fits the reverse example: most flying vertebrates are     (1N2AAAAX)

birds, but some are actually bats.     (1N2AAAAY)

[10:03] Leo Obrst: "White thing" (and similar) is sometimes considered a restricted sortal. I myself     (1N2AAAAZ)

find that problematic.     (1N2AAAAAA)

[10:03] Tara Athan: I thought the point about "composition" was that white wine is not really white.     (1N2AAAAAB)

[10:04] Pascal Hitzler: Duck typing: On a modeling level, I think a key idea here is to use property     (1N2AAAAAC)

fillers to identify "what" something is, rather than through direct typing. Makes a lot of sense to me.     (1N2AAAAAD)

[10:05] Simon Spero: [Resource] The place to go for haskell info is     (1N2AAAAAE)

[10:05] Pascal Hitzler: And seems to be not at odds with, e.g., using OWL and rules for modeling (at     (1N2AAAAAG)

this level, anyway). @Werner: why try introduce a functional syntax, i.e. what's the additional     (1N2AAAAAH)

value of going there?     (1N2AAAAAI)

[10:06] Matthew West: The use of behaviours looks a bit like a facet analysis approach.     (1N2AAAAAK)

[10:06] Simon Spero: @Pascal: S-Expr notation has some good points cough kif     (1N2AAAAAL)

[10:07] GaryBergCross: @PACAL Comment at [13:04 on property fillers for identity sounds Aristotelian     (1N2AAAAAM)

on necessary properties.     (1N2AAAAAN)

[10:07] Tara Athan: In another language with functional programming support, Scala, "duck typing" is     (1N2AAAAAO)

implemented as "structural typing".     (1N2AAAAAP)

[10:08] Mike Bennett: @Matthew it would certainly make sense to define behaviour as one facet among     (1N2AAAAAQ)

many, under which things might be classified. In FIBO we've been exploring how to do metadata to     (1N2AAAAAR)

identify separate classification facets, as there are so many different ways to classify the same     (1N2AAAAAS)

[10:08] Pascal Hitzler: GeoVoCamps mentioned by Werner: See e.g.     (1N2AAAAAU)

[10:08] Peter P. Yim: == Aldo Gangemi presenting ...     (1N2AAAAAW)

[10:09] GaryBergCross: Pascal +1 on mentioning the upcoming Vocabulary camp at Santa Barbara this     (1N2AAAAAX)

March. People should come if interested in what they hear today.     (1N2AAAAAY)

[10:12] GaryBergCross: Why ants on this 2nd slide???     (1N2AAAAAZ)

[10:13] Simon Spero: @Gary: It's not an ant, it's a feature     (1N2AAAAAAB)

[10:41] Aldo Gangemi: @Gary ants were there to hint at social semantics, but @Simon I like them as     (1N2AAAAAAC)

features as well :)     (1N2AAAAAAD)

- [10:13] Karl Hammar: For chairs: it seems the fire alarm at my university just went off. I need to     (1N2AAAAAAE)

figure out whether to vacate the premises or whether it is a false alarm.     (1N2AAAAAAF)

- [10:14] Pascal Hitzler: thanks for the notice Karl - hope it's nothing.     (1N2AAAAAAG)

- [10:14] Karl Hammar: Trying to relocate to the library building, hoping it will not mess up my     (1N2AAAAAAH)

presentation here. Apologies.     (1N2AAAAAAI)

- [10:15] Krzysztof Janowicz: thanks for letting us know Karl, please keep us up to date.     (1N2AAAAAAJ)

- [10:18] Karl Hammar: Krzysztof: seems to have been a false alarm and I am now back.     (1N2AAAAAAK)

[10:15] Donna Fritzsche: I agree with - "What we need is an entity-centric frame-oriented data     (1N2AAAAAAM)

science to ensure relevance"     (1N2AAAAAAN)

[10:17] anonymous morphed into MarcelaS     (1N2AAAAAAO)

[10:17] Peter P. Yim: @MarcelaS - kindly morph into your full name (in upper camel case) if you please     (1N2AAAAAAP)

- [10:17] Amanda Vizedom: Double-checking: are we at slide 13 now?     (1N2AAAAAAQ)

- [10:18] Frank Loebe: 14 I think     (1N2AAAAAAR)

- [10:20] Krzysztof Janowicz: @Peter: we are on slide 15 now     (1N2AAAAAAT)

[10:21] anonymous19 morphed into Donna Fritzsche     (1N2AAAAAAV)

- [10:26] Simon Cox: Aldo's verbal numbering is not synced with numbers on slides in download stack     (1N2AAAAAAW)

- [10:26] Ali Hashemi: His animations were flattened, there's an offset of 4 from what he says.     (1N2AAAAAAY)

- [10:34] Ali Hashemi: i believe it is slide 42 or 43 in the pdf version     (1N2AAAAAAAA)

[10:36] Krzysztof Janowicz: [even the vnc slide display may be off; run them on your on desktop by     (1N2AAAAAAAB)

[10:36] Liana Kiff: I get an error when following the link to Fred.     (1N2AAAAAAAD)

[10:39] GaryBergCross: @Liana - I got to the Fred! page from the link.     (1N2AAAAAAAF)

[10:40] Aldo Gangemi: @Liana on Firefox and Safari it works, I don't know on other browsers     (1N2AAAAAAAG)

[10:41] GaryBergCross: The Fred link worked on Chrome.     (1N2AAAAAAAH)

[10:42] Liana Kiff: Tried Firefox. I'll try Chrome instead.     (1N2AAAAAAAI)

[10:43] Liana Kiff: Chrome worked. Thanks.     (1N2AAAAAAAJ)

- [10:43] Peter P. Yim: ... now on slide#6     (1N2AAAAAAAM)

[10:46] Pascal Hitzler: I'm afraid I have to leave the session for teaching. Thanks for joining the     (1N2AAAAAAAN)

[10:47] Peter P. Yim: Bye, Pascal ... thank you for putting this together     (1N2AAAAAAAP)

[10:49] Aldo Gangemi: (wave) to Pascal     (1N2AAAAAAAQ)

[10:49] Simon Spero: [cyclomatic complexity - for instances, not classes, right]     (1N2AAAAAAAR)

[10:50] Peter P. Yim: Karl Hammar: ... noted typo on title of slide#11 (should be "Average Class     (1N2AAAAAAAS)

In-Degree" instead of "Avgerage ...")     (1N2AAAAAAAT)

[10:55] Krzysztof Janowicz: GCI (General Concept Inclusion): depends on whether you would like     (1N2AAAAAAAU)

surface semantics or a deeper semantifications. we use GCI in our design patterns.     (1N2AAAAAAAV)

[10:57] Krzysztof Janowicz: IMHO the problems are the tools, not the GCI     (1N2AAAAAAAW)

[10:59] Ali Hashemi: I wonder if there is an inherent bias in some of the underlying performance     (1N2AAAAAAAX)

metrics and benchmarking. While it is true that the naiive application of reasoners to large     (1N2AAAAAAAY)

ontologies may yield significant slow-downs, query rewriting, reasoning federation and     (1N2AAAAAAAZ)

axiom-relevancy ranking + pruning can mitigate some subset of the performance problems. Are there     (1N2AAAAAAAAA)

metrics that take into account such factors on reasoning performance?     (1N2AAAAAAAAB)

- [11:00] Krzysztof Janowicz: Karl: 2 min left     (1N2AAAAAAAAC)

[11:00] Amanda Vizedom: @KarlHammar -- related to @KrzysztofJanowicz's comment, it does seem that     (1N2AAAAAAAAD)

these recommendations need to be contextualized to language and tooling at least, yes? That is, the     (1N2AAAAAAAAE)

performance aspects are specifically consequences of representation pattern + language +     (1N2AAAAAAAAF)

implementation. Very different performance profiles might result from the same generally-described     (1N2AAAAAAAAG)

patterns otherwise implemented.     (1N2AAAAAAAAH)

[11:01] Donna Fritzsche: I agree with Amanda Vizedom - good points     (1N2AAAAAAAAI)

[11:03] Amanda Vizedom: re my 11:00 commment: In other words, the observations could be equally well     (1N2AAAAAAAAJ)

expressed as constraints of the KR language: "If you us language X and reasoner(s) Y, for best     (1N2AAAAAAAAK)

reasoning performance you should observe these patterns..." Yes?     (1N2AAAAAAAAL)

[11:01] Peter P. Yim: == Q & A and Open Discussion ...     (1N2AAAAAAAAM)

[11:01] Andrea Westerinen: Regarding documentation and several of the points made in this session,     (1N2AAAAAAAAN)

they overlap with the concepts discussed in Track A. I tried to summarize these points on our Track     (1N2AAAAAAAAO)

A community input page.     (1N2AAAAAAAAP)

[11:01] anonymous morphed into amin     (1N2AAAAAAAAR)

- [11:05] Peter P. Yim: @amin, please morph into your RealName (in WikiWord format or upper camel case)     (1N2AAAAAAAAS)

... this is the convention here and for proper attribution purposes     (1N2AAAAAAAAT)

[11:02] Simon Spero: Thanks to the speakers - have to leave for another call     (1N2AAAAAAAAU)

[11:02] anonymous morphed into Uri Shani     (1N2AAAAAAAAV)

[11:03] anonymous1 morphed into Lamar Henderson     (1N2AAAAAAAAW)

[11:01] Matthew West: [regarding the Karl Hammar talk] I would want to challenge that the primary     (1N2AAAAAAAAX)

judgement of an ontology being "good" is that it performs well in a reasoning engine. I think there     (1N2AAAAAAAAY)

are many other things to consider, like that it does actually contain the intended model as a     (1N2AAAAAAAAZ)

possible model, and perhaps even minimises the number of possible models.     (1N2AAAAAAAAAA)

[11:03] Mike Bennett: @Matthew I would take that a step further and ask whether the judgement of "good"     (1N2AAAAAAAAAB)

as it applies to reasoning engine applications, also apply in other uses of formal semantics,     (1N2AAAAAAAAAC)

e.g. in Big Data, conceptual ontologies (for data integration etc.). Is reasoning a pre-requisite     (1N2AAAAAAAAAD)

(for instance, because you then know that the meanings are consistent and complete)?     (1N2AAAAAAAAAE)

[11:03] Matthew West: Don't over specify is a good, but not new point. Good to see that this is still     (1N2AAAAAAAAAF)

the main principle though.     (1N2AAAAAAAAAG)

[11:04] Ali Hashemi: [ref. verbal question from MichaelGruninger] Question from Slide 3 of chair: How     (1N2AAAAAAAAAH)

to arrive at reusable patterns? How many patterns are there? Are there types of patterns? Are all     (1N2AAAAAAAAAI)

patterns domain-independent? Can we mine patterns from data?     (1N2AAAAAAAAAJ)

[11:05] Michael Grüninger: @Krzysztof: Which Dagstuhl Seminar are you referring to?     (1N2AAAAAAAAAK)

[11:06] Matthew West: I'll try to answer the 1st question. There are an unlimited number of patterns,     (1N2AAAAAAAAAN)

because there are an unlimited number of atomic elements. Some patterns at least are domain     (1N2AAAAAAAAAO)

dependent. Yes we can mine patterns from data, in fact this is one of the best ways to develop patterns.     (1N2AAAAAAAAAP)

[11:06] Todd Schneider: Without trying to be facetious, what is a pattern? How can one be identified?     (1N2AAAAAAAAAQ)

[11:07] Uri Shani: @KarlHammar: Indeed, the guidelines you specify sound like good guidelines for     (1N2AAAAAAAAAR)

writing ontologies. Is there a real distinction between ontologies and ODPs per this aspect?     (1N2AAAAAAAAAS)

[11:09] Karl Hammar: @UriShani: Good point. I suppose that pattern rewriting is easier than full     (1N2AAAAAAAAAT)

ontology rewriting, but in principle, the design guidelines would seem to carry over also to ontologies.     (1N2AAAAAAAAAU)

[11:03] GaryBergCross: @KarlHammer, Based on your indicators what is an example of a "good" pattern     (1N2AAAAAAAAAV)

from the ones you looked at?     (1N2AAAAAAAAAW)

[11:07] Karl Hammar: @Gary: Haven't looked at the relative performance penalties of the various indicators,     (1N2AAAAAAAAAX)

which would be necessary to calculate which existing patterns are "best" in terms of performance.     (1N2AAAAAAAAAY)

[11:09] Torsten Hahmann: @KarlHammer: can we even evaluate patterns independently of the ontology     (1N2AAAAAAAAAAA)

they are used in? I can imagine that a pattern may perform well in the context of one particular     (1N2AAAAAAAAAAB)

ontology but not in another.     (1N2AAAAAAAAAAC)

[11:12] Karl Hammar: @TorstenHahmann: Given how ODPs are are generally used (very simplified view:     (1N2AAAAAAAAAAD)

find/specialize/combine), it makes sense to consider the performance both of the ODP in itself, and     (1N2AAAAAAAAAAE)

the performance of the ODP when combined with other ODPs or existing ontologies. The latter issue is     (1N2AAAAAAAAAAF)

only briefly touched upon in this work, but I agree that it needs to be considered.     (1N2AAAAAAAAAAG)

[11:09] Matthew West: 2nd Question. For true patterns, they will mostly be discovered, rather than     (1N2AAAAAAAAAAH)

invented. In the end, standards organizations will curate them. Good patterns are always useful,     (1N2AAAAAAAAAAI)

because they save effort and improve quality. The more a pattern is used the better it gets as bugs     (1N2AAAAAAAAAAJ)

are eliminated.     (1N2AAAAAAAAAAK)

[11:14] Karl Hammar: Agree with Matthews answer to 2nd question above. Chris Welty did a keynote at     (1N2AAAAAAAAAAL)

Workshop on Ontology Patterns at ISWC 2010, touching upon exactly this. He called it "pattern     (1N2AAAAAAAAAAM)

archeology", i.e. the "digging up" of patterns from established systems/practices/models/etc. A     (1N2AAAAAAAAAAN)

process of discovery as opposed to design. Perhaps the keynote is available in WOP proceedings.     (1N2AAAAAAAAAAO)

[11:10] Krzysztof Janowicz: Kuhn's vision statement 'Modeling vs Encoding for the Semantic Web':     (1N2AAAAAAAAAAP)

[11:12] Matthew West: 3rd Question: when you abstract from ontology designs you are usually moving up     (1N2AAAAAAAAAAR)

the subtype/supertype hierarchy rather than moving out class-instance, so you should not normally     (1N2AAAAAAAAAAS)

need another language. Buy in comes from utility plus ease of availability and use.     (1N2AAAAAAAAAAT)

[11:13] GaryBergCross: Can our panelists talk a bit more on how "composability" is built/designed     (1N2AAAAAAAAAAU)

into a pattern?     (1N2AAAAAAAAAAV)

[11:14] Matthew West: @Gary: What do you mean by "composability"?     (1N2AAAAAAAAAAW)

[11:16] GaryBergCross: @Mathew Composability was mentioned by Werner who can clarify from the Sortal example.     (1N2AAAAAAAAAAX)

[11:18] Karl Hammar: @GaryBergCross: My answer above concerns composability in a more practical     (1N2AAAAAAAAAAY)

perspective, using OWL Content ODPs. As I interpreted Werner's example, this was a more general     (1N2AAAAAAAAAAZ)

discussion, so my answer above is likely simplistic.     (1N2AAAAAAAAAAAA)

[11:13] Uri Shani: @KarlHammar: where can I find an example of writing an ontology using ODPs? I use     (1N2AAAAAAAAAAAB)

Protege. Is this the tool you will recommend?     (1N2AAAAAAAAAAAC)

[11:21] Aldo Gangemi: @UriShani there is tool for ODP-based design, it is called XD (from eXtreme     (1N2AAAAAAAAAAAD)

Design), it was implemented as an Eclipse plugin to the NeOn Toolkit tool     (1N2AAAAAAAAAAAE)

[11:21] Karl Hammar: @UriShani: Protege is fine. There are tools developed by STLAB, XD Tools,     (1N2AAAAAAAAAAAF)

intended to support ODP usage. These tools are however intended for the NeOn Toolkit, which is not     (1N2AAAAAAAAAAAG)

very well supported these days. I am considering porting these tools to Protege, but don't take that     (1N2AAAAAAAAAAAH)

as a promise :)     (1N2AAAAAAAAAAAI)

[11:22] Aldo Gangemi: we have no plans to port it to Protege, but anyone volunteering would be a     (1N2AAAAAAAAAAAJ)

[11:22] Karl Hammar: (actually, they have been halfway ported already by a master student, but may     (1N2AAAAAAAAAAAL)

need a bit of polish)     (1N2AAAAAAAAAAAM)

[11:22] Aldo Gangemi: @Karl that'd be great     (1N2AAAAAAAAAAAN)

[11:13] Anatoly Levenchuk: At Track E Hackathon we already have at least one project that mention     (1N2AAAAAAAAAAAO)

pattern search (raw data - mapping - ontology-linked data - pattern search - Linked Data web page     (1N2AAAAAAAAAAAP)

[11:15] Karl Hammar: @GaryBergCross: An interesting question which I'm actually aiming to adress in     (1N2AAAAAAAAAAAR)

my future PhD work. I'm thinking Ontology Matching / Alignment methods / tools can be reused to aid     (1N2AAAAAAAAAAAS)

in this. That would in turn require we give careful thought to labeling in ODP modules.     (1N2AAAAAAAAAAAT)

[11:19] Mike Bennett: (Summarizing @Aldo's verbal remarks) Complete repository of archetypical     (1N2AAAAAAAAAAAU)

patterns... (primitives). Questions as to whether this is feasible. My take on this: maybe feasible     (1N2AAAAAAAAAAAV)

in a simpler domain like business, more challenging if pursuing notion of archetypes for all human     (1N2AAAAAAAAAAAW)

experience (per Leibniz etc.). I'm hearing confidence that the former at least can be done :) See also DOLCE.     (1N2AAAAAAAAAAAX)

[11:20] Aldo Gangemi: @Mike good summary :)     (1N2AAAAAAAAAAAY)

[11:21] Mike Bennett: @Aldo Thanks - glad I captured it OK. This is something I am very motivated about.     (1N2AAAAAAAAAAAZ)

[11:19] GaryBergCross: I take this discussion of Gestalt primitives or image schema to be a     (1N2AAAAAAAAAAAAA)

relatively small group and that many other patterns are composites formed with them as parts.     (1N2AAAAAAAAAAAAB)

[11:22] GaryBergCross: @UriShani's [11:13] Question - in VoCamps we often start with a conceptual     (1N2AAAAAAAAAAAAC)

modeling tool like CMAP which can output a form of OWL.     (1N2AAAAAAAAAAAAD)

[11:23] Aldo Gangemi: @GaryBergCross @UriShani I highly recommend using things like CMap for early design with experts     (1N2AAAAAAAAAAAAE)

the XD for Protege port. But again, this is early work in progress developed for a master thesis by     (1N2AAAAAAAAAAAAG)

one of Eva Blomqvists students, so it may still need some work to get running properly     (1N2AAAAAAAAAAAAH)

[11:24] Aldo Gangemi: it's close to what I called the "concept graph fa��ade" of a KP     (1N2AAAAAAAAAAAAI)

[11:25] GaryBergCross: Karl's indicator factors may be used as a review of draft ODPs during a     (1N2AAAAAAAAAAAAJ)

quality assessment phase.     (1N2AAAAAAAAAAAAK)

[11:25] Uri Shani: @all - thanks for the references and recommendations.     (1N2AAAAAAAAAAAAL)

[11:26] Aldo Gangemi: @Gary #Gestalt I agree it is a great working hypothesis, we need to prove it     (1N2AAAAAAAAAAAAM)

with large scale evidence (text and data grounding)     (1N2AAAAAAAAAAAAN)

[11:26] Anatoly Levenchuk: ISO 15926 community is very active in patterns related experiments. E.g.     (1N2AAAAAAAAAAAAO)

.15926 Editor supports pattern description and usage -- http://techinvestlab.ru/dot15926Editor     (1N2AAAAAAAAAAAAP)

[11:26] Aldo Gangemi: @Anatoly thanks for pointing, I'll look into it     (1N2AAAAAAAAAAAAQ)

[11:27] Karl Hammar: Thank you all for an interesting session. I'll definitely try to stay active in     (1N2AAAAAAAAAAAAR)

this interesting community!     (1N2AAAAAAAAAAAAS)

[11:27] Aldo Gangemi: Thanks Jano, Pascal, Peter, matthew     (1N2AAAAAAAAAAAAT)

[11:28] Peter P. Yim: Please mark you calendars and reserve this time, every Thursday, for the     (1N2AAAAAAAAAAAAU)

Ontology Summit 2014 virtual panel session series. In particular ... next Track C session ill be on     (1N2AAAAAAAAAAAAV)

Thu 2014.03.20 (session-10) Session-05 will be up next Thursday - Thu 2014.02.13 (same time) - Track D:     (1N2AAAAAAAAAAAAW)

Tackling the Variety Problem in Big Data - I - see developing details at:     (1N2AAAAAAAAAAAAX)

[11:28] Krzysztof Janowicz: @KarlHammar: as example of GCI use     (1N2AAAAAAAAAAAAAA)

[11:30] Karl Hammar: @Krzysztof: Interesting - printing it out now, and will check it out first thing     (1N2AAAAAAAAAAAAAC)

in the morning (it is 20:28 here at the moment, I need to get out of the office ;))     (1N2AAAAAAAAAAAAAD)

[11:28] Peter P. Yim: -- session ended: 11:25am PST --     (1N2AAAAAAAAAAAAAE)

-- end of in-session chat-transcript --     (1N2AAAAAAAAAAAAAF)

Additional Resources     (1O)


For the record ...     (1O6)

How To Join (while the session is in progress)     (1P)


This page has been migrated from the OntologWiki - Click here for original page     (1P4)