ppy/chat-transcript_20100729b_edited.txt // PeterYim: . Welcome to the Ontolog Forum OWL 2 (session-1) - Professor IanHorrocks - Thu 2010.07.29 * Topic: "OWL 2: The Next Generation" * Presented by: Professor IanHorrocks (co-chair, W3C OWL 2 Working Group; University of Oxford) Please refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_07_22 . anonymous1 morphed into JulitaBermejoAlonso anonymous2 morphed into Jie Zheng PeterYim: will the "anonymous" participants please click on the "Settings" button (top center) and morph into your real name, so we can tell who you are, and properly attribute your contributions anonymous1 morphed into Rick Kiefer anonymous1 morphed into Colin Courtney anonymous2 morphed into Ricardo Clemente anonymous morphed into Mikhail Soutchanski anonymous11 morphed into JyotiPathak IanHorrocks: The presentation will be (much) shorter this week, so there will be plenty of time for discussion. Melanie Courtot1 morphed into Melanie Courtot anonymous morphed into Cui Tao Ian Horrocks morphed into IanHorrocks anonymous morphed into MattHettinger Ryan_Hohimer morphed into Ryan Hohimer anonymous2 morphed into TomRuss anonymous morphed into Mike Hewett anonymous1 morphed into AlanRector Tracy Safran: Is the conference ID still Conference ID: "4389979#" ? It is giving me an invalid conference id message Mike Hewett: Yes, that is the correct conference ID Melanie Courtot: @Tracy - worked for me anonymous morphed into BobbinTeegarden DougFoxvog: I lost sound IanHorrocks: Me too -- either that or everyone went very quiet IanHorrocks: Peter -- unmute yourself! PeterYim: can you hear me now? LeoObrst: Peter: Everyone but Ian and I are muted: and no sounds except us! IanHorrocks: No! Rex Brooks: We can hear you Ian. PeterYim: I can hear you, Ian ... I will advance the slides on your prompt LeoObrst: Peter, I had disconnected, but at the time only Ian and I could hear each other. I'm assuming everyone can hear now. anonymous morphed into Rob McClure anonymous morphed into Trang michael riben morphed into Michael Riben anonymous morphed into HIrankitti ToddSchneider: Ian, can you provide some references to the research referred to in "Research has now shown how some restrictions can be overcome"? PeterYim: for those who are not using your real names, kindly morph into your real name (WikiWord format preferred) so we can properly attribute your contributions ... try not to use initials, or just your first name or last name ... PeterYim: we are holding off Q&A until *after* the presentation ... feel free to capture question on this chat board while the presentation is in progress ToddSchneider: Ian, later could you explain the use of UML in the OWL 2 specification? BrianHaugh: Does OWL2 support multi-media objects, such as audio, images, and video? Cui Tao: Can we define a new data type by referring or mapping it to a pre-defined data type such as an ISO data type? BrianHaugh: How well do reasoners support reasoning with the content of annotations? DougFoxvog: This treatment of "punning" would then prevent rules like "If ?SPECIES isa EndangeredSpecies & ?PREY isa ?SPECIES & ?HUNTER isa LicencedHunter and ?HUNTER kills ?PREY, then ..." Cui Tao: Ian, could you refer us some examples of annotation of annotations? Is it some sort of reification? AlanRector: Slide 15: Manchester Syntax error? "...that isPartOf CirculatorySystem" --> "...that isPartOf _some_ CirculatorySystem" Cui Tao morphed into Cui Tao DougFoxvog: An annotation of an annotation would include providing a timestamp and author of an annotation. Cui Tao: Yes. I meant how that is done in OWL2. Is it through reinfication? ToddSchneider: Ian, could you define 'saturation' in the context your using it? TomRuss: Are there any plans to add a standard query language to OWL? Especially one that allows for asking queries that return tuples rather than just single individuals. In other words, something that goes beyond DL Query. BrianHaugh: How is bi-directional RDF mapping supported for OWL 2 with assertion annotations, when RDF does not support assertion annotations? PeterYim: @Ian - since I don't have "voice", would you be kind enough to moderate the Q&A, please? PeterYim: ALL: please press the "hand button" (at lower right) and queue yourself up to make a remark PeterYim: ALL: note that questions captured on the chat should be looked at as "placeholders" ... please queue up to verbally discuss those questions or issues PeterYim: again - to unmute, press "*3" (make sure you are heard, and identify yourself please, before asking your question) ... after you're done, please go back to "mute" again with a "*2" JimRhyne: What's next for OWL? How will the recent meeting on RDF next steps influence OWL? DougFoxvog: Metareasoning exists & is performed in Cyc. JoelBender: (re: IanHorrocks' verbal response to my question for a reference on the reasoning technique that uses saturation of the axioms - the 2009 IJCAI paper by Yevgeny Kazakov of Oxford on "Consequence-driven Reasoning") Ah! Found it! Thank you... http://code.google.com/p/cb-reasoner/ TerryLongstreth: @Joel- Thanks! Paul Hermans: Thank you Mike Hewett: Very nice talk. FrankChum: Thank you, Great talk! PeterYim: Great presentation ... thank you VERY much, Professor Horrocks! PeterYim: @ALL: we'll look forward to having all of you back here next weeks for the "OWL 2: Tools and Applications" panel session, see http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_08_05 ... drop me a note (rsvp to ) if you are coming and haven't registered yet, please. PeterYim: @ALL: again, if what we do at ONTOLOG aligns well with your professional interest, join the community if you are not already a member of Ontolog - see: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J PeterYim: bye, everyone ... .talk to you again next week! LeoObrst: By, all! PeterYim: -- session ended: 12:03pm PDT -- //