Actions

ConferenceCall 2013 10 24 and ConferenceCall 2013 10 31: Difference between pages

Ontolog Forum

(Difference between pages)
imported>KennethBaclawski
(Fix PurpleMediaWiki references)
 
imported>KennethBaclawski
(Fix PurpleMediaWiki references)
 
Line 1: Line 1:
= [[RulesReasoningLP]]: Mini-series Launch Event - Thu 2013-10-24 =
= [[RulesReasoningLP]]: mini-series session-02 - Thu 2013-10-31 =


Program: '''Ontology, Rules, and Logic Programming for Reasoning and Applications ([[RulesReasoningLP]]) mini-series of virtual panel sessions'''  
Program: '''Ontology, Rules, and Logic Programming for Reasoning and Applications ([[RulesReasoningLP]]) mini-series of virtual panel sessions'''  


Topic: '''[[RulesReasoningLP]]: Mini-series Launch Event - Survey and Introduction'''  
Topic: '''Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I'''  


Session Co-chairs: '''Dr. LeoObrst''' (Ontolog; MITRE) & '''Dr. BenjaminGrosof''' (Coherent Knowledge Systems) ...  [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/RulesReasoningLP-kickoff_LeoObrst-BenjaminGrosof_20131024.pdf intro slides]  
Session Co-chairs: '''Dr. LeoObrst''' (Ontolog; MITRE) & '''Dr. HaroldBoley''' ([[RuleML]]; U of New Brunswick) ...  [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/RulesReasoningLP-s02_intro--LeoObrst-HaroldBoley_20131031.pdf intro slides]  


* Opening Remarks by Community & Technology Leaders and the Mini-series Co-champions: ...  [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/RulesReasoningLP-Launch_opening-remarks-all_20131024.pdf slides]
Panelists / Briefings:  
** '''Professor MichaelGruninger''' ([[IAOA]]; U of Toronto)
** '''Professor MichaelKifer''' (SUNY, Stony Brook)
** '''Dr. LeoraMorgenstern''' (SAIC)
** '''Dr. VinayChaudhri''' (SRI)
** '''Dr. HaroldBoley''' ([[RuleML]]; U of New Brunswick)
** '''Dr. HensonGraves''' (Algos Associates; OMG)
** '''Professor KenBaclawski''' (Northeastern U)
** '''Dr. JohnSowa''' <nowiki>(VivoMind Research)</nowiki>
** '''Mr. MikeDean''' (Raytheon-BBN)
** '''Mr. PeterYim''' ([[Ontolog]]; CIM3)


* Survey and Introduction to Key Concepts and the Technology Landscape
* '''Dr. HaroldBoley''' (University of New Brunswick; [[RuleML]]) - "'''From Data to Knowledge through Grailog Visualization'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/Data-to-Knowledge-thru-Grailog-Visualization--HaroldBoley_20131031.pdf slides]  
** '''Dr. LeoObrst''' (MITRE; Ontolog) - "'''Survey: Logic, Logic Programming, Ontology, Rules'''" ...  [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/Survey-of-Logic-Rules-Ontology-LP--LeoObrst_20131024.pdf slides]  
* '''Dr. BenjaminGrosof''' (Benjamin Grosof & Associates) - "'''Hilog, Defeasibility, and the Foundations of Practical Meta Knowledge: A Brief Introduction'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/Hilog-Defeasibility-PracticalMetaKnowledge--BenjaminGrosof_20131031.pdf slides]
** '''Dr. BenjaminGrosof''' (Benjamin Grosof & Associates) - "'''Survey of Knowledge Representations for Rules and Ontologies'''" ...  [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/Survey-of-KR-for-Rules-n-Ontologies--BenjaminGrosof_20131024.pdf slides]  
* '''Professor GeorgGottlob''' (Oxford) - "'''Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/Datalog-plus-minus_GeorgGottlob-AndreasPieris_20131031.pdf slides]  


==[http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/ Archives]==  
==[http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/ Archives]==  


* '''[[ConferenceCall_2013_10_24|Abstract]]'''  
* '''[[ConferenceCall_2013_10_31|Abstract]]'''  
* '''[[ConferenceCall_2013_10_24|Agenda]]'''
* '''[[ConferenceCall_2013_10_31|Agenda]]'''  
* '''[[ConferenceCall_2013_10_24|Proceedings]]'''  
* '''Prepared presentation material (slides)''' can be accessed by clicking on each of the [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/ title links] below:  
* '''Prepared presentation material (slides)''' can be accessed by clicking on each of the [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/ title links] below:  
** '''[ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/RulesReasoningLP-s02_intro--LeoObrst-HaroldBoley_20131031.pdf 0-Chair] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/Data-to-Knowledge-thru-Grailog-Visualization--HaroldBoley_20131031.pdf 1-Boley] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/Hilog-Defeasibility-PracticalMetaKnowledge--BenjaminGrosof_20131031.pdf 2-Grosof] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/Datalog-plus-minus_GeorgGottlob-AndreasPieris_20131031.pdf 3-Gottlob] ]'''  
** '''[ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/RulesReasoningLP-kickoff_LeoObrst-BenjaminGrosof_20131024.pdf 0-Chair] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/RulesReasoningLP-Launch_opening-remarks-all_20131024.pdf 1-Opening-Remarks] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/Survey-of-Logic-Rules-Ontology-LP--LeoObrst_20131024.pdf 2-Obrst] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/Survey-of-KR-for-Rules-n-Ontologies--BenjaminGrosof_20131024.pdf 3-Grosof] ]'''  
* '''[[ConferenceCall_2013_10_31|Transcript of the online chat]]''' during the session  
* '''[[ConferenceCall_2013_10_24|Transcript of the online chat]]''' during the session  
* '''[http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/RulesReasoningLP-s02_20131031b.mp3 Audio recording of the session]''' ... [ 1:57:46 ; mp3 ; 13.48 MB ]  
* '''[http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/RulesReasoningLP-Launch_20131024b.mp3 Audio recording of the session]''' ... [ 1:46:42 ; mp3 ; 12.22 MB ]  
** its best that you listen to the session while having the respective presentations (linked above) opened in front of you. You'll be prompted to advance slides by the speaker.  
** its best that you listen to the session while having the respective presentations (linked above) opened in front of you. You'll be prompted to advance slides by the speaker.  
* '''[[ConferenceCall_2013_10_24|Additional Resources]]'''  
* '''[[ConferenceCall_2013_10_31|Additional Resources]]'''  


== [[MeetingsCalls|Conference Call]] Details  ==
== [[MeetingsCalls|Conference Call]] Details  ==


* Date: '''Thursday, 24-Oct-2013'''  
* Date: '''Thursday, 31-Oct-2013'''  
* Start Time: 9:30am PDT / 12:30pm EDT / 6:30pm CEST / 5:30pm BST / 16:30 UTC  
* Start Time: 9:30am PDT / 12:30pm EDT / 5:30pm CET / 16:30 GMT/UTC  
** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=10&day=24&year=2013&hour=9&min=30&sec=0&p1=224 World Clock]  
** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=10&day=31&year=2013&hour=9&min=30&sec=0&p1=224 World Clock]  
* Expected Call Duration: ~2.0 hours  
* Expected Call Duration: ~2.0 hours  


* Dial-in:  
* Dial-in:  
** '''Phone (US): +1 (206) 402-0100''' ... (long distance cost may apply)  
** '''Phone (US): +1 (206) 402-0100''' ... '''Conference ID: 141184#''' ... (long distance cost may apply)  
*** ... [ backup nbr: (415) 671-4335 ]  
*** ... [ backup nbr: (415) 671-4335 ]  
*** when prompted enter '''Conference ID: 141184#'''
*** when prompted enter '''Conference ID: 141184#'''  
** ''in view of recent reported'' '''''skype''''' ''connection issues, this is'' '''''not recommended''''' ''(especially for speakers) although it may still work for some'' ... '''Skype: joinconference''' (i.e. make a skype call to the contact with skypeID="joinconference") ... (generally free-of-charge, when connecting from your computer ... [[VirtualSpeakerSessionTips|ref.]])  
*** (for phone dial-in) ... some local numbers may be available (in the US, Australia, Canada & UK) - see: http://instantteleseminar.com/Local/
** ''in view of recently reported'' '''''skype''''' ''connection issues, this is'' '''''not recommended''''' ''(especially for speakers) although it may still work for some'' ... '''Skype: joinconference''' (i.e. make a skype call to the contact with skypeID="joinconference") ... (generally free-of-charge, when connecting from your computer ... [[VirtualSpeakerSessionTips|ref.]])  
*** when prompted enter '''Conference ID: 141184#'''  
*** when prompted enter '''Conference ID: 141184#'''  
*** Unfamiliar with how to do this on Skype? ...  
*** Unfamiliar with how to do this on Skype? ...  
Line 54: Line 44:
**** 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. ... ([[VirtualSpeakerSessionTips|ref.]])  
**** 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. ... ([[VirtualSpeakerSessionTips|ref.]])  
*** 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#  
*** 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#  
** (for phone dial-in) ... some local numbers may be available (in the US, Australia, Canada & UK) - see: http://instantteleseminar.com/Local/


* '''Shared-screen support''' (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/  
* '''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"  
** 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.  
** 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 '''[[ConferenceCall_2013_10_24|slides above]]''' (where applicable) and running them locally. The speaker(s) will prompt you to advance the slides during the talk.  
** people behind corporate firewalls may have difficulty accessing this. If that is the case, please download the '''[[ConferenceCall_2013_10_31|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/ontolog_20131024
* '''In-session chat'''-room url: http://webconf.soaphub.org/conf/room/ontolog_20131031
** 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").  
** 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.  
** 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) ontolog_20131024@soaphub.org ... Handy for mobile devices!  
** 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) ontolog_20131031@soaphub.org ... Handy for mobile devices!  


* '''Discussions and Q & A:'''  
* '''Discussions and Q & A:'''  
Line 76: Line 65:
* '''RSVP''' '' to [mailto:peter.yim@cim3.com peter.yim@cim3.com] appreciated,'' ... or simply just by adding yourself to the "Expected Attendee" list below (if you are a member of the team.)  
* '''RSVP''' '' to [mailto:peter.yim@cim3.com peter.yim@cim3.com] appreciated,'' ... or simply just by adding yourself to the "Expected Attendee" list below (if you are a member of the team.)  


* This session, like all other Ontolog events, is open to the public. Information relating to this session is shared on this wiki page: http://ontolog.cim3.net/cgi-bin/wiki.pl?OOR/ConferenceCall_2013_10_24
* This session, like all other Ontolog events, is open to the public. Information relating to this session is shared on this wiki page: http://ontolog.cim3.net/cgi-bin/wiki.pl?OOR/ConferenceCall_2013_10_31


* 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 [[WikiHomePage#Intellectual_Property_Rights_.28IPR.29_Policy|our prevailing open IPR policy]].  
* 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 [[WikiHomePage#Intellectual_Property_Rights_.28IPR.29_Policy|our prevailing open IPR policy]].  
Line 82: Line 71:
== Attendees  ==
== Attendees  ==


* Attended:  
* Attended: (incl. all registrants)
** [[LeoObrst|Leo Obrst]] (co-chair)  
** [[LeoObrst|Leo Obrst]] (co-chair)  
** [[BenjaminGrosof|Benjamin Grosof]] (co-chair)  
** [[HaroldBoley|Harold Boley]] (co-chair)  
** [[VinayChaudhri|Vinay Chaudhri]]
** [[BenjaminGrosof|Benjamin Grosof]]  
** [[HaroldBoley|Harold Boley]]
** [[GeorgGottlob|Georg Gottlob]]  
** [[MikeDean|Mike Dean]]
** [[MichaelKifer|Michael Kifer]]
** [[MichaelGruninger|Michael Gr&uuml;ninger]]
** [[JohnSowa|John F. Sowa]] ''(in absentia)''
** [[LeoraMorgenstern|Leora Morgenstern]]
** [[User:KennethBaclawski|Ken Baclawski]]  
** [[HensonGraves|Henson Graves]]  
** [[PeterYim|Peter P. Yim]]  
** [[PeterYim|Peter P. Yim]]  
** [[BethHuffer|Beth Huffer]]  
** [[LamarHenderson|Lamar Henderson]]  
** [[DennisPierson|Dennis Pierson]]  
** [[DennisPierson|Dennis Pierson]]  
** [[FrankLinton|Frank Linton]]  
** [[BrandonWhitehead|Brandon Whitehead]]  
** [[ToddPehle|Todd Pehle]]  
** [[BrianHaugh|Brian Haugh]]  
** [[FrancescaQuattri|Francesca Quattri]]  
** [[FrancescaQuattri|Francesca Quattri]]  
** [[ChristopherSpottiswoode|Christopher Spottiswoode]]
** [[TaraAthan|Tara Athan]]  
** [[TaraAthan|Tara Athan]]  
** [[MichaelBarnett|Michael Barnett]]
** JuanSequeda
** [[BrandonWhitehead|Brandon Whitehead]]
** [[GaryGannon|Gary Gannon]]
** [[HassanAitKaci]]
** [[AlexShkotin|Alex Shkotin]]  
** [[AlexShkotin|Alex Shkotin]]  
** GenZou
** [[AlanRector|Alan Rector]]
** [[BobSmith|Bob Smith]]
** [[BobbinTeegarden|Bobbin Teegarden]]
** [[AmandaVizedom|Amanda Vizedom]]
** [[ElieAbiLahoud]]  
** [[ElieAbiLahoud]]  
** [[FrankChum|Frank Chum]]
** [[AmandaVizedom|Amanda Vizedom]]
** [[TonyWeida|Tony Weida]]
** [[KarlHebenstreit|Karl Hebenstreit]]
** [[PavithraKenjige|Pavithra Kenjige]]  
** [[PavithraKenjige|Pavithra Kenjige]]  
** [[FrankOlken|Frank Olken]]
** AdrianGiurca
** AlessandroProvetti
** [[AlexMirzaoff|Alex Mirzaoff]]
** [[AliHashemi|Ali Hashemi]]  
** [[AliHashemi|Ali Hashemi]]  
** [[BrianHaugh|Brian Haugh]]  
** [[ConradBock|Conrad Bock]]  
** GenZou
** [[FranLightsom|Fran Lightsom]]  
** [[HamizahHamka|Hamizah Hamka]]  
** [[HensonGraves|Henson Graves]]  
** [[JoelBender|Joel Bender]]  
** [[User:KennethBaclawski|Ken Baclawski]]  
** [[JulienCorman|Julien Corman]]  
** [[MichaelGruninger|Michael Gr&uuml;ninger]]  
** [[MichaelRiben|Michael Riben]]
** [[MikeBennett|Mike Bennett]]  
** [[NaicongLi|Naicong Li]]  
** [[MikeDean|Mike Dean]]  
** Oscar Hdez?
** [[PaulFodor|Paul Fodor]]  
** [[RichardMartin|Richard Martin]]  
** [[SimonSpero|Simon Spero]]  
** [[SimonSpero|Simon Spero]]  
** SnezanaNikolic
** [[ToddSchneider|Todd Schneider]]  
** [[ToddSchneider|Todd Schneider]]  
** [[WeihongSong|Weihong Song]]  
** [[BethHuffer|Beth Huffer]]
** [[PavithraKenjige|Pavithra Kenjige]]
** [[RolfGruetter|Rolf Gruetter]]
** [[FrankLinton|Frank Linton]]
** [[BartGajderowicz|Bart Gajderowicz]]
** [[AdrianWalker|Adrian Walker]]  


* Expecting:  
* Expecting:  
** [[AdrianWalker|Adrian Walker]]
** [[LamarHenderson|Lamar Henderson]]
** PaulBrandt
** GregorySchaefer
** [[FranciscoEdgarCastilloBarrera]]&#8206;
** [[AdryaStembridge|Adrya Stembridge]]
** ...  
** ...  
** ''(please add yourself to the list above if you are a member of the community, or, rsvp to <peter.yim@cim3.com> with the event title/date and your name and affiliation)''  
** ''(please add yourself to the list above if you are a member of the community, or, rsvp to <peter.yim@cim3.com> with the event title/date and your name and affiliation)''  


* Regrets:  
* Regrets:  
** [[PascalHitzler|Pascal Hitzler]]  
** [[HassanAitKaci]]  
** [[AdrianPaschke|Adrian Paschke]]  
** [[ChristopherSpottiswoode|Christopher Spottiswoode]]  
** [[AdamWyner|Adam Wyner]]  
** [[AndreasPieris|Andreas Pieris]]  
** ...


== Abstract  ==
== Abstract  ==


'''[[RulesReasoningLP]]: Mini-series Launch Event - Survey and Introduction''' ... [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/RulesReasoningLP-kickoff_LeoObrst-BenjaminGrosof_20131024.pdf intro slides]  
'''Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I''' ... [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/RulesReasoningLP-s02_intro--LeoObrst-HaroldBoley_20131031.pdf intro slides]  
 
This is the 2nd session of the [[RulesReasoningLP]] mini-series - a series of virtual panel sessions, and the associated online discourse, co-championed by some members of the Ontolog community who value the importance of the subject matter and would want to bring together those who are knowledgeable or interested into a dialog. The mini-series program will cover the topics that encapsulates the ontology-driven applications that will generally fall under "Ontology, Rules, and Logic Programming for Reasoning and Applications."


This is the first session of the [[RulesReasoningLP]] mini-series. This will be a series of virtual panel sessions, and the associated online discourse, co-championed by some members of the Ontolog community who value the importance of the subject matter and would want to bring together those who are knowledgeable or interested into a dialog. The mini-series program will cover the topics that encapsulates the ontology-driven applications that will generally fall under "Ontology, Rules, and Logic Programming for Reasoning and Applications."
This session is the first of two sessions devoted to addressing the concepts and foundations of the technologies underlying ontology and rule reasoning, especially focused on logic programming and Semantic Web extensions. Panelists include [[HaroldBoley|Harold Boley]] (From Data to Knowledge through Grailog Visualization), [[BenjaminGrosof|Benjamin Grosof]] (Defeasibility and HILOG), [[GeorgGottlob|Georg Gottlob]] (Extended Datalog and Ontological Reasoning), and ...


The [[RulesReasoningLP]] mini-series program has come together through two open community brainstorm sessions, held on [[ConferenceCall_2013_07_25|2013.07.25]] (covering mainly program content) and [[ConferenceCall_2013_09_12|2013.09.12]] (covering mainly the organization and scheduling).  
After the panelists briefings, there will be time for Q&A and an open discussion among the panel and all the participants.  


Joining us at our Launch Event today, are a number of community and technology leaders. They, along with our mini-series co-champions, will be delivering a range of opening remarks, right after our co-chairs' overview of the mini-series program. These remarks will, collectively provide diverse perspectives on why the theme chosen for this mini-series is important, and what we should try to achieve.
See more details at: '''[[RulesReasoningLP]]''' (homepage for this mini-series)


After the opening remarks, our co-chairs, Dr. [[LeoObrst|Leo Obrst]] and Dr. [[BenjaminGrosof|Benjamin Grosof]], will provide a survey of the subject matter and the scope of this mini-series. They will each take on some aspects outlined, and provide an introduction on key concepts and technologies involved, to prepare the participants for the exciting program content that will be rolled-out in the ensuing mini-series sessions.
=== Briefings  ===


See developing details at: '''[[RulesReasoningLP]]''' (homepage for this mini-series)  
* '''Dr. HaroldBoley''' (University of New Brunswick; [[RuleML]]) - "'''From Data to Knowledge through Grailog Visualization'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/Data-to-Knowledge-thru-Grailog-Visualization--HaroldBoley_20131031.pdf slides]
** ''Abstract:'' Directed labeled graphs (DLGs) provide a good starting point for visual data & knowledge representation but cannot straightforwardly represent nested structures, non-binary relationships, and relation descriptions. These advanced features require encoded constructs with auxiliary nodes and relationships, which also need to be kept separate from straightforward constructs. Therefore, various extensions of DLGs have been proposed for data & knowledge representation, including graph partitionings (possibly interfaced as complex nodes), n-ary relationships as directed labeled hyperarcs, and (hyper)arc labels used as nodes of other (hyper)arcs. Meanwhile, a lot of AI / Semantic Web research and development on ontologies & rules has gone into extended logics for knowledge representation such as object (frame) logics, description logics, general modal logics, and higher-order logics. The talk demonstrates how data & knowledge representation with graphs and logics can be reconciled. It proceeds from simple to extended graphs for logics needed in AI and the Semantic Web. Along with its visual introduction, each graph construct is mapped to its corresponding symbolic logic construct. These graph-logic extensions constitute a systematics defined by orthogonal axes, which has led to the [http://wiki.ruleml.org/index.php/Grailog Grailog 1.0] language as part of the Web-rule industry standard [http://wiki.ruleml.org/index.php/Specification_of_Deliberation_RuleML_1.0 [[RuleML]] 1.0].
 
* '''Dr. BenjaminGrosof''' (Coherent Knowledge) - "'''Hilog, Defeasibility, and the Foundations of Practical Meta Knowledge: A Brief Introduction'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/Hilog-Defeasibility-PracticalMetaKnowledge--BenjaminGrosof_20131031.pdf slides]
** ''Abstract:'' ... We present the key foundations of meta knowledge in practical semantic technology for rules and ontologies, used most powerfully in Rulelog and Common Logic but also used to some extents in several other knowledge representation languages.  We focus primarily on the hilog approach to higher-order syntax and the argumentation theory approach to defeasibility (prioritized conflict handling).  We also touch upon other aspects including the rule identifiers approach to provenance info, reification (quoted formulas), and the restraint approach to bounded rationality.
 
* '''Professor GeorgGottlob''' (Oxford) - "'''Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/Datalog-plus-minus_GeorgGottlob-AndreasPieris_20131031.pdf slides]
** ''Abstract:'' ... '''Datalog+/-''' is a family of langues obtained by extending Datalog with existential quantification and "in rule heads, negative constraints, and equality in rule heads, while at the same time restricting the rule bodies so to achieve decidability and tractability. This talk will give a rudimentary introduction to the Datalog+/- family of languages. After a very brief introduction to the main language constructs, we will  present decidable fragments and show how these capture disparate KR and DL formalisms such as the major DL_Lite fragments, extended versions of EL, UML diagrams over databases, F-Logic Lite, and SPARQL. We will also mention some first implementations of Datalog+/-.


== Agenda  ==
== Agenda  ==


'''[[RulesReasoningLP]]: Mini-series Launch Event - Survey and Introduction'''  
'''[[RulesReasoningLP]] Mini-series Panel Session-02'''  


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


* 1. Session introduction & mini-series overview - (co-chairs) - LeoObrst & [[BenjaminGrosof|Benjamin Grosof]] (10 min.) ... ([[ConferenceCall_2013_10_24|slides]])
* 1. Session opening: introductions - (co-chairs) - Co-chairs: [[LeoObrst|Leo Obrst]] & [[HaroldBoley|Harold Boley]] (10 min.) ... [[ConferenceCall_2013_10_31|slides]]  
* 2. Opening Remarks from community & technology leaders, as well as the mini-series co-champions  - [[MichaelGruninger|Michael Gr&uuml;ninger]], [[MichaelKifer|Michael Kifer]], [[LeoraMorgenstern|Leora Morgenstern]], [[VinayChaudhri|Vinay Chaudhri]], [[HaroldBoley|Harold Boley]], [[HensonGraves|Henson Graves]], [[User:KennethBaclawski|Ken Baclawski]], [[JohnSowa|John F. Sowa]], [[MikeDean|Mike Dean]], [[PeterYim|Peter P. Yim]] (2 min. each)  
* 2. Panel Briefings - [[HaroldBoley|Harold Boley]], [[BenjaminGrosof|Benjamin Grosof]], [[GeorgGottlob|Georg Gottlob]] (25 min. ea)  
* 3. Scope and Survey of the technology landscape - [[LeoObrst|Leo Obrst]] & [[BenjaminGrosof|Benjamin Grosof]] (25 min.)
* 3. Open discussion - ALL (20 min.) ... ref. [[ConferenceCall_2013_10_31|process above]]  
* 4. Open discussion - ALL (20~30 min.) ... (ref. [[ConferenceCall_2013_10_24|process above]])
* 4. Wrap-up - co-chairs: [[LeoObrst|Leo Obrst]] & [[HaroldBoley|Harold Boley]]  
* 5. Wrap-up - co-chairs: [[BenjaminGrosof|Benjamin Grosof]] & [[LeoObrst|Leo Obrst]]  


== Proceedings  ==
== Proceedings  ==


Please refer to the [[ConferenceCall_2013_10_24|above]]  
Please refer to the [[ConferenceCall_2013_10_17|above]]  


===IM Chat Transcript captured during the session===  
===IM Chat Transcript captured during the session===  


see raw transcript [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/chat-transcript_unedited_20131024a.txt here].  
see raw transcript [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/chat-transcript_unedited_20131031a.txt here].  


(for better clarity, the version below is a [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/chat-transcript_edited_20131024b.txt re-organized and lightly edited chat-transcript].)
(for better clarity, the version below is a [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-31_Concepts-Foundations-I/chat-transcript_edited_20131031b.txt re-organized and lightly edited chat-transcript].)


Participants are welcome to make light edits to their own contributions as they see fit.  
Participants are welcome to make light edits to their own contributions as they see fit.  
Line 191: Line 168:
------
------


Chat transcript from room: ontolog_20131024
Chat transcript from room: ontolog_20131031


2013-10-24 GMT-08:00 [PDT]  
2013-10-31 GMT-08:00 [PDT]


------  
------  


[9:28] [[PeterYim|Peter P. Yim]]: Welcome to the  
[9:12] [[PeterYim|Peter P. Yim]]: Welcome to the  
 
''' [[RulesReasoningLP]]: Mini-series Launch Event - Thu 2013-10-24 '''
 
Topic: [[RulesReasoningLP]]: Mini-series Launch Event - Survey and Introduction )
 
Session Co-chairs: Dr. [[LeoObrst|Leo Obrst]] (Ontolog; MITRE) & Dr. [[BenjaminGrosof|Benjamin Grosof]] (Coherent Knowledge Systems)
 
Opening Remarks by Community & Technology Leaders and the Mini-series Co-champions:
 
* Professor [[MichaelGruninger|Michael Gr&uuml;ninger]] (IAOA; U of Toronto)
 
* Professor [[MichaelKifer|Michael Kifer]] (SUNY, Stony Brook)
 
* Dr. [[LeoraMorgenstern|Leora Morgenstern]] (SAIC)
 
* Dr. [[VinayChaudhri|Vinay Chaudhri]] (SRI)
 
* Dr. [[HaroldBoley|Harold Boley]] ([[RuleML]]; U of New Brunswick)
 
* Dr. [[HensonGraves|Henson Graves]] (Algos Associates; OMG)
 
* Professor [[User:KennethBaclawski|Ken Baclawski]] (Northeastern U)
 
* Dr. [[JohnSowa|John F. Sowa]] (VivoMind Research)
 
* Mr. [[MikeDean|Mike Dean]] (Raytheon-BBN)
 
* Mr. [[PeterYim|Peter P. Yim]] (Ontolog; CIM3)
 
Survey and Introduction to Key Concepts and the Technology Landscape
 
* Dr. [[LeoObrst|Leo Obrst]] (MITRE; Ontolog) - "Survey: Logic, Logic Programming, Ontology, Rules"
 
* Dr. [[BenjaminGrosof|Benjamin Grosof]] (Benjamin Grosof & Associates) - "Survey of Knowledge Representations for Rules and Ontologies"
 
Please refer to details on the session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24
 
Attendees: AdrianGiurca, AlessandroProvetti, [[AlexMirzaoff|Alex Mirzaoff]], [[AlexShkotin|Alex Shkotin]], [[AliHashemi|Ali Hashemi]], [[AmandaVizedom|Amanda Vizedom]],
 
[[BenjaminGrosof|Benjamin Grosof]], [[BethHuffer|Beth Huffer]], [[BrandonWhitehead|Brandon Whitehead]], [[BrianHaugh|Brian Haugh]], [[ChristopherSpottiswoode|Christopher Spottiswoode]], [[DennisPierson|Dennis Pierson]],
 
[[ElieAbiLahoud]], [[FrancescaQuattri|Francesca Quattri]], [[FrancescaQuattri|Francesca Quattri]], [[FrankChum|Frank Chum]], [[FrankOlken|Frank Olken]], [[GaryGannon|Gary Gannon]], GenZou,
 
[[HamizahHamka|Hamizah Hamka]], [[HaroldBoley|Harold Boley]], [[HassanAitKaci]], [[HensonGraves|Henson Graves]], [[JoelBender|Joel Bender]], [[JulienCorman|Julien Corman]], [[KarlHebenstreit|Karl Hebenstreit]],
 
[[User:KennethBaclawski|Ken Baclawski]], [[LeoObrst|Leo Obrst]], [[LeoObrst|Leo Obrst]], [[LeoraMorgenstern|Leora Morgenstern]], [[MichaelBarnett|Michael Barnett]], [[MichaelGruninger|Michael Gr&uuml;ninger]], [[MichaelRiben|Michael Riben]],
 
[[MikeDean|Mike Dean]], [[NaicongLi|Naicong Li]], Oscar Hdez?, [[PaulFodor|Paul Fodor]], [[PavithraKenjige|Pavithra Kenjige]], [[PeterYim|Peter P. Yim]], [[RichardMartin|Richard Martin]], [[SimonSpero|Simon Spero]],
 
SnezanaNikolic, [[TaraAthan|Tara Athan]], [[ToddPehle|Todd Pehle]], [[ToddSchneider|Todd Schneider]], [[TonyWeida|Tony Weida]], [[VinayChaudhri|Vinay Chaudhri]], [[WeihongSong|Weihong Song]], anonymous, ...
 
''' proceedings: '''
 
[9:26] anonymous morphed into [[BrandonWhitehead|Brandon Whitehead]]
 
[9:29] anonymous morphed into [[WeihongSong|Weihong Song]]
 
[9:31] [[AmandaVizedom|Amanda Vizedom]]: Logistics note, confirming what Peter mentioned last week: you can skype-call
 
to "joinconference" even if it shows as "offline". I've just gotten on the call that way. Right
 
click on contact, choose "Call" then choose "Skype call."
 
[9:35] [[AliHashemi|Ali Hashemi]]: joinconference is not online but invisible?
 
[9:36] [[SimonSpero|Simon Spero]]: joinconference is hiding but working
 
[9:36] [[AmandaVizedom|Amanda Vizedom]]: Ali, can you see my 12:31 comments above?
 
[9:40] [[AliHashemi|Ali Hashemi]]: Just saw them, thanks.
 
[9:31] anonymous morphed into [[ChristopherSpottiswoode|Christopher Spottiswoode]]
 
[9:32] anonymous1 morphed into AdrianGiurca
 
[9:32] anonymous morphed into [[NaicongLi|Naicong Li]]
 
[9:32] anonymous1 morphed into [[HassanAitKaci]]
 
[9:33] anonymous morphed into [[GaryGannon|Gary Gannon]]
 
[9:35] anonymous2 morphed into [[LeoraMorgenstern|Leora Morgenstern]]
 
[9:35] anonymous morphed into [[KarlHebenstreit|Karl Hebenstreit]]
 
[9:35] anonymous morphed into [[FrancescaQuattri|Francesca Quattri]]
 
[9:37] anonymous morphed into [[DennisPierson|Dennis Pierson]]
 
[9:38] anonymous morphed into [[JulienCorman|Julien Corman]]
 
[9:40] anonymous2 morphed into [[MichaelRiben|Michael Riben]]
 
[9:40] anonymous1 morphed into [[BrianHaugh|Brian Haugh]]
 
[9:40] anonymous2 morphed into GenZou
 
[9:41] anonymous1 morphed into [[PavithraKenjige|Pavithra Kenjige]]
 
[9:41] [[PavithraKenjige|Pavithra Kenjige]]: Mute using *6
 
[9:45] [[PeterYim|Peter P. Yim]]: == [[LeoObrst|Leo Obrst]] and [[BenjaminGrosof|Benjamin Grosof]] starts the session - please open the slides at:
 
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24#nid3ZR3
 
[9:45] anonymous1 morphed into [[BethHuffer|Beth Huffer]]
 
[9:46] [[HensonGraves|Henson Graves]]: I cannot get to the web page any more under any browser
 
[9:49] [[PeterYim|Peter P. Yim]]: @Henson - the wiki session page should be working properly (I just checked from my own browser)
 
[9:49] [[PeterYim|Peter P. Yim]]: == Opening Remarks: see -
 
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24#nid3ZQT
 
[11:55] from BenjaminGrosof's [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/notes-from-discussion-v1--BenjaminGrosof_21031024b.txt notes] ...
 
notes on various opening remarks (2-min. each)
 
Michael Gruninger
 
- advocate of expressive, esp. FOL and CL
 
- need good support for automated reasoning to be really useful
 
- looking for guidance from reasoning community wrt tools for ontologies
 
to be evaluated and applied
 
- looking for test cases from the ontology community
 
- hope for insights on what is the appropriate ontology language to use
 
operationally for various applications, not just original development of
 
ontologies
 
Leora Morgenstern
 
- at Leidos, co. new name of split SAIC
 
- working on DARPA seedling on how to go from regulatory text to executable
 
rules
 
. looking at financial, incl. SEC, and other Patriot Act
 
- extract intermediate representations, incl.
 
. as rich an ontology as one can get
 
. dependency graph among rules
 
. semantic parsing and assignment for roles incl. permission/obligation
 
- an immediate issue is what representation to use
 
. RIF is clearly inadequate expressively
 
. exceptions are such a fundamental concept, incl. priorities
 
o need language like SILK -- ie Rulelog
 
Michael Kifer
 
- think the rules community has the best technology for KR, but somehow not
 
getting its due in the community
 
- RIF - systemic problems due to the charter could not produce the dialect
 
most useful for the rules community, had to focus on BLD which is basically
 
Datalog and not so useful
 
- later tried to produce more expressive dialects, which use Well Founded
 
Semantics, but it's hard to get attention for this
 
- now I and Benjamin are pushing Rulelog
 
- would like people to pay more attention to standards, and produce right
 
standards
 
- not clear that W3C is the right venue for this, since not clear
 
they are interested in continuing the RIF effort
 
- feel that the efforts overall are fractured, incl. there is an effort for
 
Answer Set Programs but they don't seem interested in non-ASP, only ASP
 
. need to overcome this fragmentation
 
Vinay Chaudhri
 
- (see his slide)
 
- separation between ontologies and rules is artificial
 
- focus should be on decidable reasoning
 
. folks in rule languages community have not focused so much on this,
 
but rather on expressiveness
 
. in DB systems, the performance guarantees are crucial
 
Harold Boley
 
- (see his slides)
 
Henson Graves
 
- (see his slide)
 
Ken Baclawski
 
- (see his slide)
 
John Sowa
 
- (see his slides, he mainly covered slide 2 verbally)
 
- recorded (started about 10:14a PDT)
 
- vagueness and uncertainty are important
 
. contrast that with very clean model-theoretic kinds of approaches
 
Mike Dean
 
- delighted to see this cooperation b/ ontology and rules community,
 
which have largely been disjoint despite many common goals
 
Peter Yim
 
- (see his slide)
 
- feel this miniseries is a very important next step
 
[9:53] anonymous1 morphed into [[FrancescaQuattri|Francesca Quattri]]
 
[9:53] [[PeterYim|Peter P. Yim]]: @speakers - those who do not have slides for their opening remarks are encouraged
 
to capture their thoughts into this chat-room (or send me their slide(s) which I can add back to the archives)
 
[9:56] [[PeterYim|Peter P. Yim]]: @Leo, @Banjamin - (please remind the participants) we have 46 people on the
 
phone-bridge, but only 38 in the chat ... please join us in the chat-room if you aren't already ...
 
ref. details at top of session page
 
[9:56] anonymous1 morphed into [[PaulFodor|Paul Fodor]]
 
[10:01] anonymous morphed into SnezanaNikolic
 
[9:59] [[FrankOlken|Frank Olken]]: [[LeoraMorgenstern|Leora Morgenstern]], Contact me about an upcoming workshop in DC Nov. 14-15 on
 
information sharing for financial regulation. I think you would find it interesting.
 
[10:02] List of members: AdrianGiurca, [[AlexShkotin|Alex Shkotin]], [[AliHashemi|Ali Hashemi]], [[AmandaVizedom|Amanda Vizedom]], [[BenjaminGrosof|Benjamin Grosof]],
 
[[BethHuffer|Beth Huffer]], [[BrandonWhitehead|Brandon Whitehead]], [[BrianHaugh|Brian Haugh]], [[ChristopherSpottiswoode|Christopher Spottiswoode]], [[DennisPierson|Dennis Pierson]], [[ElieAbiLahoud]],
 
[[FrancescaQuattri|Francesca Quattri]], [[FrankOlken|Frank Olken]], [[GaryGannon|Gary Gannon]], GenZou, [[HaroldBoley|Harold Boley]], [[HassanAitKaci]], [[HensonGraves|Henson Graves]],
 
[[JulienCorman|Julien Corman]], [[KarlHebenstreit|Karl Hebenstreit]], [[User:KennethBaclawski|Ken Baclawski]], [[LeoObrst|Leo Obrst]], [[LeoObrst|Leo Obrst]], [[LeoraMorgenstern|Leora Morgenstern]], [[MichaelBarnett|Michael Barnett]],
 
[[MichaelGruninger|Michael Gr&uuml;ninger]], [[MichaelRiben|Michael Riben]], [[MikeDean|Mike Dean]], [[NaicongLi|Naicong Li]], [[PaulFodor|Paul Fodor]], [[PeterYim|Peter P. Yim]], [[RichardMartin|Richard Martin]], [[SimonSpero|Simon Spero]],
 
SnezanaNikolic, [[TaraAthan|Tara Athan]], [[ToddPehle|Todd Pehle]], [[ToddSchneider|Todd Schneider]], [[TonyWeida|Tony Weida]], [[WeihongSong|Weihong Song]]
 
[10:05] anonymous morphed into [[FrankChum|Frank Chum]]
 
[10:03] [[LeoraMorgenstern|Leora Morgenstern]]: @VinayChaudhri: The reason we need a rule language and not just
 
ontologies, is that ontologies aren't sufficiently expressive.
 
[10:03] [[LeoraMorgenstern|Leora Morgenstern]]: We need rules with n-ary predicates, for examples.
 
[10:03] [[LeoraMorgenstern|Leora Morgenstern]]: We need to represent exceptions and default reasoning.
 
[10:04] [[AmandaVizedom|Amanda Vizedom]]: +1 to remarks about artificiality of separating "rules" from "ontology." IMHO
 
this creates artificial barriers and obstacles for projects using a representation that separates these.
 
[10:04] [[LeoraMorgenstern|Leora Morgenstern]]: We can't do all that we need in an ontology.
 
[10:04] [[LeoraMorgenstern|Leora Morgenstern]]: However, an ontology is an important component in our system.
 
[10:04] [[SimonSpero|Simon Spero]]: @LeoraMorgenstern: that's crazy talk. Next you'll want default reasoning or something :-P
 
[10:04] [[LeoraMorgenstern|Leora Morgenstern]]: @Simon, indeed I do want default reasoning. And yes, crazy talk is what I do.
 
[10:05] [[AmandaVizedom|Amanda Vizedom]]: @LeoraMorgenstern, I think the point is that there is no reason to think of
 
the rules as something apart from the ontology. That separation is what gives us insufficiently
 
expressive ontologies. But many ontologies/ representations include rules as an essential part of the ontology.
 
[10:05] [[FrankOlken|Frank Olken]]: [[LeoraMorgenstern|Leora Morgenstern]], I agree with the need for rules with n-ary predicates.
 
[10:07] [[LeoraMorgenstern|Leora Morgenstern]]: @Amanda, yes, some rules, but not all kinds of rules. Rules with n-ary
 
predicates? default rules?
 
[10:07] [[ToddSchneider|Todd Schneider]]: [[LeoraMorgenstern|Leora Morgenstern]], Frank, The issue is the expressivity of representation
 
language. Some are less expressive than others.
 
[10:07] [[LeoObrst|Leo Obrst]]: The separation of ontology from rules is probably an artifact of semantic web
 
technologies, i.e., DL-based OWL. Other ontology languages make no such separation.
 
[10:07] [[LeoraMorgenstern|Leora Morgenstern]]: @Todd, frankly, we need more than FOL.
 
[10:08] [[AmandaVizedom|Amanda Vizedom]]: @LeoraMorgenstern, that will vary with expressiveness of language. And
 
different use cases will require different expressiveness.
 
[10:10] [[LeoraMorgenstern|Leora Morgenstern]]: @Amanda, certainly, if you expand your definition of ontology to include
 
rules with n-ary predicates, default rules, modal operators (deontic logic), etc, then sure. But
 
then we're just redefining the word, no?
 
[10:10] [[ToddSchneider|Todd Schneider]]: [[LeoraMorgenstern|Leora Morgenstern]], for your problem space, probably. The question(s) that
 
should be asked is what problems are you trying to solve. This should then provide requirements for
 
the needed expressivity and the language needed (and any supplements).
 
[10:12] [[AmandaVizedom|Amanda Vizedom]]: @Todd, I think that's exactly right. What I took Vinay to be addressing is
 
this (relatively recent) phenomenon in which people discover that limited-expressiveness languages,
 
not supporting rules, are insufficient for their needs, and then create or adopt a *separate*,
 
added-on language for rules. It seems much more sensible instead to move to a higher-expressiveness,
 
rule-inclusive representation -- of which there are many, already developed and understood.
 
[10:14] [[AmandaVizedom|Amanda Vizedom]]: @LeoraMorgenstern, for many of us who have been working in ontologies for
 
many years, we are experiencing a redefinition in the other direction. This idea of ontologies as
 
not including rules is the new one, and when it first started popping up in literature/ conferences,
 
etc., it was quite puzzling.
 
[10:15] [[LeoraMorgenstern|Leora Morgenstern]]: @Amanda, I understand your point. But I think you can see where I'm coming
 
from. It's a complex domain, and we need a very expressive representation, and I don't know of any
 
ontology that gives what I need. If you can point one out, I'll be happy to look at it,.
 
[10:21] [[AmandaVizedom|Amanda Vizedom]]: @LeoraMorgenstern, I definitely get it. And I started my ontology career
 
working with Cyc / [[CycL]], so was spoiled at the outset with respect to expressivity and the use of
 
rules within ontology. I hope that in the process of this miniseries, we see more richness of
 
options!
 
[10:15] [[BethHuffer|Beth Huffer]]: It might help if we are clear about the difference between the language, and the
 
model that is the basis for assigning meanings to terms in the language. If you think the "ontology"
 
doesn't include rules, that might be because you are thinking of the ontology as the model. But the
 
language can surely include terms and functions and operators as needed for describing the domain.
 
In that sense, there's no need to have separate languages for the "ontology" and the rules. I'm
 
putting "ontology" in quotes because we are pretty fast and loose in the semantic tech world about
 
what an ontology is.
 
[10:19] [[ToddSchneider|Todd Schneider]]: [[BethHuffer|Beth Huffer]], an ontology is a model (of some sort).
 
[10:13] [[ToddSchneider|Todd Schneider]]: Amanda, the largest constraint (from a production viewpoint) is the viability
 
of the infrastructure to support the choice.
 
[10:16] [[AmandaVizedom|Amanda Vizedom]]: Todd, that's very true. The best-tooled, best-tested, higher-expressiveness
 
systems are also mostly proprietary. Currently, most(?) or at least many projects require or prefer
 
an open standard representation langugage, and we lag badly in the support for the
 
higher-expressiveness options there.
 
[10:20] [[ToddSchneider|Todd Schneider]]: Amanda, Yes. Any large customer usually prefers or requires products that
 
comply with [open] standards.
 
[10:13] [[SimonSpero|Simon Spero]]: Anyone here who knows anything about Typed Feature Structures and unification?
 
:-P
 
[10:16] anonymous morphed into [[HamizahHamka|Hamizah Hamka]]
 
[10:18] [[FrancescaQuattri|Francesca Quattri]]: @Harold. I am looking at your slides (no. 5). A question about the concept
 
of "reaction rules". Did I get it right when you suggested that we could reuse the same ontological
 
rules from an ontology to another in no random order, but according to the subsumed examples that
 
you proposed? e.g. spatio ontology subsumes to temporal ontology, action ont. to event ont. etc.?
 
Thank you for the explanation.
 
[10:41] [[HaroldBoley|Harold Boley]]: @Francesca, the "Reaction Rules" slide gives the big picture of Reaction
 
[[RuleML]]. In the third row, spatio and temporal ontologies are often used together, as are action and
 
event ontologies. But generally, (Reaction) [[RuleML]] provides a 'pluggable' architecture where you can
 
modularly combine various ontologies. We are currently re-specifying Reaction [[RuleML]] 1.0 from XSD in
 
Relax NG. This would allow MYNG-style customization of Reaction [[RuleML]] as we already do for
 
Deliberation [[RuleML]]: http://wiki.ruleml.org/index.php/MYNG
 
[11:03] [[FrancescaQuattri|Francesca Quattri]]: @Harold: Among the good things that are in the wiki (shared link) is the
 
fact that it contains examples (ref. "Example Instance Files for [[RuleML]] 1.0"). It helps to frame the
 
final intent into real world applications.
 
[10:21] [[PeterYim|Peter P. Yim]]: == [[LeoObrst|Leo Obrst]] presenting: "Survey: Logic, Logic Programming, Ontology, Rules"
 
[10:24] [[SimonSpero|Simon Spero]]: Program = algorithm + data . Algorithm = logic + control
 
. Program = logic + control + data . Ontology = program - control?
 
[10:31] [[FrancescaQuattri|Francesca Quattri]]: got the def. of reaction rules. thank you Leo
 
[10:34] [[SimonSpero|Simon Spero]]: Prolog is a high level WAM assembler language
 
[11:24] [[SimonSpero|Simon Spero]]: WAM - A tutorial reconstruction - http://wambook.sourceforge.net/
 
[10:38] [[BenjaminGrosof|Benjamin Grosof]]: What Leo is referring to with LP is often the LP family of KRs, incl.


extensions for skolemization, defeasibility, Rulelog, etc.
''' [[RulesReasoningLP]]: mini-series session-02 - Thu 2013-10-31 '''


[11:55] from BenjaminGrosof's [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/notes-from-discussion-v1--BenjaminGrosof_21031024b.txt notes] ...
Session Co-chairs: Dr. [[LeoObrst|Leo Obrst]] (Ontolog; MITRE) & Dr. [[HaroldBoley|Harold Boley]] ([[RuleML]]; U of New Brunswick)


notes on survey by Leo (see his slide deck)
Topic: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I


(Benjamin's note to self:
Panelists / Briefings:  


nice/cute ex. of semantics of material implication and contraposition: 
* Dr. [[HaroldBoley|Harold Boley]] (University of New Brunswick; [[RuleML]]) - "From Data to Knowledge through Grailog Visualization"


"if pigs can fly ..."" on slide 7)
* Dr. [[BenjaminGrosof|Benjamin Grosof]] (Benjamin Grosof & Associates) - "Hilog, Defeasibility, and the Foundations of Practical Meta Knowledge: A Brief Introduction"  


[10:42] anonymous morphed into Oscar
* Professor [[GeorgGottlob|Georg Gottlob]] (Oxford) - "Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering"


[10:47] [[PeterYim|Peter P. Yim]]: == [[BenjaminGrosof|Benjamin Grosof]] presenting: ""Survey of Knowledge Representations for Rules and Ontologies "
Logistics:  


[10:55] [[AmandaVizedom|Amanda Vizedom]]: Regarding @BenjaminGrosof's slide 3 point 3: Agreed, but a notable point:  
* Refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31


anyone who takes even an Introduction to "Symbolic Logic" or "Formal Logic" course (usually taught
* (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your <nowiki>RealName</nowiki>


in a Philosophy or Mathematics department, but often taken much more broadly) in college *does*  
* Mute control (phone keypad): *7 to un-mute ... *6 to mute


learn the rules and key ingredients here. Test: if your Intro to Logic class had variables and
* Attn: Skype users ... see: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31#nid3ZTO


Quantifiers, you learned this. :-)  
** you may connect to (the skypeID) "joinconference" whether or not it indicates that it is online


[10:56] [[SimonSpero|Simon Spero]]: Imperial College still has mandatory Prolog (sequenced after the first Logic course)  
(i.e. even if it says it is "offline," you should still be able to connect to it.)


[10:56] [[HamizahHamka|Hamizah Hamka]]: Apologize team of experts. Need to leave too soon for its too late here. Hope
** if you are using skype and the connection to "joinconference" is not holding up, try using (your favorite POTS or


to participate in future event. Have a fruitful discussion.
[[VoIP]] line, etc.) either your phone, skype-out or google-voice and call the US dial-in number: +1 (206) 402-0100


[10:58] [[PeterYim|Peter P. Yim]]: @HamizahHamka - thank you for participating ... all the way from Malaysia
... when prompted enter Conference ID: 141184#


[10:57] [[AmandaVizedom|Amanda Vizedom]]: +1 Slide 4: viewing as "rules" or "ontological statements" is largely a
** Can't find Skype Dial pad?


matter of *view* and *use*. In fact, expressive KRs include "syntactic sugar" to allow moving
*** for Windows Skype users: Can't find Skype Dial pad? ... it's under the "Call" dropdown menu as "Show Dial pad"


between the views for many kinds of information.  
*** for Linux Skype users: please stay with (or downgrade to) Skype version 2.x for now (as a Dial pad seems to be missing on Linux-based Skype v4.x for skype-calls.)


[11:00] [[AmandaVizedom|Amanda Vizedom]]: Big point in support of the "rules" & "ontological knowledge" overlap: The
Attendees: [[AlanRector|Alan Rector]], [[AlexShkotin|Alex Shkotin]], [[AliHashemi|Ali Hashemi]], [[AmandaVizedom|Amanda Vizedom]], [[BenjaminGrosof|Benjamin Grosof]], [[BobSmith|Bob Smith]],


fundamental ontological relationship of "subclass" or "subtype" is a (usually hard-coded) expression
[[BobbinTeegarden|Bobbin Teegarden]], [[BrandonWhitehead|Brandon Whitehead]], [[BrianHaugh|Brian Haugh]], [[ConradBock|Conrad Bock]], [[DennisPierson|Dennis Pierson]], [[ElieAbiLahoud]],


of a rule pattern: "A is a subclass of B" means: "If x is an instance of A then x is also an
[[FranLightsom|Fran Lightsom]], [[FrancescaQuattri|Francesca Quattri]], GenZou, [[GeorgGottlob|Georg Gottlob]], [[HaroldBoley|Harold Boley]], [[HensonGraves|Henson Graves]], JuanSequeda,


instance of B." It's that fundamental.  
[[User:KennethBaclawski|Ken Baclawski]], [[LamarHenderson|Lamar Henderson]], [[LeoObrst|Leo Obrst]], [[MichaelGruninger|Michael Gr&uuml;ninger]], [[MikeBennett|Mike Bennett]], [[MikeDean|Mike Dean]], [[PeterYim|Peter P. Yim]],


[11:00] anonymous morphed into AlessandroProvetti
[[SimonSpero|Simon Spero]], [[TaraAthan|Tara Athan]], [[ToddSchneider|Todd Schneider]],


[11:06] [[SimonSpero|Simon Spero]]: I'm not sure that the OWL choice of OWA (with no Clark completion) keeps it in
''' Proceedings '''


the mainstream of LP?
[8:38] anonymous morphed into Conrad


[11:08] [[SimonSpero|Simon Spero]]: ( http://www.doc.ic.ac.uk/~klc/neg.html )
[9:19] anonymous morphed into [[BrandonWhitehead|Brandon Whitehead]]  


[11:55] from BenjaminGrosof's [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/notes-from-discussion-v1--BenjaminGrosof_21031024b.txt notes] ...
[9:27] [[PeterYim|Peter P. Yim]]: Hi everyone!


notes on survey by Benjamin (see his slide deck)  
[9:27] [[PeterYim|Peter P. Yim]]: Hi [[AlanRector|Alan Rector]] ... does the vnc access (with the local viewer) work for you now?


Cyc is much closer to Rulelog (vs. to FOL or to LP)
[9:29] [[MikeDean|Mike Dean]] morphed into [[MikeDean|Mike Dean]]


[11:12] [[HassanAitKaci]]: Before Hilog: lambda-Prolog, and its later incarnation Teyjus (
[9:30] anonymous morphed into [[TaraAthan|Tara Athan]]  


http://teyjus.cs.umn.edu/ )
[9:31] Conrad morphed into [[ConradBock|Conrad Bock]]


[11:21] [[HaroldBoley|Harold Boley]]: Dale Miller's et al.'s lambda-Prolog actually covers a (second-order) fragment
[9:31] anonymous1 morphed into [[GeorgGottlob|Georg Gottlob]]  


of higher-order logics, not just higher-order syntax: http://www.lix.polytechnique.fr/~dale/lProlog/
[9:32] anonymous1 morphed into [[BobbinTeegarden|Bobbin Teegarden]]


[11:17] [[PeterYim|Peter P. Yim]]: == Q&A and open discussion ... please raise your hand, get called upon by the
[9:32] anonymous morphed into [[FrancescaQuattri|Francesca Quattri]]  


chair, test your voice, before making your remark
[9:36] anonymous morphed into [[BrianHaugh|Brian Haugh]]


[11:19] [[HassanAitKaci]]: [regarding how to be heard on the voice bridge, to make a remark] I'm on
[9:36] [[PeterYim|Peter P. Yim]]: == [[LeoObrst|Leo Obrst]] and [[HaroldBoley|Harold Boley]] starts the session ... see slides


Skype and unmuted ... I don't understand ... [ppy: you will press "*7" on the skype "dialpad" to
at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31#nid3ZT9


un-mute (it maybe hidden under the "Call" dropdown menu) ... after speaking, press "*6" to go back
[9:38] anonymous morphed into [[FrancescaQuattri|Francesca Quattri]]


mute again.]  
[9:40] [[PeterYim|Peter P. Yim]]: == [[HaroldBoley|Harold Boley]] presenting ...


[11:55] from BenjaminGrosof's [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/notes-from-discussion-v1--BenjaminGrosof_21031024b.txt notes] ...
[9:41] [[DennisPierson|Dennis Pierson]] morphed into [[DennisPierson|Dennis Pierson]]  


notes on remarks from [[HassanAitKaci]]  
[9:52] anonymous morphed into JuanSequeda


Hassan: presentations very good, but bit biased in that ignored some
[10:05] [[SimonSpero|Simon Spero]]: @HaroldBoley: has there been any user studies/ cognitive modelling of how easily


important relevant work
these graphical notations are understood (before training, after n-hours training, n-days/weeks after training?)


- in particular: lambda calculus, where a function is described as a rule
[10:08] [[MikeBennett|Mike Bennett]]: @Simon I could not help thinking of the guy from Australia who presented at the


- that was the basis for the first work on higher-order programming
OMG in March about taking a more scientific approach to the graphics of modeling languages. Can't


. G&eacute;rard Huet. R&eacute;solution d'&eacute;quations dans les langages d'ordre 1,2,&mldr;,&omega;. Th&egrave;se de doctorat d'&eacute;tat, Universit&eacute; Paris 7, 1976
remember his name (anyone?)


. Dale Miller and Gopalan Nadathur on lambda-Prolog
[10:12] [[ElieAbiLahoud]]: @MikeBennett: Dr Daniel Moody,


. Teyjus.cs.umn.edu system work at U Minn by Gopalan Nadathur -- see that for references
http://www.omg.org/news/meetings/tc/dc-13/special-events/Physics_Notations_Tutorial.htm


- key to cover in miniseries: operational, implementation,
[10:12] [[MikeBennett|Mike Bennett]]: That's the guy! Ta.


pragmatically how run, how efficient
[10:12] [[HaroldBoley|Harold Boley]]: @SimonSpero, I didn't use parallel ('control') groups but sequential groups


. Prolog via WAM
when teaching Semantic Web Techniques (http://www.cs.unb.ca/~boley/cs6795swt/notes.html), noticing


. lambda-calculus also implemented via an abstract-machine mechanism
that recent student groups understood Semantic Web Logics better and faster than earlier


- work on constraint logic programming
('pre-Grailog') groups attending this course (some with interdisciplinary background). Quantitative


. gives Prolog technology much bigger power, opens the LP paradigm to anything
studies should follow next, including colleagues from the Social Sciences. If you are interested,  


that one can represent as a constraint solving process, incl.  
please do contact me.  


probabilistic or fuzzy or whatever
[10:21] [[HaroldBoley|Harold Boley]]: @MikeBennett, Yngve Lamo does 'typing homomorphism' (linked from


- there's a new generation that's not very educated in logic programming
http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf, slide 115).


in general
[10:06] [[LeoObrst|Leo Obrst]]: Harold, can you describe how a modal expression would be depicted in Grailog?


. we need to make it learnable without undue effort
I.e.,with necessity/possibility operators.  


Benjamin in response to Hassan:  agree
[10:17] [[HaroldBoley|Harold Boley]]: @LeoObrst, modal expressions use complex nodes as shown in slides 104ff of the


- also very important is modern LP implementationally are tabling techniques,
long version of this talk (http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf).


a kind of caching of work on subgoals and their results
[10:28] [[MikeBennett|Mike Bennett]]: Thanks @Harold that looks very interesting.


[11:39] [[HassanAitKaci]]: http://cs.brown.edu/people/pvh/CPL/Papers/v1/hak.pdf
[10:03] [[PeterYim|Peter P. Yim]]: == [[BenjaminGrosof|Benjamin Grosof]] presenting ...  


[11:17] [[HaroldBoley|Harold Boley]]: You can practically explore higher-order Hornlog syntax as developed for Hilog
[10:17] [[PeterYim|Peter P. Yim]]: [Grosof: note - typo on slide#4 ... Benjamin: please update, and I will swap it in.]


( http://www.cs.sunysb.edu/~warren/xsbbook/node45.html ) and Relfun (
[11:29] [[PeterYim|Peter P. Yim]]: re: [10:17] the [[BenjaminGrosof|Benjamin Grosof]] slide deck has now been updated ... Thank you, Benjamin


http://www.cs.unb.ca/~boley/FLP/cs6905FLP.pdf ) using the online Relfun interpreter:
[10:19] [[HaroldBoley|Harold Boley]]: @Benjamin, 'backquote' is visualized with the (snipangle) 'instantiation' boxes


http://www.dfki.uni-kl.de/~vega/relfun-cgi/cgi-bin/rfi.cgi
introduced of Grailog.  


[11:25] [[AlexMirzaoff|Alex Mirzaoff]]: Can either of the presenters comment on the application of tmeporal
[10:21] [[SimonSpero|Simon Spero]]: The use of backtick threw me for a bit


descriptors as terms? in logic programs?
[10:21] [[SimonSpero|Simon Spero]]: [Also, KR macros are awesome]


[11:25] [[LeoObrst|Leo Obrst]]: As mentioned by Hassan, efficiency is important, and such an area as knowledge
{{{
[10:24] [[LeoObrst|Leo Obrst]]: Benjamin, do you have "contexts", i.e., for examples like "believes( john, ${
likes(mary,bob) } )" on slide 3? I.e., the truth value of the embedded argument is local? Or not?
}}}


compilation addresses how to "compile" very expressive knowledge into more efficient runtime
[10:30] [[AmandaVizedom|Amanda Vizedom]]: +1 for Leo's question about contexts, or something (perhaps uses the "holds"  


representation.
trick) that leverages all of this great support and enables modularizing reasoning, or defining


[11:28] [[SimonSpero|Simon Spero]]: "With imperative programming, you have to tell the computer how to do what you
permitted paths of reasoning across contexts of various kinds, vs. non-permitted?


want. With declarative programming, you have to trick the computer in to doing what you want."
[10:48] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Leo's question on contexts: the truth value of the embedded


[11:55] from BenjaminGrosof's [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/notes-from-discussion-v1--BenjaminGrosof_21031024b.txt notes] ...  
argument is relative to the believer John, essentially.  


notes on verbal Q from [[PeterYim|Peter P. Yim]] wrt LeoObrst's presentation, slide 26
[10:26] [[AmandaVizedom|Amanda Vizedom]]: re: slide 6: Another (suggested but not stated) very important kind of


Q. Peter asked what Leo meant when he said things like substructural logics and
reasoning enabled by these KR tools: for federated data (including linked data) applications, not


probabilistic logics would not be include - whether he meant these are not in scope
only *having* provenance but *using* provenance to tailor how information from different sources is


in this mini-series
treated... and being able to capture & expose rules about *that* in the ontology/knowledge base.


A. Leo responded that he just meant that these things will not be included in this
[10:32] [[AmandaVizedom|Amanda Vizedom]]: ... or defines 'contexts' in which rules, prioritizations, etc., apply?


particular presentation (and slide deck)
[10:52] [[BenjaminGrosof|Benjamin Grosof]]: +1 to Amanda's comment about using provenance.


[11:28] [[JoelBender|Joel Bender]]: Is there a description of [[RuleML]] and its component "ontologies" that describes
[10:34] [[ConradBock|Conrad Bock]]: Does well-founded LP fit in somewhere?


it concepts in a way that is similar to FOAF or RDFS?
[10:50] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Conrad's question: LP and its extension Rulelog discussed here is  


[11:55] from BenjaminGrosof's [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/notes-from-discussion-v1--BenjaminGrosof_21031024b.txt notes] ...
under well founded semantics, cf. my survey presentation on 10/24/2013 Ontolog Forum session


notes on JoelBender's verbal Q about description of [[RuleML]] <--> RDF ontologies as in foaf or whatever
- ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24#nid3ZSA


Answer by Harold and Benjamin:  
[10:51] [[BenjaminGrosof|Benjamin Grosof]]: That's the semantics most frequently used due to good computational


- there are relationships in terms of data models,
complexity and algorithmic characteristics.


. Harold will post some links to chat; also it's important
[10:39] [[ElieAbiLahoud]]: Thank you Benjamin and Harold. I'am afraid I have to drop-off now.


- it's also important to understand at logical/semantic level, incl. what's
[10:38] [[PeterYim|Peter P. Yim]]: == [[GeorgGottlob|Georg Gottlob]] presenting ...  


essential in syntax
[11:05] [[BenjaminGrosof|Benjamin Grosof]]: wrt Georg's slide 30: note that stratified naf ("negation as failure") is a


[11:33] [[HaroldBoley|Harold Boley]]: Data models of XML (positional) and RDF (slotted) can be reconciled:
special case of well founded semantics, and also a special case of stable semantics / answer set semantics.


http://www.dfki.uni-kl.de/~boley/xmlrdf.html
[11:06] [[LeoObrst|Leo Obrst]]: @Georg: on slide 9, is linear datalog related to linear logic?


[11:37] [[HaroldBoley|Harold Boley]]: [[RuleML]] uses XML in the object-oriented manner enabled by this reconciliation:  
[11:18] [[GeorgGottlob|Georg Gottlob]]: @Leo: "linear" here is not related to linear logic; it just means only one


Distinction of capitalized Nodes ('types') and lower-cased edge ('role') XML elmenets.
atom in rule bodies


[11:42] [[HaroldBoley|Harold Boley]]: The [[RuleML]] Normalizer RON can automatically generate object-oriented stripes/slots:
[11:09] [[PeterYim|Peter P. Yim]]: === GiorgioOrsi (one of GeorgGottlob's postdocs) saying a few words about his


http://wiki.ruleml.org/index.php/Specification_of_Deliberation_RuleML_1.0#XSLT-Based_Normalizer
implementation of Datalog+/- ... re. slide#37


[11:29] [[AmandaVizedom|Amanda Vizedom]]: [ref. PeterYim's request to participants to morphed into their real names for
[11:11] [[PeterYim|Peter P. Yim]]: == Q&A and Open Discussion ...  


attribution purposes] [I just briefly mis-heard "attribution" as "retribution" :-\!]
[11:09] [[AmandaVizedom|Amanda Vizedom]]: @BenjaminGrosof: What tooling exists that implements / supports working with Hilog?


[11:33] [[PeterYim|Peter P. Yim]]: @Amanda - very funny! :)
[11:11] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Amanda question about Hilog tooling:  


[11:34] [[AmandaVizedom|Amanda Vizedom]]: @Peter :-)
[11:11] [[BenjaminGrosof|Benjamin Grosof]]: A number of systems support restricted Hilog. E.g., Jena permits variables


[11:30] [[AlexMirzaoff|Alex Mirzaoff]]: Can either of the presenters comment on the application of tmeporal
in predicate position.


descriptors as terms? in logic programs? dynamic ontologies?
[11:12] [[BenjaminGrosof|Benjamin Grosof]]: The most sophisticated implementation is in Flora-2, used in Coherent


[11:55] from BenjaminGrosof's [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-10-24_RulesReasoningLP_Launch/notes-from-discussion-v1--BenjaminGrosof_21031024b.txt notes] ...
Knowledge Systems software commercially now. (By most sophisticated: I mean both expressive and


notes on AlexMirzaoff's verba  Q about how things change in time
efficient. Coherent has a proprietary extension of Flora-2.)


- A by Leo: can use ontology of time or temporal logic
[11:37] [[BenjaminGrosof|Benjamin Grosof]]: More answer to [[AmandaVizedom|Amanda Vizedom]] question about tools for Hilog: There are two


- A by Benjamin: temporal reasoning is representable within expressive general
aspects: engine and UI. Engine techniques for handling functions come from Prolog (LP) and FOL.


logics such as CL and Rulelog;
Unification is important. LP uses tries for indexing and "tabling" for efficiency/termination. State


. practically, defeasibility is often very important to do
of the art on tabling is in XSB and Flora-2, then extended proprietarily wrt Hilog in Coherent


temporal reasoning efficiently and tersely, particularly
Knowledge Systems software. Coherent also supports Hilog, esp. for textual logic (see Ontolog Forum


to represent causality,
6/20/2013 session - ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_20 ) with


incl. projection forward in time or backward in time
particular features in its proprietary (but available) UI and so to an extent did the UI in the


(as in abduction and inductive learning)  
earlier Vulcan's SILK (code not available publicly, team disbanded).


[11:38] [[AmandaVizedom|Amanda Vizedom]]: Last year's "Best Paper Award" recipient at the the STIDS conference
[11:13] [[AlexShkotin|Alex Shkotin]]: Are there any use cases of usage of that languages in any domain areas?


presented a particular ontological representation of time that supported a variety of reasoning
[11:19] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Alex question: yes, there have been many usages of Hilog.


approaches that have been often addressed in ways that have some built-in problems...
[11:20] [[AlexShkotin|Alex Shkotin]]: @Benjamin, do you have a storage of Hilog ontologies. Just not to do twice:-)


[11:41] [[AmandaVizedom|Amanda Vizedom]]: @AlexMirzaoff: see Shrag "Best-practice..." at
[11:28] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Alex question on storage of Hilog ontologies: I don't understand the question.  


http://stids.c4i.gmu.edu/STIDS2012/agenda2012.php
[11:29] [[AlexShkotin|Alex Shkotin]]: @Benjamin, like repository to download Hilog ontologies.  


[11:40] [[AlexMirzaoff|Alex Mirzaoff]]: thanks Amanda, I will check that reference
[11:39] [[AlexShkotin|Alex Shkotin]]: I just have asked about Hilog ontologies repository as we have for OWL 2.


[11:39] [[PeterYim|Peter P. Yim]]: great kick-off, Leo & Benjamin!
[11:31] [[SimonSpero|Simon Spero]]: Alex: http://flora.sourceforge.net/


[11:39] [[PeterYim|Peter P. Yim]]: join us again next week 2013_10_31 - Thursday: [[RulesReasoningLP]] mini-series
[11:31] [[SimonSpero|Simon Spero]]: @Benjamin: why SVN in 2013, instead of a Github repo?


session-02: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and
[11:24] [[AlexShkotin|Alex Shkotin]]: If we have some knowledge representation as text (for ex. on CNL) we can


Semantic Web - I - Co-chairs: [[LeoObrst|Leo Obrst]] & [[HaroldBoley|Harold Boley]] - watch out for announcement on the mailing
compare different formal languages as a tools to use. For ex. we convert DB to CNL and then to OWL2:-)


list and the developing session page at:  
[11:27] [[AlexShkotin|Alex Shkotin]]: So CNL representation of a knowledge may be most general against formal languages.


http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31
[11:35] [[PeterYim|Peter P. Yim]]: Join us again, same time next week (Thu 2013-11-07) for the [[OntologyBasedStandards]] mini-series


[11:39] [[FrancescaQuattri|Francesca Quattri]]: Thank you All!
session-06 on "Ontology-based Financial Standards" co-championed by [[MikeBennett|Mike Bennett]], [[BillMcCarthy]] and [[ElieAbiLahoud]]  


[11:39] [[AlexShkotin|Alex Shkotin]]: Good bye
[11:36] [[PeterYim|Peter P. Yim]] / [[LeoObrst|Leo Obrst]]: next in this series - 2013_11_21 - Thursday: [[RulesReasoningLP]] mini-series


[11:39] [[LeoObrst|Leo Obrst]]: Thanks, all!
session-03: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic,  


[11:40] [[SimonSpero|Simon Spero]]: Good session.
and Semantic Web - II - Co-chairs: [[LeoObrst|Leo Obrst]] & [[PascalHitzler|Pascal Hitzler]]  


[11:42] [[AlexMirzaoff|Alex Mirzaoff]]: Amanda - got it thanks
[11:36] [[LeoObrst|Leo Obrst]]: Thanks, All!


[11:45] [[AmandaVizedom|Amanda Vizedom]]: yw!  
[11:37] [[PeterYim|Peter P. Yim]]: great session!  


[11:46] [[AmandaVizedom|Amanda Vizedom]]: Thanks all for this kick-off. Looking forward to the mini-series, and glad
[11:37] [[AlexShkotin|Alex Shkotin]]: Thanks  


these matters are getting some deserved and needed attention.
[11:42] [[AlexShkotin|Alex Shkotin]]: C u


[11:40] [[PeterYim|Peter P. Yim]]: -- session ended: 11:30am PDT --  
[11:37] [[PeterYim|Peter P. Yim]]: -- session ended: 11:36am PDT --  


-- end of in-session chat-transcript --  
-- end of in-session chat-transcript --  
Line 924: Line 458:
== Additional Resources  ==
== Additional Resources  ==


* Homepage for this [[RulesReasoningLP]] mini-series: http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP  
* '''Homepage for this [[RulesReasoningLP]] mini-series''': http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP  
* The community brainstorm/planning session during which this "Ontology, Rules, and Logic Programming for Reasoning and Applications (<nowiki>[[RulesReasoningLP]]</nowiki>)" mini-series came in being - 2013_07_25 - Thursday: Ontolog Ontology-Rules-Reasoning-LogicProgramming-Applications mini-series planning - Chair: [[LeoObrst|Leo Obrst]] - Panelists: [[BenjaminGrosof|Benjamin Grosof]], [[HaroldBoley|Harold Boley]], [[JohnSowa|John F. Sowa]], [[HensonGraves|Henson Graves]] - ConferenceCall_2013_07_25  
** Proceedings from the [[RulesReasoningLP]] mini-series Launch Event - http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24
* The [[ConferenceCall_2013_06_20|2013.06.20]] session by Dr. [[BenjaminGrosof|Benjamin Grosof]] on [[RuleLog]] and the subsequent discussion when this mini-series was envisioned by its co-champions.
** The community brainstorm/planning session during which this "Ontology, Rules, and Logic Programming for Reasoning and Applications (<nowiki>[[RulesReasoningLP]]</nowiki>)" mini-series came in being - 2013_07_25 - Thursday: Ontolog Ontology-Rules-Reasoning-LogicProgramming-Applications mini-series planning - Chair: [[LeoObrst|Leo Obrst]] - Panelists: [[BenjaminGrosof|Benjamin Grosof]], [[HaroldBoley|Harold Boley]], [[JohnSowa|John F. Sowa]], [[HensonGraves|Henson Graves]] - ConferenceCall_2013_07_25  
* 26-Jun-2008 - Ontolog Panel Discussion on: "Rules in Semantic Web Applications" with panelists Dr. [[LeoObrst|Leo Obrst]] (MITRE; Ontolog) (chair), Dr. [[JosDeBruijn|Jos de Bruijn]] (Free University of Bozen-Bolzano, Italy) & Mr. [[MartinOConnor|Martin O'Connor]] (Stanford-BMIR). Please refer to details on the session page, at: ConferenceCall_2008_06_26
* 12-Jun-2008 - invited speaker Dr. [[ChrisWelty|Chris Welty]] (IBM Research; Chair, W3C RIF Working Group) gave a premier talk on: "RIF: Rules Interchange Format." Please refer to details on the session page, at: ConferenceCall_2008_06_12
* Samuel, Ken; Leo Obrst; Suzette Stoutenberg; Karen Fox; Adrian Johnson; Ken Laskey; Deborah Nichols; and Jason Peterson. 2008. ''Applying Prolog to Semantic Web Ontologies & Rules: Moving Toward Description Logic Programs''. The Journal of the Theory and Practice of Logic Programming (TPLP), Massimo Marchiori, ed., Cambridge University Press - http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1853440 (paywalled.)
* Homepage of the Ontology Summits - see: [[OntologySummit|Ontology Summit]]  
* Homepage of the Ontology Summits - see: [[OntologySummit|Ontology Summit]]  
* Homepage of the [[Ontolog]] Community - see: http://ontolog.cim3.net/wiki  
* Homepage of the [[Ontolog]] Community - see: http://ontolog.cim3.net/wiki  
Line 942: Line 473:
== How To Join (while the session is in progress)  ==
== How To Join (while the session is in progress)  ==


* '''1.''' Call in from a phone or from skype: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24#nid3ZHJ
* '''1.''' Call in from a phone or from skype: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31#nid3ZTK
* '''2.''' Open chat-workspace in a new browser window: http://webconf.soaphub.org/conf/room/ontolog_20131024
* '''2.''' Open chat-workspace in a new browser window: http://webconf.soaphub.org/conf/room/ontolog_20131031
* '''3.''' Download presentations for each speaker here: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24#nid3ZR3
* '''3.''' Download presentations for each speaker here: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31#nid3ZT9
** or, '''3.1''' optionally, [[ConferenceCall_2013_10_24|access our shared-screen vnc server]], if you are not behind a corporate firewall  
** or, '''3.1''' optionally, [[ConferenceCall_2013_10_31|access our shared-screen vnc server]], if you are not behind a corporate firewall  


[[Category:Event_Meeting]]    [[Category:RulesReasoningLP]]
[[Category:Event_Meeting]]    [[Category:RulesReasoningLP]]

Latest revision as of 06:45, 9 January 2016

RulesReasoningLP: mini-series session-02 - Thu 2013-10-31

Program: Ontology, Rules, and Logic Programming for Reasoning and Applications (RulesReasoningLP) mini-series of virtual panel sessions

Topic: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I

Session Co-chairs: Dr. LeoObrst (Ontolog; MITRE) & Dr. HaroldBoley (RuleML; U of New Brunswick) ... intro slides

Panelists / Briefings:

  • Dr. HaroldBoley (University of New Brunswick; RuleML) - "From Data to Knowledge through Grailog Visualization" - slides
  • Dr. BenjaminGrosof (Benjamin Grosof & Associates) - "Hilog, Defeasibility, and the Foundations of Practical Meta Knowledge: A Brief Introduction" - slides
  • Professor GeorgGottlob (Oxford) - "Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering" - slides

Archives

Conference Call Details

  • Date: Thursday, 31-Oct-2013
  • Start Time: 9:30am PDT / 12:30pm EDT / 5:30pm CET / 16:30 GMT/UTC
  • Expected Call Duration: ~2.0 hours
  • Dial-in:
    • Phone (US): +1 (206) 402-0100 ... Conference ID: 141184# ... (long distance cost may apply)
      • ... [ backup nbr: (415) 671-4335 ]
      • when prompted enter Conference ID: 141184#
      • (for phone dial-in) ... some local numbers may be available (in the US, Australia, Canada & UK) - see: http://instantteleseminar.com/Local/
    • in view of recently reported skype connection issues, this is not recommended (especially for speakers) although it may still work for some ... 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.
      • 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.)
      • 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#
  • 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/ontolog_20131031
    • 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) ontolog_20131031@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 appreciated, ... or simply just by adding yourself to the "Expected Attendee" list below (if you are a member of the team.)
  • 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

  • Expecting:
    • ...
    • (please add yourself to the list above if you are a member of the community, or, rsvp to <peter.yim@cim3.com> with the event title/date and your name and affiliation)

Abstract

Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I ... intro slides

This is the 2nd session of the RulesReasoningLP mini-series - a series of virtual panel sessions, and the associated online discourse, co-championed by some members of the Ontolog community who value the importance of the subject matter and would want to bring together those who are knowledgeable or interested into a dialog. The mini-series program will cover the topics that encapsulates the ontology-driven applications that will generally fall under "Ontology, Rules, and Logic Programming for Reasoning and Applications."

This session is the first of two sessions devoted to addressing the concepts and foundations of the technologies underlying ontology and rule reasoning, especially focused on logic programming and Semantic Web extensions. Panelists include Harold Boley (From Data to Knowledge through Grailog Visualization), Benjamin Grosof (Defeasibility and HILOG), Georg Gottlob (Extended Datalog and Ontological Reasoning), and ...

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

See more details at: RulesReasoningLP (homepage for this mini-series)

Briefings

  • Dr. HaroldBoley (University of New Brunswick; RuleML) - "From Data to Knowledge through Grailog Visualization" - slides
    • Abstract: Directed labeled graphs (DLGs) provide a good starting point for visual data & knowledge representation but cannot straightforwardly represent nested structures, non-binary relationships, and relation descriptions. These advanced features require encoded constructs with auxiliary nodes and relationships, which also need to be kept separate from straightforward constructs. Therefore, various extensions of DLGs have been proposed for data & knowledge representation, including graph partitionings (possibly interfaced as complex nodes), n-ary relationships as directed labeled hyperarcs, and (hyper)arc labels used as nodes of other (hyper)arcs. Meanwhile, a lot of AI / Semantic Web research and development on ontologies & rules has gone into extended logics for knowledge representation such as object (frame) logics, description logics, general modal logics, and higher-order logics. The talk demonstrates how data & knowledge representation with graphs and logics can be reconciled. It proceeds from simple to extended graphs for logics needed in AI and the Semantic Web. Along with its visual introduction, each graph construct is mapped to its corresponding symbolic logic construct. These graph-logic extensions constitute a systematics defined by orthogonal axes, which has led to the Grailog 1.0 language as part of the Web-rule industry standard RuleML 1.0.
  • Dr. BenjaminGrosof (Coherent Knowledge) - "Hilog, Defeasibility, and the Foundations of Practical Meta Knowledge: A Brief Introduction" - slides
    • Abstract: ... We present the key foundations of meta knowledge in practical semantic technology for rules and ontologies, used most powerfully in Rulelog and Common Logic but also used to some extents in several other knowledge representation languages. We focus primarily on the hilog approach to higher-order syntax and the argumentation theory approach to defeasibility (prioritized conflict handling). We also touch upon other aspects including the rule identifiers approach to provenance info, reification (quoted formulas), and the restraint approach to bounded rationality.
  • Professor GeorgGottlob (Oxford) - "Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering" - slides
    • Abstract: ... Datalog+/- is a family of langues obtained by extending Datalog with existential quantification and "in rule heads, negative constraints, and equality in rule heads, while at the same time restricting the rule bodies so to achieve decidability and tractability. This talk will give a rudimentary introduction to the Datalog+/- family of languages. After a very brief introduction to the main language constructs, we will present decidable fragments and show how these capture disparate KR and DL formalisms such as the major DL_Lite fragments, extended versions of EL, UML diagrams over databases, F-Logic Lite, and SPARQL. We will also mention some first implementations of Datalog+/-.

Agenda

RulesReasoningLP Mini-series Panel Session-02

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: ontolog_20131031

2013-10-31 GMT-08:00 [PDT]

[9:12] Peter P. Yim: Welcome to the

RulesReasoningLP: mini-series session-02 - Thu 2013-10-31

Session Co-chairs: Dr. Leo Obrst (Ontolog; MITRE) & Dr. Harold Boley (RuleML; U of New Brunswick)

Topic: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I

Panelists / Briefings:

  • Dr. Harold Boley (University of New Brunswick; RuleML) - "From Data to Knowledge through Grailog Visualization"
  • Dr. Benjamin Grosof (Benjamin Grosof & Associates) - "Hilog, Defeasibility, and the Foundations of Practical Meta Knowledge: A Brief Introduction"
  • Professor Georg Gottlob (Oxford) - "Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering"

Logistics:

  • (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your RealName
  • 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: please stay with (or downgrade to) Skype version 2.x for now (as a Dial pad seems to be missing on Linux-based Skype v4.x for skype-calls.)

Attendees: Alan Rector, Alex Shkotin, Ali Hashemi, Amanda Vizedom, Benjamin Grosof, Bob Smith,

Bobbin Teegarden, Brandon Whitehead, Brian Haugh, Conrad Bock, Dennis Pierson, ElieAbiLahoud,

Fran Lightsom, Francesca Quattri, GenZou, Georg Gottlob, Harold Boley, Henson Graves, JuanSequeda,

Ken Baclawski, Lamar Henderson, Leo Obrst, Michael Grüninger, Mike Bennett, Mike Dean, Peter P. Yim,

Simon Spero, Tara Athan, Todd Schneider,

Proceedings

[8:38] anonymous morphed into Conrad

[9:19] anonymous morphed into Brandon Whitehead

[9:27] Peter P. Yim: Hi everyone!

[9:27] Peter P. Yim: Hi Alan Rector ... does the vnc access (with the local viewer) work for you now?

[9:29] Mike Dean morphed into Mike Dean

[9:30] anonymous morphed into Tara Athan

[9:31] Conrad morphed into Conrad Bock

[9:31] anonymous1 morphed into Georg Gottlob

[9:32] anonymous1 morphed into Bobbin Teegarden

[9:32] anonymous morphed into Francesca Quattri

[9:36] anonymous morphed into Brian Haugh

[9:36] Peter P. Yim: == Leo Obrst and Harold Boley starts the session ... see slides

at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31#nid3ZT9

[9:38] anonymous morphed into Francesca Quattri

[9:40] Peter P. Yim: == Harold Boley presenting ...

[9:41] Dennis Pierson morphed into Dennis Pierson

[9:52] anonymous morphed into JuanSequeda

[10:05] Simon Spero: @HaroldBoley: has there been any user studies/ cognitive modelling of how easily

these graphical notations are understood (before training, after n-hours training, n-days/weeks after training?)

[10:08] Mike Bennett: @Simon I could not help thinking of the guy from Australia who presented at the

OMG in March about taking a more scientific approach to the graphics of modeling languages. Can't

remember his name (anyone?)

[10:12] ElieAbiLahoud: @MikeBennett: Dr Daniel Moody,

http://www.omg.org/news/meetings/tc/dc-13/special-events/Physics_Notations_Tutorial.htm

[10:12] Mike Bennett: That's the guy! Ta.

[10:12] Harold Boley: @SimonSpero, I didn't use parallel ('control') groups but sequential groups

when teaching Semantic Web Techniques (http://www.cs.unb.ca/~boley/cs6795swt/notes.html), noticing

that recent student groups understood Semantic Web Logics better and faster than earlier

('pre-Grailog') groups attending this course (some with interdisciplinary background). Quantitative

studies should follow next, including colleagues from the Social Sciences. If you are interested,

please do contact me.

[10:21] Harold Boley: @MikeBennett, Yngve Lamo does 'typing homomorphism' (linked from

http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf, slide 115).

[10:06] Leo Obrst: Harold, can you describe how a modal expression would be depicted in Grailog?

I.e.,with necessity/possibility operators.

[10:17] Harold Boley: @LeoObrst, modal expressions use complex nodes as shown in slides 104ff of the

long version of this talk (http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf).

[10:28] Mike Bennett: Thanks @Harold that looks very interesting.

[10:03] Peter P. Yim: == Benjamin Grosof presenting ...

[10:17] Peter P. Yim: [Grosof: note - typo on slide#4 ... Benjamin: please update, and I will swap it in.]

[11:29] Peter P. Yim: re: [10:17] the Benjamin Grosof slide deck has now been updated ... Thank you, Benjamin

[10:19] Harold Boley: @Benjamin, 'backquote' is visualized with the (snipangle) 'instantiation' boxes

introduced of Grailog.

[10:21] Simon Spero: The use of backtick threw me for a bit

[10:21] Simon Spero: [Also, KR macros are awesome]

{{{ [10:24] Leo Obrst: Benjamin, do you have "contexts", i.e., for examples like "believes( john, ${ likes(mary,bob) } )" on slide 3? I.e., the truth value of the embedded argument is local? Or not? }}}

[10:30] Amanda Vizedom: +1 for Leo's question about contexts, or something (perhaps uses the "holds"

trick) that leverages all of this great support and enables modularizing reasoning, or defining

permitted paths of reasoning across contexts of various kinds, vs. non-permitted?

[10:48] Benjamin Grosof: Answer to Leo's question on contexts: the truth value of the embedded

argument is relative to the believer John, essentially.

[10:26] Amanda Vizedom: re: slide 6: Another (suggested but not stated) very important kind of

reasoning enabled by these KR tools: for federated data (including linked data) applications, not

only *having* provenance but *using* provenance to tailor how information from different sources is

treated... and being able to capture & expose rules about *that* in the ontology/knowledge base.

[10:32] Amanda Vizedom: ... or defines 'contexts' in which rules, prioritizations, etc., apply?

[10:52] Benjamin Grosof: +1 to Amanda's comment about using provenance.

[10:34] Conrad Bock: Does well-founded LP fit in somewhere?

[10:50] Benjamin Grosof: Answer to Conrad's question: LP and its extension Rulelog discussed here is

under well founded semantics, cf. my survey presentation on 10/24/2013 Ontolog Forum session

- ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24#nid3ZSA

[10:51] Benjamin Grosof: That's the semantics most frequently used due to good computational

complexity and algorithmic characteristics.

[10:39] ElieAbiLahoud: Thank you Benjamin and Harold. I'am afraid I have to drop-off now.

[10:38] Peter P. Yim: == Georg Gottlob presenting ...

[11:05] Benjamin Grosof: wrt Georg's slide 30: note that stratified naf ("negation as failure") is a

special case of well founded semantics, and also a special case of stable semantics / answer set semantics.

[11:06] Leo Obrst: @Georg: on slide 9, is linear datalog related to linear logic?

[11:18] Georg Gottlob: @Leo: "linear" here is not related to linear logic; it just means only one

atom in rule bodies

[11:09] Peter P. Yim: === GiorgioOrsi (one of GeorgGottlob's postdocs) saying a few words about his

implementation of Datalog+/- ... re. slide#37

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

[11:09] Amanda Vizedom: @BenjaminGrosof: What tooling exists that implements / supports working with Hilog?

[11:11] Benjamin Grosof: Answer to Amanda question about Hilog tooling:

[11:11] Benjamin Grosof: A number of systems support restricted Hilog. E.g., Jena permits variables

in predicate position.

[11:12] Benjamin Grosof: The most sophisticated implementation is in Flora-2, used in Coherent

Knowledge Systems software commercially now. (By most sophisticated: I mean both expressive and

efficient. Coherent has a proprietary extension of Flora-2.)

[11:37] Benjamin Grosof: More answer to Amanda Vizedom question about tools for Hilog: There are two

aspects: engine and UI. Engine techniques for handling functions come from Prolog (LP) and FOL.

Unification is important. LP uses tries for indexing and "tabling" for efficiency/termination. State

of the art on tabling is in XSB and Flora-2, then extended proprietarily wrt Hilog in Coherent

Knowledge Systems software. Coherent also supports Hilog, esp. for textual logic (see Ontolog Forum

6/20/2013 session - ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_20 ) with

particular features in its proprietary (but available) UI and so to an extent did the UI in the

earlier Vulcan's SILK (code not available publicly, team disbanded).

[11:13] Alex Shkotin: Are there any use cases of usage of that languages in any domain areas?

[11:19] Benjamin Grosof: Answer to Alex question: yes, there have been many usages of Hilog.

[11:20] Alex Shkotin: @Benjamin, do you have a storage of Hilog ontologies. Just not to do twice:-)

[11:28] Benjamin Grosof: Answer to Alex question on storage of Hilog ontologies: I don't understand the question.

[11:29] Alex Shkotin: @Benjamin, like repository to download Hilog ontologies.

[11:39] Alex Shkotin: I just have asked about Hilog ontologies repository as we have for OWL 2.

[11:31] Simon Spero: Alex: http://flora.sourceforge.net/

[11:31] Simon Spero: @Benjamin: why SVN in 2013, instead of a Github repo?

[11:24] Alex Shkotin: If we have some knowledge representation as text (for ex. on CNL) we can

compare different formal languages as a tools to use. For ex. we convert DB to CNL and then to OWL2:-)

[11:27] Alex Shkotin: So CNL representation of a knowledge may be most general against formal languages.

[11:35] Peter P. Yim: Join us again, same time next week (Thu 2013-11-07) for the OntologyBasedStandards mini-series

session-06 on "Ontology-based Financial Standards" co-championed by Mike Bennett, BillMcCarthy and ElieAbiLahoud

[11:36] Peter P. Yim / Leo Obrst: next in this series - 2013_11_21 - Thursday: RulesReasoningLP mini-series

session-03: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic,

and Semantic Web - II - Co-chairs: Leo Obrst & Pascal Hitzler

[11:36] Leo Obrst: Thanks, All!

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

[11:37] Alex Shkotin: Thanks

[11:42] Alex Shkotin: C u

[11:37] Peter P. Yim: -- session ended: 11:36am PDT --

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

  • Further Question & Remarks - please post them to the [ ontolog-forum ] listserv
    • if you are already subscribed, post to <ontolog-forum [at] ontolog.cim3.net>
    • (in case you aren't already a member) do consider joining the ONTOLOG community and be subscribed to the [ ontolog-forum ] listserv, where general ontology-related topics are discussed among the Ontolog community members. 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)



Retrieved from "https://ontologforum.com/index.php?title=ConferenceCall_2013_10_24&oldid=3018"