Actions

Ontolog Forum

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

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

Panelists / Briefings:

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

Archives

Conference Call Details

  • Date: Thursday, 6-Feb-2014
  • Start Time: 9:30am PST / 12:30pm EST / 6:30pm CET / 17:30 GMT/UTC
  • Expected Call Duration: ~2.0 hours
  • Dial-in:
    • Phone (US): +1 (206) 402-0100 ... when prompted enter Conference ID: 141184# ... (long distance cost may apply)
    • Skype: joinconference (i.e. make a skype call to the contact with skypeID="joinconference") ... (generally free-of-charge, when connecting from your computer ... ref.)
      • when prompted enter Conference ID: 141184#
      • Unfamiliar with how to do this on Skype? ...
        • 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.
        • 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.)
      • Can't find Skype Dial pad? ...
        • for Windows Skype users: Can't find Skype Dial pad? ... 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 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.)
  • 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"
    • 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 slides above (where applicable) and running them locally. The speaker(s) will prompt you to advance the slides during the talk.
  • In-session chat-room url: http://webconf.soaphub.org/conf/room/summit_20140206
    • 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").
    • 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.
    • 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!
  • Discussions and Q & A:
    • Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker.
    • 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.)
    • 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.)
    • 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.)
  • 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.)
  • 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.

Attendees

Abstract

Overcoming Ontology Engineering Bottlenecks -- Strategies and Building Blocks ... intro slides

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

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.

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.

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.

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."

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.

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

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

Briefings

  • Professor WernerKuhn (University of California, Santa Barbara) - "Abstracting behavior in ontology engineering" ... slides
    • 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.
  • Professor AldoGangemi (University Paris 13) - "Knowledge Patterns as one means to overcome ontology design bottlenecks" ... slides
    • 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.
  • Mr. KarlHammar (Jönköping University) - "Reasoning Performance Indicators for Ontology Design Patterns" ... slides
    • 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.

Agenda

OntologySummit2014 session-04 Track-C: Overcoming Ontology Engineering Bottlenecks-I

Session Format: this is a virtual session conducted over an augmented conference call

Proceedings

Please refer to the above

IM Chat Transcript captured during the session

see raw transcript here.

(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.

-- begin in-session chat-transcript --


Chat transcript from room: summit_20140206

2014-02-06 GMT-08:00 [PST]


[8:56] Peter P. Yim: Welcome to the

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

Summit Theme: Ontology Summit 2014: "Big Data and Semantic Web Meet Applied Ontology"

Track-C Focus: Overcoming Ontology Engineering Bottlenecks

Track-C Co-champions:

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

Professor Pascal Hitzler (Wright State University),

Dr. Matthew West (Information Junction)

Session Topic: Overcoming Ontology Engineering Bottlenecks -- Strategies and Building Blocks

Session Co-chairs: Professor Krzysztof Janowicz and Professor Pascal Hitzler

Briefings:

  • Professor WernerKuhn (University of California, Santa Barbara) - "Abstracting behavior in ontology engineering"
  • Professor Aldo Gangemi (University Paris 13) - "Knowledge Patterns as one means to overcome ontology design bottlenecks"
  • Mr. Karl Hammar (Jonkoping University) - "Reasoning Performance Indicators for Ontology Design Patterns"

Logistics:

  • (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.
  • Mute control (phone keypad): *7 to un-mute ... *6 to mute
    • 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.)

    • if you are using skype and the connection to "joinconference" is not holding up, try using (your favorite POTS or

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

... when prompted enter Conference ID: 141184#

    • Can't find Skype Dial pad?
      • for Windows Skype users: Can't find Skype Dial pad? ... it's under the "Call" dropdown menu as "Show Dial pad"
      • for Linux Skype users: if the dialpad button is not shown in the call window you need to press the "d" hotkey to enable it
  • when posting in this Chat-room, kindly observe the following ...
    • 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)
    • always provide context (like: "[ref. JaneDoe's slide#12], I think the point about context is great" ... rather than "that's great!"

as the latter would mean very little in the archives.)

    • when responding to a specific individual's earlier remarks, please cite his/her full WikiWord names *and*

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

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

Attendees: AdilaKrisnadhi, Aldo Gangemi, Ali Hashemi, Amanda Vizedom, Anatoly Levenchuk,

Andrea Westerinen, Bart Gajderowicz, BoYan, Bob Morris, Bobbin Teegarden, Carmen Chui, Carol Bean,

Charles Vardeman, Christine Kapp, Christoph Lange, Conrad Beaulieu, Dalia Varanka, Dennis Wisnosky,

Donna Fritzsche, Ed Bernot, Fran Lightsom, Frank Loebe, GaryBergCross, Harold Boley, HelenCouclelis,

Henson Graves, JacoDuPreez, James Overton, James Wilson, Jens Ortmann, Jim Solderitsch, Joel Bender,

JohnAYanosyJr, Karl Hammar, Ken Baclawski, Krzysztof Janowicz, Lamar Henderson, Leo Obrst, Les Morgan,

Liana Kiff, MarcelaS, Marcela Vegetti, Mark Fox, Matthew West, Megan Katsumi, Michael Grüninger,

Michael Riben, Mike Bennett, Mike Dean, Nancy Wiegand, Oliver Kutz, Pascal Hitzler, Peter P. Yim, Simon Cox,

Simon Spero, Sunday Ojo, Tara Athan, Terry Longstreth, Tim Finin, Todd Schneider, Torsten Hahmann,

Uri Shani, Victor Agroskin, WernerKuhn, amin,

proceedings

[7:05] anonymous morphed into Conrad Beaulieu

[8:39] anonymous morphed into Dalia Varanka

[8:49] anonymous morphed into Bob Morris

[8:57] JacoDP morphed into JacoDuPreez

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

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

in the skype chat window has no effect. Suggestion?

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

http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_02_06#nid44NW

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

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

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

[9:18] anonymous morphed into WernerKuhn

[9:21] anonymous morphed into Aldo Gangemi

[9:23] anonymous morphed into Karl Hammar

[9:23] Krzysztof Janowicz: Hi all,

[9:23] Krzysztof Janowicz: we are waiting for peter.

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

[9:24] Ed Bernot: Thanks, will be standing by muted.

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

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

listening to your talk in the future will be able to sync your slides and audio.

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

- [9:24] Krzysztof Janowicz: VNC should be up very soon

- [9:26] Krzysztof Janowicz: VNC is running

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

Firefox and Safari. Is it just me?

- [9:28] JacoDuPreez: Same here

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

Firefox and Safari. Is it just me?

- [9:29] Pascal Hitzler: VNC works on my firefox.

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

- [9:30] Krzysztof Janowicz: I have VNC working on firefox

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

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

[9:25] anonymous morphed into Michael Riben

[9:27] anonymous1 morphed into Charles Vardeman

[9:28] anonymous morphed into Bart Gajderowicz

[9:30] anonymous morphed into Carmen Chui

[9:30] anonymous morphed into Les Morgan

[9:30] anonymous1 morphed into Conrad Beaulieu

[9:31] anonymous1 morphed into Simon Cox

[9:31] anonymous1 morphed into Dalia Varanka

[9:33] anonymous morphed into James Wilson

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

co-champions ... see slides under:

http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_02_06#nid45NX

[9:35] anonymous morphed into Torsten Hahmann

[9:35] anonymous1 morphed into BoYan

[9:37] anonymous2 morphed into Adila

[9:38] Adila morphed into AdilaKrisnadhi

[9:39] Peter P. Yim: == WernerKuhn presenting ...

[9:40] anonymous2 morphed into Lamar Henderson

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

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

- [9:44] AdilaKrisnadhi: Thanks!

[9:45] anonymous2 morphed into Carol Bean

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

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

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

[9:49] anonymous2 morphed into HelenCouclelis

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

[9:50] anonymous2 morphed into JohnAYanosyJr

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

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

[9:52] Krzysztof Janowicz: we have to advance the slide

- [9:52] Simon Cox: 5

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

conceptual model.

- [9:56] Krzysztof Janowicz: next slide

- [9:57] Krzysztof Janowicz: we are now on slide 7

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

[9:58] Simon Cox: @Simon - non-monotonic?

[9:59] Simon Cox: In UML this is <<realize>> ?

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

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

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

birds, but some are actually bats.

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

find that problematic.

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

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

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

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

http://www.haskell.org/haskellwiki/Haskell

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

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

value of going there?

- [10:05] Krzysztof Janowicz: Slide 11

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

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

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

on necessary properties.

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

implemented as "structural typing".

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

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

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

thing.

[10:08] Pascal Hitzler: GeoVoCamps mentioned by Werner: See e.g.

http://vocamp.org/wiki/GeoVoCampSB2014

[10:08] Peter P. Yim: == Aldo Gangemi presenting ...

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

March. People should come if interested in what they hear today.

[10:12] GaryBergCross: Why ants on this 2nd slide???

[10:12] Matthew West: Why not?

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

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

features as well :)

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

figure out whether to vacate the premises or whether it is a false alarm.

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

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

presentation here. Apologies.

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

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

- [10:18] Krzysztof Janowicz: okay, thanks

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

science to ensure relevance"

[10:17] anonymous morphed into MarcelaS

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

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

- [10:18] Frank Loebe: 14 I think

- [10:19] Krzysztof Janowicz: 15 now

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

- [10:20] Fran Lightsom: 21

[10:21] anonymous19 morphed into Donna Fritzsche

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

- [10:26] Jim Solderitsch: Slide 28

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

- [10:33] Krzysztof Janowicz: slide 38

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

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

downloading from:] http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_02_06

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

[10:36] Liana Kiff: http://wit.istc.cnr.it/stlab-tools/fred/

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

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

[10:41] GaryBergCross: The Fred link worked on Chrome.

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

[10:43] Liana Kiff: Chrome worked. Thanks.

[10:36] Peter P. Yim: == Karl Hammar presenting ...

[10:43] JohnAYanosyJr2 morphed into JohnAYanosyJr

- [10:43] Peter P. Yim: ... now on slide#6

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

call!

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

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

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

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

In-Degree" instead of "Avgerage ...")

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

surface semantics or a deeper semantifications. we use GCI in our design patterns.

[10:57] Krzysztof Janowicz: IMHO the problems are the tools, not the GCI

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

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

ontologies may yield significant slow-downs, query rewriting, reasoning federation and

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

metrics that take into account such factors on reasoning performance?

- [11:00] Krzysztof Janowicz: Karl: 2 min left

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

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

performance aspects are specifically consequences of representation pattern + language +

implementation. Very different performance profiles might result from the same generally-described

patterns otherwise implemented.

[11:01] Donna Fritzsche: I agree with Amanda Vizedom - good points

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

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

reasoning performance you should observe these patterns..." Yes?

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

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

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

A community input page.

http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014_Common_Reusable_Semantic_Content_CommunityInput

[11:01] anonymous morphed into amin

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

... this is the convention here and for proper attribution purposes

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

[11:02] anonymous morphed into Uri Shani

[11:03] anonymous1 morphed into Lamar Henderson

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

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

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

possible model, and perhaps even minimises the number of possible models.

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

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

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

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

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

the main principle though.

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

to arrive at reusable patterns? How many patterns are there? Are there types of patterns? Are all

patterns domain-independent? Can we mine patterns from data?

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

[11:06] Krzysztof Janowicz: @Michael: http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12221

[11:06] Simon Spero: @Michael: http://www.cs.helsinki.fi/u/langohr/graphmining/

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

because there are an unlimited number of atomic elements. Some patterns at least are domain

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

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

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

writing ontologies. Is there a real distinction between ontologies and ODPs per this aspect?

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

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

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

from the ones you looked at?

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

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

[11:09] Krzysztof Janowicz: Image schema: +1

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

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

ontology but not in another.

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

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

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

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

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

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

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

are eliminated.

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

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

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

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

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

http://www.semantic-web-journal.net/sites/default/files/swj35.pdf

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

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

need another language. Buy in comes from utility plus ease of availability and use.

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

into a pattern?

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

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

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

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

discussion, so my answer above is likely simplistic.

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

Protege. Is this the tool you will recommend?

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

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

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

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

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

as a promise :)

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

great event!

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

need a bit of polish)

[11:22] Aldo Gangemi: @Karl that'd be great

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

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

presentation): http://ontolog.cim3.net/forum/ontology-summit/2014-02/msg00065.html

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

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

in this. That would in turn require we give careful thought to labeling in ODP modules.

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

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

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

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

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

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

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

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

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

modeling tool like CMAP which can output a form of OWL.

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

[11:23] Karl Hammar: See http://sourceforge.net/p/extremedesign/code/HEAD/tree/trunk/xd-protege/ for

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

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

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

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

quality assessment phase.

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

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

with large scale evidence (text and data grounding)

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

.15926 Editor supports pattern description and usage -- http://techinvestlab.ru/dot15926Editor

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

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

this interesting community!

[11:27] Aldo Gangemi: Thanks Jano, Pascal, Peter, matthew

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

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

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

Tackling the Variety Problem in Big Data - I - see developing details at:

http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_02_13

[11:28] Peter P. Yim: great session!

[11:28] Krzysztof Janowicz: @KarlHammar: as example of GCI use

http://geog.ucsb.edu/~jano/semantic_trajectories.pdf

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

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

[11:28] Peter P. Yim: -- session ended: 11:25am PST --

-- end of in-session chat-transcript --

  • Further Question & Remarks - please post them to the [ ontology-summit ] listserv
    • all subscribers to the previous summit discussion, and all who responded to today's call will automatically be subscribed to the [ ontology-summit ] listserv
    • if you are already subscribed, post to <ontology-summit [at] ontolog.cim3.net>
    • (if you are not yet subscribed) you may subscribe yourself to the [ ontology-summit ] listserv, by sending a blank email to <ontology-summit-join [at] ontolog.cim3.net> from your subscribing email address, and then follow the instructions you receive back from the mailing list system.
    • (in case you aren't already a member) you may also want to join the ONTOLOG community and be subscribed to the [ ontolog-forum ] listserv, when general ontology-related topics (not specific to this year's Summit theme) are discussed. Please refer to Ontolog membership details at: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
      • kindly email <peter.yim@cim3.com> if you have any question.

Additional Resources


For the record ...

How To Join (while the session is in progress)