Actions

ConferenceCall 2013 10 31 and ConferenceCall 2013 11 07: 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 session-02 - Thu 2013-10-31 =
= [[OntologyBasedStandards]] mini-series session-06 - Thu 2013-11-07 =


Program: '''Ontology, Rules, and Logic Programming for Reasoning and Applications ([[RulesReasoningLP]]) mini-series of virtual panel sessions'''  
Session Co-chairs: '''Mr. MikeBennett''' (EDM Council) & '''Professor [[WilliamMcCarthy]]''' (Michigan State U) ...  [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/OntologyBasedStandards-s06_Ontology-based-Financial-Standards_intro--MikeBennett-BillMcCarthy_20131107.pdf intro slides]


Topic: '''Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I'''  
Topic: '''Ontology-based Financial Standards: Some Ongoing Work'''  


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]
Panel / Briefings:  


Panelists / Briefings:  
* '''Professor [[BillMcCarthy]]''' (Michigan State U) - "'''ISO 15944-4 (2nd edition) and the REA accounting ontology'''"  [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/REA-Ontology_ISO-15944-4--BillMcCarthy_20131107.pdf slides]
* '''Mr. [[DaveMcComb]]''' (Semantic Arts) - "'''Taming Complexity in the Financial Services Industry'''"  [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/Taming-Complexity-in-Financial-Services-Industry--DaveMcComb_20131107.pdf slides]
* '''Mr. MikeBennett''' (EDM Council) - "'''[[FIBO]] and Shared Semantics'''"  [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/FIBO-Shared-Semantics--MikeBennett_20131107.pdf slides]
* '''Dr. [[ElieAbiLahoud]]''' (University College Cork, Ireland) - "'''On The Road to Regulatory Ontologies: Expressing Regulations in Structured Natural Language - use of [[SBVR]] to create regulatory ontologies'''"  [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/On-The-Road-To-Regulatory-Ontologies--ElieAbiLahoud-GRCTC_20131107.pdf slides]
* '''Mr. JohnHall''' (Model Systems, UK) - "'''Interpreting Regulation: some snippets from a methodology'''"  [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/Interpreting-Regulation--JohnHall_EDMC-OMG_20131107.pdf slides]


* '''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]
==[http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/ Archives]==
* '''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]
* '''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-31_Concepts-Foundations-I/ Archives]==
* '''[[ConferenceCall_2013_11_07|Abstract]]'''  
 
* '''[[ConferenceCall_2013_11_07|Agenda]]'''  
* '''[[ConferenceCall_2013_10_31|Abstract]]'''  
* '''Prepared presentation material (slides)''' can be accessed by clicking on each of the [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/ title links] below:  
* '''[[ConferenceCall_2013_10_31|Agenda]]'''  
** '''[ [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/OntologyBasedStandards-s06_Ontology-based-Financial-Standards_intro--MikeBennett-BillMcCarthy_20131107.pdf 0-Chair] ] . [ [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/REA-Ontology_ISO-15944-4--BillMcCarthy_20131107.pdf 1-McCarthy] ] . [ [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/Taming-Complexity-in-Financial-Services-Industry--DaveMcComb_20131107.pdf 2-McComb] ] . [ [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/FIBO-Shared-Semantics--MikeBennett_20131107.pdf 3-Bennett] ] . [ [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/On-The-Road-To-Regulatory-Ontologies--ElieAbiLahoud-GRCTC_20131107.pdf 4-Abi-Lahoud] ] . [ [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/Interpreting-Regulation--JohnHall_EDMC-OMG_20131107.pdf 5-Hall] ]'''  
* '''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:  
* '''[[ConferenceCall_2013_11_07|Transcript of the online chat]]''' during the session  
** '''[ [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/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/OntologyBasedStandards-s06_Ontology-based-Financial-Standards_20131107b.mp3 Audio recording of the session]''' ... [ 2:01:59 ; mp3 ; 13.96 MB ]  
* '''[[ConferenceCall_2013_10_31|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 ]  
** 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_31|Additional Resources]]'''  
* '''[[ConferenceCall_2013_11_07|Additional Resources]]'''  


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


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


Line 34: Line 34:
** '''Phone (US): +1 (206) 402-0100''' ... '''Conference ID: 141184#''' ... (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#'''
*** (for phone dial-in) ... some local numbers may be available (in the US, Australia, Canada & UK) - see: http://instantteleseminar.com/Local/  
*** (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.]])  
** ''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.]])  
Line 48: Line 47:
** 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_31|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_11_07|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
* '''In-session chat'''-room url: http://webconf.soaphub.org/conf/room/ontolog_20131107
** 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_20131031@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_20131107@soaphub.org ... Handy for mobile devices!  


* '''Discussions and Q & A:'''  
* '''Discussions and Q & A:'''  
Line 65: Line 64:
* '''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_31
* 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_11_07


* 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 72: Line 71:


* Attended: (incl. all registrants)  
* Attended: (incl. all registrants)  
** [[LeoObrst|Leo Obrst]] (co-chair)  
** [[MikeBennett|Mike Bennett]] (co-champion)  
** [[HaroldBoley|Harold Boley]] (co-chair)  
** [[BillMcCarthy]] (co-champion)
** [[BenjaminGrosof|Benjamin Grosof]]  
** [[ElieAbiLahoud]] (co-champion)  
** [[GeorgGottlob|Georg Gottlob]]  
** [[DaveMcComb]]
** [[JohnHall|John Hall]]  
** [[MichaelGruninger|Michael Grüninger]]  
** [[PeterYim|Peter P. Yim]]  
** [[PeterYim|Peter P. Yim]]  
** [[LamarHenderson|Lamar Henderson]]
** [[DennisPierson|Dennis Pierson]]
** [[BrandonWhitehead|Brandon Whitehead]]
** [[BrianHaugh|Brian Haugh]]
** [[FrancescaQuattri|Francesca Quattri]]  
** [[FrancescaQuattri|Francesca Quattri]]  
** [[TaraAthan|Tara Athan]]  
** [[TaraAthan|Tara Athan]]  
** JuanSequeda
** [[JesperKiehn|Jesper Kiehn]]
** [[EdBernot|Ed Bernot]]
** [[GaryGannon|Gary Gannon]]
** [[RichardBeatch|Richard Beatch]]
** [[FrankOlken|Frank Olken]]
** [[AlexShkotin|Alex Shkotin]]  
** [[AlexShkotin|Alex Shkotin]]  
** GenZou
** [[JoanneLuciano|Joanne Luciano]]
** [[AlanRector|Alan Rector]]  
** [[GaryBergCross]]  
** [[BobSmith|Bob Smith]]  
** [[ToddSchneider|Todd Schneider]]  
** [[BobbinTeegarden|Bobbin Teegarden]]  
** [[BartGajderowicz|Bart Gajderowicz]]  
** [[AmandaVizedom|Amanda Vizedom]]  
** [[AmandaVizedom|Amanda Vizedom]]  
** [[ElieAbiLahoud]]
** [[PavithraKenjige|Pavithra Kenjige]]  
** [[PavithraKenjige|Pavithra Kenjige]]  
** [[AliHashemi|Ali Hashemi]]  
** [[BobbinTeegarden|Bobbin Teegarden]]  
** [[ConradBock|Conrad Bock]]  
** [[LamarHenderson|Lamar Henderson]]  
** [[FranLightsom|Fran Lightsom]]  
** [[AdamWyner|Adam Wyner]]  
** [[HensonGraves|Henson Graves]]  
** [[DavidBooth|David Booth]]  
** [[User:KennethBaclawski|Ken Baclawski]]  
** [[DennisWisnosky|Dennis Wisnosky]]  
** [[MichaelGruninger|Michael Grüninger]]  
** [[DonaldChapin|Donald Chapin]]
** [[MikeBennett|Mike Bennett]]  
** [[ElisaKendall|Elisa Kendall]]
** [[MikeDean|Mike Dean]]  
** GenZou
** [[IsabellaDistinto|Isabella Distinto]]
** [[JohnMcClure]]
** [[MartinGladwell|Martin Gladwell]]
** [[MaxGillmore|Max Gillmore]]
** [[MichaelUschold|Michael Uschold]]  
** [[PaulFodor|Paul Fodor]]  
** [[RichardMartin|Richard Martin]]  
** [[SimonSpero|Simon Spero]]  
** [[SimonSpero|Simon Spero]]  
** [[ToddSchneider|Todd Schneider]]
** [[AdryaStembridge|Adrya Stembridge]]  
** [[BethHuffer|Beth Huffer]]
** [[PavithraKenjige|Pavithra Kenjige]]
** [[RolfGruetter|Rolf Gruetter]]
** [[FrankLinton|Frank Linton]]
** [[BartGajderowicz|Bart Gajderowicz]]
** [[AdrianWalker|Adrian Walker]]  


* Expecting:  
* Expecting:  
Line 114: Line 115:


* Regrets:  
* Regrets:  
** [[DavidNewman|David Newman]]
** [[DavidBholat|David Bholat]]
** [[HassanAitKaci]]  
** [[HassanAitKaci]]  
** [[ChristopherSpottiswoode|Christopher Spottiswoode]]  
** [[JamesChen|James Chen]]  
** [[AndreasPieris|Andreas Pieris]]
** AlanRedmond
** ...


== Abstract  ==
== Abstract  ==


'''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]  
'''Ontology-based Financial Standards: Some Ongoing Work''' - [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/OntologyBasedStandards-s06_Ontology-based-Financial-Standards_intro--MikeBennett-BillMcCarthy_20131107.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."
As with the recent [[ConferenceCall_2013_10_10|session-04: The Case for a "Quantities and Units of Measure" Ontology Standard]] and [[ConferenceCall_2013_10_17|session-05: "Ontology-based Standards in Geospatial Domains"]], this is a continuation of the [[OntologyBasedStandards]] mini-series that was started in late 2012 as a collaborative effort by [[ONTOLOG]], [[IAOA]], [[OASIS]], [[OMG]], various [[ISO]] working groups and the [[OOR]] Initiative. This session, is part of a program of 8 topics, which are planned to be held over the remaining time in 2013, and partly in 2014.  


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 ...  
At this session, we will be providing an introduction and overview into some current and developing financial industry standards, where ontologies and their applications are involved - using the FIBO conceptual framework to align across standards semantics; ISO 15944 transaction semantics; Regulatory ontology applications, etc. Briefings by the panel will be followed by Q & A and an open discussion of issues.  


After the panelists briefings, there will be time for Q&A and an open discussion among the panel and all the participants.  
For more detail on the mini-series please also refer to details on the [[OntologyBasedStandards]] mini-series homepage.  


See more details at: '''[[RulesReasoningLP]]''' (homepage for this mini-series)
=== Briefings  ===


=== Briefings ===
* '''Professor [[BillMcCarthy]]''' (Michigan State U) - "'''ISO 15944-4 (2nd edition) and the REA accounting ontology'''" [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/REA-Ontology_ISO-15944-4--BillMcCarthy_20131107.pdf slides]
** ''Abstract:'' The REA (Resource-Event-Agent) enterprise ontology originated in the field of accounting (with an emphasis on accountability for "what has occurred in an economic and financial sense"), but its use has expanded to include all the necessary components for a full business process model at multiple levels of abstraction and across multiple dimensions of time.
** REA is presently used in ERP systems like Workday, but the exposition in this presentation will concentrate on its interoperability use as an economic and accounting interoperability standard, as specified in ISO 15944-4.  Additionally, Professor <nowiki>McCarthy</nowiki> will discuss the monograph project commissioned by the American Accounting Association (the leading worldwide accounting research organization) that fully explains the conceptual foundation for the REA ontology components.
 
* '''Mr. [[DaveMcComb]]''' (Semantic Arts) - "'''Taming Complexity in the Financial Services Industry'''"  [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/Taming-Complexity-in-Financial-Services-Industry--DaveMcComb_20131107.pdf slides]
** ''Abstract:'' The Financial Services Industry has become incredibly complex.  It is routine for firms to have hundreds of thousands of attributes in the sum total of their various systems.  It is safe to say that no one in any of these firms understands the depth and breadth of this complexity.
** It is our job, as ontologists, to make the data sphere of our clients and/or employers a tractable landscape.  We believe it is up to us to understand the complexity, and having understood it, reduce it to its logical minimum.  We're going to discuss some techniques and experiences we've had recently with two financial services firms and a State Agency, that show how semantic technology can be applied to the problem of bringing this complexity down to scale.


* '''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]  
* '''Mr. MikeBennett''' (EDM Council) - "'''[[FIBO]] and Shared Semantics'''" [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/FIBO-Shared-Semantics--MikeBennett_20131107.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].  
** ''Abstract:'' [[MikeBennett|Mike Bennett]] will describe the "Financial Industry Business Ontology ([[FIBO]])" conceptual modeling framework, and will illustrate how this is used to reconcile and re-use terms across different industry standards and ontologies. This talk will focus on the work done to represent the REA concepts for transactions within the FIBO framework and how this framework is used to reconcile these terms with the concepts in double entry accounting and XBRL.  


* '''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]  
* '''Dr. [[ElieAbiLahoud]]''' (University College Cork, Ireland) - "'''On The Road to Regulatory Ontologies: Expressing Regulations in Structured Natural Language - use of [[SBVR]] to create regulatory ontologies'''" [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/On-The-Road-To-Regulatory-Ontologies--ElieAbiLahoud-GRCTC_20131107.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.  
** ''Abstract:'' Elie will describe how the Governance Risk and Compliance Technology Centre (University College Cork) leverages "Semantics of Business Vocabulary and Business Rules ([[SBVR]])" to interpret financial services regulations and create regulatory ontologies. He will illustrate the role of Subject Matter Experts in addressing challenges in "consuming" regulations and discuss the approach and its potential benefits & applications.  


* '''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]  
* '''Mr. JohnHall''' (Model Systems, UK) - "'''Interpreting Regulation: some snippets from a methodology'''" [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/Interpreting-Regulation--JohnHall_EDMC-OMG_20131107.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+/-.  
** ''Abstract:'' This session presents some illustrations from a methodology for interpretation of published regulations, formalizing the language while still retaining content in business-friendly English. The methodology uses [[SBVR]] and is being developed in a collaboration between the Governance, Risk and Compliance Technology Centre (GRCTC), based at University College Cork, Ireland, Model Systems and Business Semantics Ltd. Examples are drawn from US Regulations for Anti-Money Laundering.  


== Agenda  ==
== Agenda  ==


'''[[RulesReasoningLP]] Mini-series Panel Session-02'''  
'''[[OntologyBasedStandards]] Mini-series Panel Session-06'''  


:'''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 opening: introductions - (co-chairs) - Co-chairs: [[LeoObrst|Leo Obrst]] & [[HaroldBoley|Harold Boley]] (10 min.) ... [[ConferenceCall_2013_10_31|slides]]  
* 1. Session opening: overview - Co-chairs: [[MikeBennett|Mike Bennett]] & [[BillMcCarthy]] (10 min.) ... ([[ConferenceCall_2013_11_07|slides]])
* 2. Panel Briefings - [[HaroldBoley|Harold Boley]], [[BenjaminGrosof|Benjamin Grosof]], [[GeorgGottlob|Georg Gottlob]] (25 min. ea)  
* 2. Panel Briefings - [[BillMcCarthy]], [[DaveMcComb]], [[MikeBennett|Mike Bennett]], [[ElieAbiLahoud]], & [[JohnHall|John Hall]] (15~17 min. ea)  
* 3. Open discussion - ALL (20 min.) ... ref. [[ConferenceCall_2013_10_31|process above]]  
* 3. Open discussion - ALL (20 min.) ... (ref. [[ConferenceCall_2013_11_07|process above]])
* 4. Wrap-up - co-chairs: [[LeoObrst|Leo Obrst]] & [[HaroldBoley|Harold Boley]]  
* 4. Wrap-up - co-chairs: [[BillMcCarthy]] & [[MikeBennett|Mike Bennett]]  


== Proceedings  ==
== Proceedings  ==


Please refer to the [[ConferenceCall_2013_10_17|above]]  
Please refer to the [[ConferenceCall_2013_11_07|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-31_Concepts-Foundations-I/chat-transcript_unedited_20131031a.txt here].  
see raw transcript [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/chat-transcript_unedited_20131107a.txt here].  


(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].)
(for better clarity, the version below is a [http://ontolog.cim3.net/file/work/OntologyBasedStandards/2013-11-07_Ontology-based-Financial-Standards/chat-transcript_edited_20131107b.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 168: Line 178:
------
------


Chat transcript from room: ontolog_20131031
Chat transcript from room: ontolog_20131107


2013-10-31 GMT-08:00 [PDT]
2013-11-07 GMT-08:00 [PST]


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


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


''' [[RulesReasoningLP]]: mini-series session-02 - Thu 2013-10-31 '''  
''' [[OntologyBasedStandards]] mini-series session-06 - Thu 2013-11-07 '''  


Session Co-chairs: Dr. [[LeoObrst|Leo Obrst]] (Ontolog; MITRE) & Dr. [[HaroldBoley|Harold Boley]] ([[RuleML]]; U of New Brunswick)  
Session Co-chairs: Mr. [[MikeBennett|Mike Bennett]] (EDM Council) & Professor [[WilliamMcCarthy]] (Michigan State U)  


Topic: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I
Topic: Ontology-based Financial Standards: Some Ongoing Work


Panelists / Briefings:  
Panel / Briefings:  


* Dr. [[HaroldBoley|Harold Boley]] (University of New Brunswick; [[RuleML]]) - "From Data to Knowledge through Grailog Visualization"  
* Professor [[BillMcCarthy]] (Michigan State U) - "ISO 15944-4 (2nd edition) and the REA accounting ontology"  


* Dr. [[BenjaminGrosof|Benjamin Grosof]] (Benjamin Grosof & Associates) - "Hilog, Defeasibility, and the Foundations of Practical Meta Knowledge: A Brief Introduction"  
* Mr. [[DaveMcComb]] (Semantic Arts) - "Taming Complexity in the Financial Services Industry"  


* Professor [[GeorgGottlob|Georg Gottlob]] (Oxford) - "Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering"  
* Mr. [[MikeBennett|Mike Bennett]] (EDM Council) - "FIBO and Shared Semantics"
 
* Dr. [[ElieAbiLahoud]] (University College Cork, Ireland) - "On The Road to Regulatory Ontologies:
 
Expressing Regulations in Structured Natural Language - use of SBVR to create regulatory ontologies"
 
* Mr. [[JohnHall|John Hall]] (Model Systems, UK) - "Interpreting Regulation: some snippets from a methodology"  


Logistics:  
Logistics:  


* Refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31
* (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your RealName  
 
* (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your <nowiki>RealName</nowiki>


* Mute control (phone keypad): *7 to un-mute ... *6 to mute  
* Mute control (phone keypad): *7 to un-mute ... *6 to mute  
Line 216: Line 230:
*** 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.)  
*** 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: [[AlanRector|Alan Rector]], [[AlexShkotin|Alex Shkotin]], [[AliHashemi|Ali Hashemi]], [[AmandaVizedom|Amanda Vizedom]], [[BenjaminGrosof|Benjamin Grosof]], [[BobSmith|Bob Smith]],  
Please refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_07
 
Attendees: [[AdamWyner|Adam Wyner]], [[AlexShkotin|Alex Shkotin]], [[AmandaVizedom|Amanda Vizedom]], [[BartGajderowicz|Bart Gajderowicz]], [[BillMcCarthy]], [[BobbinTeegarden|Bobbin Teegarden]],
 
[[DaveMcComb]], [[DavidBooth|David Booth]], [[DennisWisnosky|Dennis Wisnosky]], [[DonaldChapin|Donald Chapin]], [[EdBernot|Ed Bernot]], [[ElieAbiLahoud]], [[ElisaKendall|Elisa Kendall]],
 
[[FrancescaQuattri|Francesca Quattri]], [[FrankOlken|Frank Olken]], [[GaryBergCross]], GenZou, [[IsabellaDistinto|Isabella Distinto]], [[JesperKiehn|Jesper Kiehn]], [[JoanneLuciano|Joanne Luciano]],
 
[[JohnMcClure]], [[JohnHall|John Hall]], [[LamarHenderson|Lamar Henderson]], [[MartinGladwell|Martin Gladwell]], [[MaxGillmore|Max Gillmore]], [[MichaelGruninger|Michael Gr&uuml;ninger]],
 
[[MichaelUschold|Michael Uschold]], [[MikeBennett|Mike Bennett]], [[PaulFodor|Paul Fodor]], [[PeterYim|Peter P. Yim]], [[RichardBeatch|Richard Beatch]], [[RichardMartin|Richard Martin]], [[SimonSpero|Simon Spero]],  
 
[[TaraAthan|Tara Athan]], [[ToddSchneider|Todd Schneider]],  
 
''' proceedings '''
 
[9:18] anonymous morphed into [[IsabellaDistinto|Isabella Distinto]]
 
[9:27] anonymous morphed into [[DaveMcComb]]
 
[9:27] anonymous morphed into [[RichardBeatch|Richard Beatch]]
 
[9:27] anonymous1 morphed into [[MartinGladwell|Martin Gladwell]]
 
[9:29] anonymous morphed into [[BartGajderowicz|Bart Gajderowicz]]
 
[9:31] anonymous morphed into [[JohnHall|John Hall]]
 
[9:32] anonymous morphed into [[FrancescaQuattri|Francesca Quattri]]
 
[9:32] anonymous1 morphed into [[ElieAbiLahoud]]
 
[9:33] [[FrancescaQuattri|Francesca Quattri]]: Hi Peter, It's me ... [thanks. =ppy]
 
[9:34] anonymous morphed into [[DavidBooth|David Booth]]
 
[9:34] anonymous1 morphed into [[MichaelUschold|Michael Uschold]]


[[BobbinTeegarden|Bobbin Teegarden]], [[BrandonWhitehead|Brandon Whitehead]], [[BrianHaugh|Brian Haugh]], [[ConradBock|Conrad Bock]], [[DennisPierson|Dennis Pierson]], [[ElieAbiLahoud]],
[9:34] anonymous morphed into [[JesperKiehn|Jesper Kiehn]]  


[[FranLightsom|Fran Lightsom]], [[FrancescaQuattri|Francesca Quattri]], GenZou, [[GeorgGottlob|Georg Gottlob]], [[HaroldBoley|Harold Boley]], [[HensonGraves|Henson Graves]], JuanSequeda,
[9:35] [[JoanneLuciano|Joanne Luciano]]: Hi Everyone!


[[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]],
[9:35] anonymous1 morphed into [[MaxGillmore|Max Gillmore]]  


[[SimonSpero|Simon Spero]], [[TaraAthan|Tara Athan]], [[ToddSchneider|Todd Schneider]],
[9:35] [[MikeBennett|Mike Bennett]]: sorry I changed windows in skype and can't find the dial pad again


''' Proceedings '''
[9:36] [[ElieAbiLahoud]]: in the menu under Call


[8:38] anonymous morphed into Conrad
[9:36] [[MikeBennett|Mike Bennett]]: Yes, once you go to another chat window the main skype window no longer shows


[9:19] anonymous morphed into [[BrandonWhitehead|Brandon Whitehead]]
the call. Found it in the end.


[9:27] [[PeterYim|Peter P. Yim]]: Hi everyone!
[9:36] anonymous morphed into [[DonaldChapin|Donald Chapin]]  


[9:27] [[PeterYim|Peter P. Yim]]: Hi [[AlanRector|Alan Rector]] ... does the vnc access (with the local viewer) work for you now?
[9:36] [[FrankOlken|Frank Olken]]: [[FrankOlken|Frank Olken]] is on the teleconference and chat room.  


[9:29] [[MikeDean|Mike Dean]] morphed into [[MikeDean|Mike Dean]]  
[9:38] [[JoanneLuciano|Joanne Luciano]]: the vnc is asking for a password VNC authication


[9:30] anonymous morphed into [[TaraAthan|Tara Athan]]  
[9:38] [[MikeBennett|Mike Bennett]]: ontolog


[9:31] Conrad morphed into [[ConradBock|Conrad Bock]]  
[9:38] [[JoanneLuciano|Joanne Luciano]]: thanks Mike!


[9:31] anonymous1 morphed into [[GeorgGottlob|Georg Gottlob]]  
[9:39] anonymous morphed into [[SimonSpero|Simon Spero]]  


[9:32] anonymous1 morphed into [[BobbinTeegarden|Bobbin Teegarden]]  
[9:39] anonymous1 morphed into [[JohnMcClure]]  


[9:32] anonymous morphed into [[FrancescaQuattri|Francesca Quattri]]  
[9:49] jkiehn morphed into [[JesperKiehn|Jesper Kiehn]]
 
[9:39] [[PeterYim|Peter P. Yim]]: == [[MikeBennett|Mike Bennett]] and [[BillMcCarthy]] starts the session - see slides at:
 
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_07#nid40I9
 
[9:40] List of members: [[AdamWyner|Adam Wyner]], [[AlexShkotin|Alex Shkotin]], [[AmandaVizedom|Amanda Vizedom]], [[BartGajderowicz|Bart Gajderowicz]], [[BillMcCarthy]],
 
[[DaveMcComb]], [[DavidBooth|David Booth]], [[DonaldChapin|Donald Chapin]], [[EdBernot|Ed Bernot]], [[ElieAbiLahoud]], [[FrancescaQuattri|Francesca Quattri]], [[FrankOlken|Frank Olken]], GenZou,
 
[[IsabellaDistinto|Isabella Distinto]], [[JesperKiehn|Jesper Kiehn]], [[JoanneLuciano|Joanne Luciano]], [[JohnMcClure]], [[JohnHall|John Hall]], [[MartinGladwell|Martin Gladwell]], [[MaxGillmore|Max Gillmore]],
 
[[MichaelUschold|Michael Uschold]], [[MichaelGruninger|Michael Gr&uuml;ninger]], [[MikeBennett|Mike Bennett]], [[PeterYim|Peter P. Yim]], [[RichardBeatch|Richard Beatch]], [[RichardMartin|Richard Martin]], [[SimonSpero|Simon Spero]],
 
[[TaraAthan|Tara Athan]], [[ToddSchneider|Todd Schneider]], vnc2
 
[9:51] [[ToddSchneider|Todd Schneider]]: We should avoid using the term 'meaning', it's misleading in the context of
 
the use of explicit semantics in information systems. 'Interpretation' is the more correct (and
 
descriptive) term.
 
[9:54] [[AlexShkotin|Alex Shkotin]]: @Todd, 'meaning' is logical term, 'interpretation' - maths. We need both:-)
 
[9:56] [[MikeBennett|Mike Bennett]]: Hmmmm...
 
[9:56] [[ToddSchneider|Todd Schneider]]: Alex, humans may make sense of 'meaning', computers interpret.
 
[9:58] [[AlexShkotin|Alex Shkotin]]: @Todd, and we have 'definition' in common;-)
 
[9:56] [[PeterYim|Peter P. Yim]]: == [[BillMcCarthy]] presenting ...
 
[10:01] [[JoanneLuciano|Joanne Luciano]]: [ re. [[BillMcCarthy]]'s slide#4 ] not clear what the different color in the
 
lines (and different types of lines) mean
 
[10:02] [[MikeBennett|Mike Bennett]]: @Joanne, Black = independent view; red = view as seen from within the firm and
 
reported in the accounts.
 
[10:08] [[MichaelUschold|Michael Uschold]]: [ re. [[BillMcCarthy]] slide#8 ] Does this mean Public Administration agents are
 
not Organizations? What definition of Organization excludes a Public Administration?
 
[10:10] [[MikeBennett|Mike Bennett]]: There's potential there for a more comprehensive ontology of organizations,
 
persons, legal persons, persons defined by their function (such as public admin; business etc.) and
 
so on, I think.
 
[10:13] [[JoanneLuciano|Joanne Luciano]]: feedback to presenter: arrows on dashed lines in slides 13 and 14 would help
 
the slide convey the static slide
 
[10:11] [[RichardBeatch|Richard Beatch]]: Mike, leaving granularity aside for now, are the categories here consistent
 
with FIBO? Do they need to be?
 
[10:15] [[MikeBennett|Mike Bennett]]: @Richard At present, no. Firstly, we model "Party" as a relative thing (some
 
entity in some role); and secondly we distinguish between legal persons, organizations, and things
 
which are both. Hence (per my note above) Public Administration would not be in the top level set.
 
We have autonomous agent (corresponds to ISO Person), split into legal person, human being and
 
organization; and separately we have entities defined by their function (business, non profit,
 
special purpose vehicles etc.). But it's a close fit.
 
[10:22] [[JoanneLuciano|Joanne Luciano]]: @MikeBennett re @Richard -- not consistent but a close fit? is that same_as
 
or different_from close but no cigar? :-) ... what are the implications of them not being
 
consistent? what doesn't work? what is gained with consistency? (interoperability?)
 
[10:23] [[MikeBennett|Mike Bennett]]: @Joanne a good example of the kind of thing I want to try to unpack in my
 
presentation :)
 
[10:23] [[MaxGillmore|Max Gillmore]]: I think that it would be perfectly possible to apply REA concepts to conversion
 
transactions (machine can be abstracted as an Agent)
 
[10:26] [[FrancescaQuattri|Francesca Quattri]]: really sorry to leave but I am knocked down by the late hour. Peter, do
 
you think we can reach a compromise with the world clock for the next sessions? Thanks to All
 
Presenters for the slides.
 
[10:49] [[PeterYim|Peter P. Yim]]: @FrancescaQuattri, ... the regular Ontolog event timing is almost an institution
 
(some community members actually carve out this time slot in their busy schedules to participate);
 
that said, the community collectively, makes the call ... let's discuss this offline ... noting
 
though, that "asynchronous" participation is already supported, in a significant way.
 
[10:28] [[PeterYim|Peter P. Yim]]: == [[DaveMcComb]] presenting ...
 
[10:30] [[JoanneLuciano|Joanne Luciano]]: [ re. [[DaveMcComb]]'s slide#5 ] @Dave - laughing at his joke - make you an offer
 
you can't understand
 
[10:30] [[MichaelUschold|Michael Uschold]]: Yeah, no laugh track, just is not the same :-)
 
[10:38] anonymous morphed into [[SimonSpero|Simon Spero]]
 
[10:38] [[MikeBennett|Mike Bennett]]: Hi Simon, you got a good mention on the previous presentation.
 
[10:40] [[SimonSpero|Simon Spero]]: @mike- yeah- tablet browser dropped me from chat, but Skype lives
 
[10:40] anonymous morphed into [[ElisaKendall|Elisa Kendall]]
 
[10:41] [[SimonSpero|Simon Spero]]: Gist (on the internet) is tied in to github :-)
 
[10:42] [[SimonSpero|Simon Spero]]: ( https://gist.github.com )
 
[10:41] [[MichaelUschold|Michael Uschold]]: FYI: The core of the REA model has a very natural and fairly direct mapping
 
to gist.


[9:36] anonymous morphed into [[BrianHaugh|Brian Haugh]]  
[10:42] [[JoanneLuciano|Joanne Luciano]]: +1 on reducing the complexity -- I like the way gist looks/sounds


[9:36] [[PeterYim|Peter P. Yim]]: == [[LeoObrst|Leo Obrst]] and [[HaroldBoley|Harold Boley]] starts the session ... see slides
[10:45] [[BobbinTeegarden|Bobbin Teegarden]]: Man as the anti-entropic force in the universe -- Dave's GIST is a great


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


[9:38] anonymous morphed into [[FrancescaQuattri|Francesca Quattri]]  
[10:43] [[MikeBennett|Mike Bennett]]: Things should be as simple as possible and no simpler. Hence the importance of


[9:40] [[PeterYim|Peter P. Yim]]: == [[HaroldBoley|Harold Boley]] presenting ...  
high level, atomic concepts I think.  


[9:41] [[DennisPierson|Dennis Pierson]] morphed into [[DennisPierson|Dennis Pierson]]  
[10:47] [[AmandaVizedom|Amanda Vizedom]]: I agree, with the caveat that maximum simplicity sometimes means using


[9:52] anonymous morphed into JuanSequeda
high-level atomic concepts and sometimes means using more specific ones. The Einstein quote


[10:05] [[SimonSpero|Simon Spero]]: @HaroldBoley: has there been any user studies/ cognitive modelling of how easily
(@MikeBennett [10:43]) has a corresponding principle regarding generality: Concepts and relations


these graphical notations are understood (before training, after n-hours training, n-days/weeks after training?)
should be asserted as generally as possible (at the most general level at which the relation you


[10:08] [[MikeBennett|Mike Bennett]]: @Simon I could not help thinking of the guy from Australia who presented at the
want to assert is true), and no more generally.


OMG in March about taking a more scientific approach to the graphics of modeling languages. Can't
[10:49] [[SimonSpero|Simon Spero]]: An employee, a customer and a pilot walk in to a bar


remember his name (anyone?)
[10:50] [[JoanneLuciano|Joanne Luciano]]: @Amanda - yes, to me, goes without saying, but at the same time, it's good to


[10:12] [[ElieAbiLahoud]]: @MikeBennett: Dr Daniel Moody,
have (re)stated so we know we agree. occam's razor


http://www.omg.org/news/meetings/tc/dc-13/special-events/Physics_Notations_Tutorial.htm
[10:50] [[AmandaVizedom|Amanda Vizedom]]: @[[DaveMcComb]]: Nice articulation of where the complexity comes from and how it


[10:12] [[MikeBennett|Mike Bennett]]: That's the guy! Ta.  
is amenable to reduction.  


[10:12] [[HaroldBoley|Harold Boley]]: @SimonSpero, I didn't use parallel ('control') groups but sequential groups
[10:55] [[AmandaVizedom|Amanda Vizedom]]: @Joanne: I mention it because I don't think it goes without saying -- I do


when teaching Semantic Web Techniques (http://www.cs.unb.ca/~boley/cs6795swt/notes.html), noticing
think that many here understand it, but in practice, people model both too specifically (which Dave


that recent student groups understood Semantic Web Logics better and faster than earlier
was mostly addressing) and too generally (choosing a high-level model that encumbers future


('pre-Grailog') groups attending this course (some with interdisciplinary background). Quantitative
extensions and models with expectations that may not fit.) I think that Dave's emphasis on the


studies should follow next, including colleagues from the Social Sciences. If you are interested,  
lightweight nature of the high-level notions probably is addressed to this, but as it wasn't


please do contact me.  
explicit, I thought it worth noting.  


[10:21] [[HaroldBoley|Harold Boley]]: @MikeBennett, Yngve Lamo does 'typing homomorphism' (linked from
[10:58] [[JoanneLuciano|Joanne Luciano]]: @AmandaVizedom, Nice articulation of Dave's nice articulation summarizing the


http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf, slide 115).
lessons learned from merging data in business applications and that it's useful to start with


[10:06] [[LeoObrst|Leo Obrst]]: Harold, can you describe how a modal expression would be depicted in Grailog?
understanding from SME and getting the gist. @ Amanda -- you're right. I was making an assumption in  


I.e.,with necessity/possibility operators.  
the context of the call. Glad that you made it explicit.  


[10:17] [[HaroldBoley|Harold Boley]]: @LeoObrst, modal expressions use complex nodes as shown in slides 104ff of the
[10:58] [[AmandaVizedom|Amanda Vizedom]]: Perhaps @[[DaveMcComb]] or @MichaelUschold can tell us if I'm right about that


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


[10:28] [[MikeBennett|Mike Bennett]]: Thanks @Harold that looks very interesting.
[11:05] [[MichaelUschold|Michael Uschold]]: TO Amanda: which aspect of gist?


[10:03] [[PeterYim|Peter P. Yim]]: == [[BenjaminGrosof|Benjamin Grosof]] presenting ...
[11:10] [[MichaelUschold|Michael Uschold]]: We have a gist introduction white paper that describes the design rationale


[10:17] [[PeterYim|Peter P. Yim]]: [Grosof: note - typo on slide#4 ... Benjamin: please update, and I will swap it in.]
of gist; if you cannot find it online, ping me.  


[11:29] [[PeterYim|Peter P. Yim]]: re: [10:17] the [[BenjaminGrosof|Benjamin Grosof]] slide deck has now been updated ... Thank you, Benjamin
[11:17] [[AmandaVizedom|Amanda Vizedom]]: @MichaelUschold - Thanks, I'll check it out.  


[10:19] [[HaroldBoley|Harold Boley]]: @Benjamin, 'backquote' is visualized with the (snipangle) 'instantiation' boxes
[11:10] [[MichaelUschold|Michael Uschold]]: A key thing about this is that it is small enough to get your head around


introduced of Grailog.
and actually start using, but specific enough to have a starting place for modelling almost anything


[10:21] [[SimonSpero|Simon Spero]]: The use of backtick threw me for a bit
that arises in a typical enterprise. Also specific enough in terms of axioms, to do useful


[10:21] [[SimonSpero|Simon Spero]]: [Also, KR macros are awesome]
consistency checking to catch errors.


{{{
[10:45] [[PeterYim|Peter P. Yim]]: == [[MikeBennett|Mike Bennett]] presenting ...  
[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?
}}}


[10:30] [[AmandaVizedom|Amanda Vizedom]]: +1 for Leo's question about contexts, or something (perhaps uses the "holds"
[10:45] anonymous morphed into [[JohnHall|John Hall]]  


trick) that leverages all of this great support and enables modularizing reasoning, or defining
[10:59] [[JoanneLuciano|Joanne Luciano]]: [ re. MikeBennett's slide#7 ] @Mike, "Relative thing" to me looks like "Role"


permitted paths of reasoning across contexts of various kinds, vs. non-permitted?
[11:06] [[MichaelUschold|Michael Uschold]]: [ re. MikeBennett's slide#16 ] @Mike, Is a FIBO Aspect like a part or


[10:48] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Leo's question on contexts: the truth value of the embedded
component of something, or more like a property or attribute of something?


argument is relative to the believer John, essentially.
[11:23] [[MikeBennett|Mike Bennett]]: @Michael not a component, more like an attribute or more accurately a side or


[10:26] [[AmandaVizedom|Amanda Vizedom]]: re: slide 6: Another (suggested but not stated) very important kind of
viewpoint. It's very underspecified at this point.


reasoning enabled by these KR tools: for federated data (including linked data) applications, not
[11:08] [[AmandaVizedom|Amanda Vizedom]]: @Michael: That the high-level aspects are lightweight, thus potentially


only *having* provenance but *using* provenance to tailor how information from different sources is
mitigating people's tendency to model too generally, as well as what Dave talked about explicitly


treated... and being able to capture & expose rules about *that* in the ontology/knowledge base.
wrt mitigation of modeling too specifically,


[10:32] [[AmandaVizedom|Amanda Vizedom]]: ... or defines 'contexts' in which rules, prioritizations, etc., apply?
[11:09] [[ElisaKendall|Elisa Kendall]]: @Joanne @Mike regarding relative thing looking like role -- for the most part


[10:52] [[BenjaminGrosof|Benjamin Grosof]]: +1 to Amanda's comment about using provenance.
in the current ontology, we're restricting Mike's notion of relative things exactly to parties in a


[10:34] [[ConradBock|Conrad Bock]]: Does well-founded LP fit in somewhere?
role -- so, for example, with regards to parties in the context of a trust agreement, we have


[10:50] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Conrad's question: LP and its extension Rulelog discussed here is
trustor, trustee, beneficiary, all of which are parties to the trust agreement and have identity of


under well founded semantics, cf. my survey presentation on 10/24/2013 Ontolog Forum session
an independent party (beneficiaries in particular don't need to be legal persons, but can include minors, etc.).  


- ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24#nid3ZSA
[11:12] [[SimonSpero|Simon Spero]]: @MikeBennett: contract has fairly specific meaning in law. A


[10:51] [[BenjaminGrosof|Benjamin Grosof]]: That's the semantics most frequently used due to good computational
[11:13] [[SimonSpero|Simon Spero]]: essential feature is that it is legally enforceable


complexity and algorithmic characteristics.  
[11:14] [[MikeBennett|Mike Bennett]]: @Simon precisely. This is why it makes the whole model simpler if you don't


[10:39] [[ElieAbiLahoud]]: Thank you Benjamin and Harold. I'am afraid I have to drop-off now.  
regard agreement and contract as the same kind of thing.  


[10:38] [[PeterYim|Peter P. Yim]]: == [[GeorgGottlob|Georg Gottlob]] presenting ...  
[11:14] [[PeterYim|Peter P. Yim]]: @[[BillMcCarthy]], @MikeBennett - [ re. MikeBennett's slide#17 ] is there an adequate


[11:05] [[BenjaminGrosof|Benjamin Grosof]]: wrt Georg's slide 30: note that stratified naf ("negation as failure") is a
mapping (or harmonization) between "transactions" concepts in REA and XBRL


special case of well founded semantics, and also a special case of stable semantics / answer set semantics.
[11:15] [[MikeBennett|Mike Bennett]]: @Peter we had just started to look at the formal mapping into XBRL when we


[11:06] [[LeoObrst|Leo Obrst]]: @Georg: on slide 9, is linear datalog related to linear logic?
temporarily suspended this series of calls to focus on other more immediate technical issues. We


[11:18] [[GeorgGottlob|Georg Gottlob]]: @Leo: "linear" here is not related to linear logic; it just means only one
intend to fiure out how to align these concepts with XBRL-GL and we are confident that the use of


atom in rule bodies
the Aspect concept makes this possible.


[11:09] [[PeterYim|Peter P. Yim]]: === GiorgioOrsi (one of GeorgGottlob's postdocs) saying a few words about his
[11:17] [[PeterYim|Peter P. Yim]]: @MikeBennett - would it be easier to have FIBO be grounded on a single Ontology


implementation of Datalog+/- ... re. slide#37
(say REA) and *then* map to other system/ontology(s)?


[11:11] [[PeterYim|Peter P. Yim]]: == Q&A and Open Discussion ...  
[11:18] [[MikeBennett|Mike Bennett]]: @Peter that's the original intent of the FIBO Foundational ontology components.  


[11:09] [[AmandaVizedom|Amanda Vizedom]]: @BenjaminGrosof: What tooling exists that implements / supports working with Hilog?
REA concepts live in a specific context, though we were able to promote a number of those terms to a


[11:11] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Amanda question about Hilog tooling:
broader context.


[11:11] [[BenjaminGrosof|Benjamin Grosof]]: A number of systems support restricted Hilog. E.g., Jena permits variables
[11:19] [[MikeBennett|Mike Bennett]]: What I hope to have shown is that there is potential to do this kind of thing


in predicate position.  
more broadly across semantic-based standards communities.  


[11:12] [[BenjaminGrosof|Benjamin Grosof]]: The most sophisticated implementation is in Flora-2, used in Coherent
[11:11] [[PeterYim|Peter P. Yim]]: == [[ElieAbiLahoud]] presenting ...


Knowledge Systems software commercially now. (By most sophisticated: I mean both expressive and
[11:15] [[AmandaVizedom|Amanda Vizedom]]: Aside: Something I like about all of these presentations: The modeling


efficient. Coherent has a proprietary extension of Flora-2.)
approaches are explicitly *both* realistic *and* multi-perspectival. I think that this is probably


[11:37] [[BenjaminGrosof|Benjamin Grosof]]: More answer to [[AmandaVizedom|Amanda Vizedom]] question about tools for Hilog: There are two
the only way to adequately model a complex domain with multiple actor-types, each with its own view


aspects: engine and UI. Engine techniques for handling functions come from Prolog (LP) and FOL.  
on (part of) the domain. It is worth calling out an applauding as a practical approach, however,


Unification is important. LP uses tries for indexing and "tabling" for efficiency/termination. State
because it resists the methodological pressures from certain corners of the field to either reject


of the art on tabling is in XSB and Flora-2, then extended proprietarily wrt Hilog in Coherent
any talk of an underlying reality (and talk only of conceptualizations) or to reject the need for,  


Knowledge Systems software. Coherent also supports Hilog, esp. for textual logic (see Ontolog Forum
or validity of, multiple perspectives on a domain.  


6/20/2013 session - ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_20 ) with
[11:23] [[SimonSpero|Simon Spero]]: would like to come back to the sources - as warrants and authority: There's CFR


particular features in its proprietary (but available) UI and so to an extent did the UI in the
and USC, where CFR authority must be found in the USC (and scope of definitions can be a common


earlier Vulcan's SILK (code not available publicly, team disbanded).
source of income for DC Circuit lawyers


[11:13] [[AlexShkotin|Alex Shkotin]]: Are there any use cases of usage of that languages in any domain areas?
[11:26] [[PeterYim|Peter P. Yim]]: == [[JohnHall|John Hall]] presenting ...


[11:19] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Alex question: yes, there have been many usages of Hilog.
[11:31] [[MikeBennett|Mike Bennett]]: @Simon I think there's a lot of scope for taking concepts that we simply put in


[11:20] [[AlexShkotin|Alex Shkotin]]: @Benjamin, do you have a storage of Hilog ontologies. Just not to do twice:-)
the taxonomic hierarchy, and putting more legal and social constructs around them. Ultimately we


[11:28] [[BenjaminGrosof|Benjamin Grosof]]: Answer to Alex question on storage of Hilog ontologies: I don't understand the question.  
should be able to use Searle's ontology of social constructs to do justice to most of those.  


[11:29] [[AlexShkotin|Alex Shkotin]]: @Benjamin, like repository to download Hilog ontologies.
[11:32] [[SimonSpero|Simon Spero]]: Mike: this is what I'm talking about


[11:39] [[AlexShkotin|Alex Shkotin]]: I just have asked about Hilog ontologies repository as we have for OWL 2.
[11:36] [[SimonSpero|Simon Spero]]: [Ejusdem generis]


[11:31] [[SimonSpero|Simon Spero]]: Alex: http://flora.sourceforge.net/
[11:42] [[PeterYim|Peter P. Yim]]: == Wrap up ...  


[11:31] [[SimonSpero|Simon Spero]]: @Benjamin: why SVN in 2013, instead of a Github repo?
[11:43] [[JohnMcClure]]: [ tried making a verbal remark, but was on mute, and we ran out of time ] too bad


[11:24] [[AlexShkotin|Alex Shkotin]]: If we have some knowledge representation as text (for ex. on CNL) we can
[11:44] [[JohnMcClure]]: REA model is missing public goods, externalities and open source


compare different formal languages as a tools to use. For ex. we convert DB to CNL and then to OWL2:-)
[11:44] [[PeterYim|Peter P. Yim]]: let's do our Q&A and open discussion asynchronously on the


[11:27] [[AlexShkotin|Alex Shkotin]]: So CNL representation of a knowledge may be most general against formal languages.
[ontology-based-standards] mailing list - see:  


[11:35] [[PeterYim|Peter P. Yim]]: Join us again, same time next week (Thu 2013-11-07) for the [[OntologyBasedStandards]] mini-series
http://ontolog.cim3.net/mailman/listinfo/ontology-based-standards


session-06 on "Ontology-based Financial Standards" co-championed by [[MikeBennett|Mike Bennett]], [[BillMcCarthy]] and [[ElieAbiLahoud]]  
[11:44] [[PeterYim|Peter P. Yim]]: Join us again, in two weeks (Thu 2013_11_21) for the [[RulesReasoningLP]] mini-series


[11:36] [[PeterYim|Peter P. Yim]] / [[LeoObrst|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


session-03: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic,
Semantic Web - II - Co-chairs: [[LeoObrst|Leo Obrst]] & [[PascalHitzler|Pascal Hitzler]]


and Semantic Web - II - Co-chairs: [[LeoObrst|Leo Obrst]] & [[PascalHitzler|Pascal Hitzler]]  
[11:45] [[PeterYim|Peter P. Yim]]: next in this series - 2013_12_12 - Thursday: [[OntologyBasedStandards]] mini-series


[11:36] [[LeoObrst|Leo Obrst]]: Thanks, All!
session-07: "How ontologies can help with the formal specification of the natural language


[11:37] [[PeterYim|Peter P. Yim]]: great session!
standards" - co-champions: [[SimonSpero|Simon Spero]], [[User:KennethBaclawski|Ken Baclawski]], [[RichardMartin|Richard Martin]], [[AdamWyner|Adam Wyner]], [[MarkJohnson|Mark Johnson]]  


[11:37] [[AlexShkotin|Alex Shkotin]]: Thanks
[11:46] [[JohnMcClure]]: thanks peter and presenters! great info


[11:42] [[AlexShkotin|Alex Shkotin]]: C u
[11:46] [[AlexShkotin|Alex Shkotin]]: Great plans! Bye.


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


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


* '''Further Question & Remarks''' - please post them to the [ [http://ontolog.cim3.net/forum/ontolog-forum/ ontolog-forum] ] listserv  
* '''Further Question & Remarks''' - please post them to the [ [http://ontolog.cim3.net/forum/ontology-based-standards/ ontology-based-standards] ] listserv  
** if you are already subscribed, post to <ontolog-forum [at] ontolog.cim3.net>  
** if you are already subscribed, post to <ontology-based-standards [at] ontolog.cim3.net>  
** (in case you aren't already a member) do consider joining the [[ONTOLOG]] community and be subscribed to the [ [http://ontolog.cim3.net/forum/ontolog-forum/ 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  
*** if not your can subscribe at the [ontology-based-standards] listinfo page at: http://ontolog.cim3.net/mailman/listinfo/ontology-based-standards
** (in case you aren't already a member) you may also want to join the [[ONTOLOG]] community and be subscribed to the [ [http://ontolog.cim3.net/forum/ontolog-forum/ ontolog-forum] ] listserv, when general ontology-related topics (not specific to this year's Summit theme) are discussed. Please refer to Ontolog membership details at: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J  
*** kindly email <peter.yim@cim3.com> if you have any question.  
*** kindly email <peter.yim@cim3.com> if you have any question.  


== Additional Resources  ==
== Additional Resources  ==


* '''Homepage for this [[RulesReasoningLP]] mini-series''': http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP
* [[OntologyBasedStandards]] mini-series homepage - '''[[OntologyBasedStandards]]'''
** Proceedings from the [[RulesReasoningLP]] mini-series Launch Event - http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24
** developing program for this miniseries - ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologyBasedStandards#nid3YS5
** 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
* [ontology-based-standards] mailing list - http://ontolog.cim3.net/mailman/listinfo/ontology-based-standards
* Homepage of the Ontology Summits - see: [[OntologySummit|Ontology Summit]]
* Homepage of the [[Ontolog]] Community - see: http://ontolog.cim3.net/wiki
** [[Ontolog]] News and Announcements: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nidW
** Archives of noteworthy past event of the [[Ontolog]] Community: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nidZ
** [[Ontolog]] Community Membership information: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J


----
----
Line 473: Line 636:
== 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_31#nid3ZTK
* '''1.''' Call in from a phone or from skype: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_07#nid40IK
* '''2.''' Open chat-workspace in a new browser window: http://webconf.soaphub.org/conf/room/ontolog_20131031
* '''2.''' Open chat in a new browser window: http://webconf.soaphub.org/conf/room/ontolog_20131107
* '''3.''' Download presentations for each speaker here: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31#nid3ZT9
* '''3.''' Download presentations for each speaker: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_07#nid40I9
** or, '''3.1''' optionally, [[ConferenceCall_2013_10_31|access our shared-screen vnc server]], if you are not behind a corporate firewall  
** or, '''3.1''' (access our shared-screen [[ConferenceCall_2013_11_07|vnc server]], if you are not behind a corporate firewall)


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









Latest revision as of 06:45, 9 January 2016

OntologyBasedStandards mini-series session-06 - Thu 2013-11-07

Session Co-chairs: Mr. MikeBennett (EDM Council) & Professor WilliamMcCarthy (Michigan State U) ... intro slides

Topic: Ontology-based Financial Standards: Some Ongoing Work

Panel / Briefings:

  • Professor BillMcCarthy (Michigan State U) - "ISO 15944-4 (2nd edition) and the REA accounting ontology" slides
  • Mr. DaveMcComb (Semantic Arts) - "Taming Complexity in the Financial Services Industry" slides
  • Mr. MikeBennett (EDM Council) - "FIBO and Shared Semantics" slides
  • Dr. ElieAbiLahoud (University College Cork, Ireland) - "On The Road to Regulatory Ontologies: Expressing Regulations in Structured Natural Language - use of SBVR to create regulatory ontologies" slides
  • Mr. JohnHall (Model Systems, UK) - "Interpreting Regulation: some snippets from a methodology" slides

Archives

Conference Call Details

  • Date: Thursday, 7-Nov-2013
  • Start Time: 9:30am PST / 12:30pm EST / 6:30pm CST / 1730 GMT/UTC
  • Expected Call Duration: ~2.0 hours
  • Dial-in:
    • Phone (US): +1 (206) 402-0100 ... Conference ID: 141184# ... (long distance cost may apply)
    • 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_20131107
    • 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_20131107@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

Ontology-based Financial Standards: Some Ongoing Work - intro slides

As with the recent session-04: The Case for a "Quantities and Units of Measure" Ontology Standard and session-05: "Ontology-based Standards in Geospatial Domains", this is a continuation of the OntologyBasedStandards mini-series that was started in late 2012 as a collaborative effort by ONTOLOG, IAOA, OASIS, OMG, various ISO working groups and the OOR Initiative. This session, is part of a program of 8 topics, which are planned to be held over the remaining time in 2013, and partly in 2014.

At this session, we will be providing an introduction and overview into some current and developing financial industry standards, where ontologies and their applications are involved - using the FIBO conceptual framework to align across standards semantics; ISO 15944 transaction semantics; Regulatory ontology applications, etc. Briefings by the panel will be followed by Q & A and an open discussion of issues.

For more detail on the mini-series please also refer to details on the OntologyBasedStandards mini-series homepage.

Briefings

  • Professor BillMcCarthy (Michigan State U) - "ISO 15944-4 (2nd edition) and the REA accounting ontology" slides
    • Abstract: The REA (Resource-Event-Agent) enterprise ontology originated in the field of accounting (with an emphasis on accountability for "what has occurred in an economic and financial sense"), but its use has expanded to include all the necessary components for a full business process model at multiple levels of abstraction and across multiple dimensions of time.
    • REA is presently used in ERP systems like Workday, but the exposition in this presentation will concentrate on its interoperability use as an economic and accounting interoperability standard, as specified in ISO 15944-4. Additionally, Professor McCarthy will discuss the monograph project commissioned by the American Accounting Association (the leading worldwide accounting research organization) that fully explains the conceptual foundation for the REA ontology components.
  • Mr. DaveMcComb (Semantic Arts) - "Taming Complexity in the Financial Services Industry" slides
    • Abstract: The Financial Services Industry has become incredibly complex. It is routine for firms to have hundreds of thousands of attributes in the sum total of their various systems. It is safe to say that no one in any of these firms understands the depth and breadth of this complexity.
    • It is our job, as ontologists, to make the data sphere of our clients and/or employers a tractable landscape. We believe it is up to us to understand the complexity, and having understood it, reduce it to its logical minimum. We're going to discuss some techniques and experiences we've had recently with two financial services firms and a State Agency, that show how semantic technology can be applied to the problem of bringing this complexity down to scale.
  • Mr. MikeBennett (EDM Council) - "FIBO and Shared Semantics" slides
    • Abstract: Mike Bennett will describe the "Financial Industry Business Ontology (FIBO)" conceptual modeling framework, and will illustrate how this is used to reconcile and re-use terms across different industry standards and ontologies. This talk will focus on the work done to represent the REA concepts for transactions within the FIBO framework and how this framework is used to reconcile these terms with the concepts in double entry accounting and XBRL.
  • Dr. ElieAbiLahoud (University College Cork, Ireland) - "On The Road to Regulatory Ontologies: Expressing Regulations in Structured Natural Language - use of SBVR to create regulatory ontologies" slides
    • Abstract: Elie will describe how the Governance Risk and Compliance Technology Centre (University College Cork) leverages "Semantics of Business Vocabulary and Business Rules (SBVR)" to interpret financial services regulations and create regulatory ontologies. He will illustrate the role of Subject Matter Experts in addressing challenges in "consuming" regulations and discuss the approach and its potential benefits & applications.
  • Mr. JohnHall (Model Systems, UK) - "Interpreting Regulation: some snippets from a methodology" slides
    • Abstract: This session presents some illustrations from a methodology for interpretation of published regulations, formalizing the language while still retaining content in business-friendly English. The methodology uses SBVR and is being developed in a collaboration between the Governance, Risk and Compliance Technology Centre (GRCTC), based at University College Cork, Ireland, Model Systems and Business Semantics Ltd. Examples are drawn from US Regulations for Anti-Money Laundering.

Agenda

OntologyBasedStandards Mini-series Panel Session-06

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_20131107

2013-11-07 GMT-08:00 [PST]


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

OntologyBasedStandards mini-series session-06 - Thu 2013-11-07

Session Co-chairs: Mr. Mike Bennett (EDM Council) & Professor WilliamMcCarthy (Michigan State U)

Topic: Ontology-based Financial Standards: Some Ongoing Work

Panel / Briefings:

  • Professor BillMcCarthy (Michigan State U) - "ISO 15944-4 (2nd edition) and the REA accounting ontology"
  • Mr. DaveMcComb (Semantic Arts) - "Taming Complexity in the Financial Services Industry"
  • Mr. Mike Bennett (EDM Council) - "FIBO and Shared Semantics"
  • Dr. ElieAbiLahoud (University College Cork, Ireland) - "On The Road to Regulatory Ontologies:

Expressing Regulations in Structured Natural Language - use of SBVR to create regulatory ontologies"

  • Mr. John Hall (Model Systems, UK) - "Interpreting Regulation: some snippets from a methodology"

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

Please refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_07

Attendees: Adam Wyner, Alex Shkotin, Amanda Vizedom, Bart Gajderowicz, BillMcCarthy, Bobbin Teegarden,

DaveMcComb, David Booth, Dennis Wisnosky, Donald Chapin, Ed Bernot, ElieAbiLahoud, Elisa Kendall,

Francesca Quattri, Frank Olken, GaryBergCross, GenZou, Isabella Distinto, Jesper Kiehn, Joanne Luciano,

JohnMcClure, John Hall, Lamar Henderson, Martin Gladwell, Max Gillmore, Michael Grüninger,

Michael Uschold, Mike Bennett, Paul Fodor, Peter P. Yim, Richard Beatch, Richard Martin, Simon Spero,

Tara Athan, Todd Schneider,

proceedings

[9:18] anonymous morphed into Isabella Distinto

[9:27] anonymous morphed into DaveMcComb

[9:27] anonymous morphed into Richard Beatch

[9:27] anonymous1 morphed into Martin Gladwell

[9:29] anonymous morphed into Bart Gajderowicz

[9:31] anonymous morphed into John Hall

[9:32] anonymous morphed into Francesca Quattri

[9:32] anonymous1 morphed into ElieAbiLahoud

[9:33] Francesca Quattri: Hi Peter, It's me ... [thanks. =ppy]

[9:34] anonymous morphed into David Booth

[9:34] anonymous1 morphed into Michael Uschold

[9:34] anonymous morphed into Jesper Kiehn

[9:35] Joanne Luciano: Hi Everyone!

[9:35] anonymous1 morphed into Max Gillmore

[9:35] Mike Bennett: sorry I changed windows in skype and can't find the dial pad again

[9:36] ElieAbiLahoud: in the menu under Call

[9:36] Mike Bennett: Yes, once you go to another chat window the main skype window no longer shows

the call. Found it in the end.

[9:36] anonymous morphed into Donald Chapin

[9:36] Frank Olken: Frank Olken is on the teleconference and chat room.

[9:38] Joanne Luciano: the vnc is asking for a password VNC authication

[9:38] Mike Bennett: ontolog

[9:38] Joanne Luciano: thanks Mike!

[9:39] anonymous morphed into Simon Spero

[9:39] anonymous1 morphed into JohnMcClure

[9:49] jkiehn morphed into Jesper Kiehn

[9:39] Peter P. Yim: == Mike Bennett and BillMcCarthy starts the session - see slides at:

http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_07#nid40I9

[9:40] List of members: Adam Wyner, Alex Shkotin, Amanda Vizedom, Bart Gajderowicz, BillMcCarthy,

DaveMcComb, David Booth, Donald Chapin, Ed Bernot, ElieAbiLahoud, Francesca Quattri, Frank Olken, GenZou,

Isabella Distinto, Jesper Kiehn, Joanne Luciano, JohnMcClure, John Hall, Martin Gladwell, Max Gillmore,

Michael Uschold, Michael Grüninger, Mike Bennett, Peter P. Yim, Richard Beatch, Richard Martin, Simon Spero,

Tara Athan, Todd Schneider, vnc2

[9:51] Todd Schneider: We should avoid using the term 'meaning', it's misleading in the context of

the use of explicit semantics in information systems. 'Interpretation' is the more correct (and

descriptive) term.

[9:54] Alex Shkotin: @Todd, 'meaning' is logical term, 'interpretation' - maths. We need both:-)

[9:56] Mike Bennett: Hmmmm...

[9:56] Todd Schneider: Alex, humans may make sense of 'meaning', computers interpret.

[9:58] Alex Shkotin: @Todd, and we have 'definition' in common;-)

[9:56] Peter P. Yim: == BillMcCarthy presenting ...

[10:01] Joanne Luciano: [ re. BillMcCarthy's slide#4 ] not clear what the different color in the

lines (and different types of lines) mean

[10:02] Mike Bennett: @Joanne, Black = independent view; red = view as seen from within the firm and

reported in the accounts.

[10:08] Michael Uschold: [ re. BillMcCarthy slide#8 ] Does this mean Public Administration agents are

not Organizations? What definition of Organization excludes a Public Administration?

[10:10] Mike Bennett: There's potential there for a more comprehensive ontology of organizations,

persons, legal persons, persons defined by their function (such as public admin; business etc.) and

so on, I think.

[10:13] Joanne Luciano: feedback to presenter: arrows on dashed lines in slides 13 and 14 would help

the slide convey the static slide

[10:11] Richard Beatch: Mike, leaving granularity aside for now, are the categories here consistent

with FIBO? Do they need to be?

[10:15] Mike Bennett: @Richard At present, no. Firstly, we model "Party" as a relative thing (some

entity in some role); and secondly we distinguish between legal persons, organizations, and things

which are both. Hence (per my note above) Public Administration would not be in the top level set.

We have autonomous agent (corresponds to ISO Person), split into legal person, human being and

organization; and separately we have entities defined by their function (business, non profit,

special purpose vehicles etc.). But it's a close fit.

[10:22] Joanne Luciano: @MikeBennett re @Richard -- not consistent but a close fit? is that same_as

or different_from close but no cigar? :-) ... what are the implications of them not being

consistent? what doesn't work? what is gained with consistency? (interoperability?)

[10:23] Mike Bennett: @Joanne a good example of the kind of thing I want to try to unpack in my

presentation :)

[10:23] Max Gillmore: I think that it would be perfectly possible to apply REA concepts to conversion

transactions (machine can be abstracted as an Agent)

[10:26] Francesca Quattri: really sorry to leave but I am knocked down by the late hour. Peter, do

you think we can reach a compromise with the world clock for the next sessions? Thanks to All

Presenters for the slides.

[10:49] Peter P. Yim: @FrancescaQuattri, ... the regular Ontolog event timing is almost an institution

(some community members actually carve out this time slot in their busy schedules to participate);

that said, the community collectively, makes the call ... let's discuss this offline ... noting

though, that "asynchronous" participation is already supported, in a significant way.

[10:28] Peter P. Yim: == DaveMcComb presenting ...

[10:30] Joanne Luciano: [ re. DaveMcComb's slide#5 ] @Dave - laughing at his joke - make you an offer

you can't understand

[10:30] Michael Uschold: Yeah, no laugh track, just is not the same :-)

[10:38] anonymous morphed into Simon Spero

[10:38] Mike Bennett: Hi Simon, you got a good mention on the previous presentation.

[10:40] Simon Spero: @mike- yeah- tablet browser dropped me from chat, but Skype lives

[10:40] anonymous morphed into Elisa Kendall

[10:41] Simon Spero: Gist (on the internet) is tied in to github :-)

[10:42] Simon Spero: ( https://gist.github.com )

[10:41] Michael Uschold: FYI: The core of the REA model has a very natural and fairly direct mapping

to gist.

[10:42] Joanne Luciano: +1 on reducing the complexity -- I like the way gist looks/sounds

[10:45] Bobbin Teegarden: Man as the anti-entropic force in the universe -- Dave's GIST is a great

example of just that.

[10:43] Mike Bennett: Things should be as simple as possible and no simpler. Hence the importance of

high level, atomic concepts I think.

[10:47] Amanda Vizedom: I agree, with the caveat that maximum simplicity sometimes means using

high-level atomic concepts and sometimes means using more specific ones. The Einstein quote

(@MikeBennett [10:43]) has a corresponding principle regarding generality: Concepts and relations

should be asserted as generally as possible (at the most general level at which the relation you

want to assert is true), and no more generally.

[10:49] Simon Spero: An employee, a customer and a pilot walk in to a bar

[10:50] Joanne Luciano: @Amanda - yes, to me, goes without saying, but at the same time, it's good to

have (re)stated so we know we agree. occam's razor

[10:50] Amanda Vizedom: @DaveMcComb: Nice articulation of where the complexity comes from and how it

is amenable to reduction.

[10:55] Amanda Vizedom: @Joanne: I mention it because I don't think it goes without saying -- I do

think that many here understand it, but in practice, people model both too specifically (which Dave

was mostly addressing) and too generally (choosing a high-level model that encumbers future

extensions and models with expectations that may not fit.) I think that Dave's emphasis on the

lightweight nature of the high-level notions probably is addressed to this, but as it wasn't

explicit, I thought it worth noting.

[10:58] Joanne Luciano: @AmandaVizedom, Nice articulation of Dave's nice articulation summarizing the

lessons learned from merging data in business applications and that it's useful to start with

understanding from SME and getting the gist. @ Amanda -- you're right. I was making an assumption in

the context of the call. Glad that you made it explicit.

[10:58] Amanda Vizedom: Perhaps @DaveMcComb or @MichaelUschold can tell us if I'm right about that

aspect of gist.

[11:05] Michael Uschold: TO Amanda: which aspect of gist?

[11:10] Michael Uschold: We have a gist introduction white paper that describes the design rationale

of gist; if you cannot find it online, ping me.

[11:17] Amanda Vizedom: @MichaelUschold - Thanks, I'll check it out.

[11:10] Michael Uschold: A key thing about this is that it is small enough to get your head around

and actually start using, but specific enough to have a starting place for modelling almost anything

that arises in a typical enterprise. Also specific enough in terms of axioms, to do useful

consistency checking to catch errors.

[10:45] Peter P. Yim: == Mike Bennett presenting ...

[10:45] anonymous morphed into John Hall

[10:59] Joanne Luciano: [ re. MikeBennett's slide#7 ] @Mike, "Relative thing" to me looks like "Role"

[11:06] Michael Uschold: [ re. MikeBennett's slide#16 ] @Mike, Is a FIBO Aspect like a part or

component of something, or more like a property or attribute of something?

[11:23] Mike Bennett: @Michael not a component, more like an attribute or more accurately a side or

viewpoint. It's very underspecified at this point.

[11:08] Amanda Vizedom: @Michael: That the high-level aspects are lightweight, thus potentially

mitigating people's tendency to model too generally, as well as what Dave talked about explicitly

wrt mitigation of modeling too specifically,

[11:09] Elisa Kendall: @Joanne @Mike regarding relative thing looking like role -- for the most part

in the current ontology, we're restricting Mike's notion of relative things exactly to parties in a

role -- so, for example, with regards to parties in the context of a trust agreement, we have

trustor, trustee, beneficiary, all of which are parties to the trust agreement and have identity of

an independent party (beneficiaries in particular don't need to be legal persons, but can include minors, etc.).

[11:12] Simon Spero: @MikeBennett: contract has fairly specific meaning in law. A

[11:13] Simon Spero: essential feature is that it is legally enforceable

[11:14] Mike Bennett: @Simon precisely. This is why it makes the whole model simpler if you don't

regard agreement and contract as the same kind of thing.

[11:14] Peter P. Yim: @BillMcCarthy, @MikeBennett - [ re. MikeBennett's slide#17 ] is there an adequate

mapping (or harmonization) between "transactions" concepts in REA and XBRL

[11:15] Mike Bennett: @Peter we had just started to look at the formal mapping into XBRL when we

temporarily suspended this series of calls to focus on other more immediate technical issues. We

intend to fiure out how to align these concepts with XBRL-GL and we are confident that the use of

the Aspect concept makes this possible.

[11:17] Peter P. Yim: @MikeBennett - would it be easier to have FIBO be grounded on a single Ontology

(say REA) and *then* map to other system/ontology(s)?

[11:18] Mike Bennett: @Peter that's the original intent of the FIBO Foundational ontology components.

REA concepts live in a specific context, though we were able to promote a number of those terms to a

broader context.

[11:19] Mike Bennett: What I hope to have shown is that there is potential to do this kind of thing

more broadly across semantic-based standards communities.

[11:11] Peter P. Yim: == ElieAbiLahoud presenting ...

[11:15] Amanda Vizedom: Aside: Something I like about all of these presentations: The modeling

approaches are explicitly *both* realistic *and* multi-perspectival. I think that this is probably

the only way to adequately model a complex domain with multiple actor-types, each with its own view

on (part of) the domain. It is worth calling out an applauding as a practical approach, however,

because it resists the methodological pressures from certain corners of the field to either reject

any talk of an underlying reality (and talk only of conceptualizations) or to reject the need for,

or validity of, multiple perspectives on a domain.

[11:23] Simon Spero: would like to come back to the sources - as warrants and authority: There's CFR

and USC, where CFR authority must be found in the USC (and scope of definitions can be a common

source of income for DC Circuit lawyers

[11:26] Peter P. Yim: == John Hall presenting ...

[11:31] Mike Bennett: @Simon I think there's a lot of scope for taking concepts that we simply put in

the taxonomic hierarchy, and putting more legal and social constructs around them. Ultimately we

should be able to use Searle's ontology of social constructs to do justice to most of those.

[11:32] Simon Spero: Mike: this is what I'm talking about

[11:36] Simon Spero: [Ejusdem generis]

[11:42] Peter P. Yim: == Wrap up ...

[11:43] JohnMcClure: [ tried making a verbal remark, but was on mute, and we ran out of time ] too bad

[11:44] JohnMcClure: REA model is missing public goods, externalities and open source

[11:44] Peter P. Yim: let's do our Q&A and open discussion asynchronously on the

[ontology-based-standards] mailing list - see:

http://ontolog.cim3.net/mailman/listinfo/ontology-based-standards

[11:44] Peter P. Yim: Join us again, in two weeks (Thu 2013_11_21) for the 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:45] Peter P. Yim: next in this series - 2013_12_12 - Thursday: OntologyBasedStandards mini-series

session-07: "How ontologies can help with the formal specification of the natural language

standards" - co-champions: Simon Spero, Ken Baclawski, Richard Martin, Adam Wyner, Mark Johnson

[11:46] JohnMcClure: thanks peter and presenters! great info

[11:46] Alex Shkotin: Great plans! Bye.

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

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

Additional Resources


For the record ...

How To Join (while the session is in progress)