Actions

RulesReasoningLP and ConferenceCall 2023 03 01: Difference between pages

Ontolog Forum

(Difference between pages)
No edit summary
 
Tag: Manual revert
 
Line 1: Line 1:
= Ontology, Rules, and Logic Programming for Reasoning and Applications (<nowiki>RulesReasoningLP</nowiki>) - Miniseries Homepage  =
{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Panel]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::01 Mar 2023 17:00 GMT]]
|-
| 9:00am PST/12:00pm EST
|-
| 5:00pm GMT/6:00pm CST
|-
! scope="row" | Convener
| [[convener::GaryBergCross|Gary Berg-Cross]]
|}


This mini-series of virtual panel sessions, and the associated online discourse, are co-championed by some members of the Ontolog community program 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, Reasoning, Logic Programming and Applications."
= [[OntologySummit2023|Ontology Summit 2023]] {{#show:{{PAGENAME}}|?session}} =
{{:OntologySummit2023/Description}}


== What's New  ==
== Agenda ==
* '''[[GaryBergCross|Gary Berg-Cross]]'''
** ''Some Context for the Panel''
** [https://bit.ly/3J4Kq35 Slides]
* Panel Discussion moderated by '''[[JamesOverton|James Overton]]'''
** '''[[KrzysztofJanowicz|Krzysztof Janowicz]]'''
** '''[[ChrisMungall|Chris Mungall]]'''
** '''[[CoganMatthewShimizu|Cogan Matthew Shimizu]]'''
* [https://bit.ly/3KUXxFn Video Recording]


* '''2014_01_09 - Thursday: Joint [[RulesReasoningLP]] (s05) and [[OntologyBasedStandards]] (s07) mini-series session: Rule Standards: Common Logic, [[RuleML]], and RIF - Co-chairs: [[HaroldBoley|Harold Boley]], [[MikeDean|Mike Dean]] &amp; [[AdrianPaschke|Adrian Paschke]] - Panel / Briefings: [[MichaelGruninger|Michael Gr&uuml;ninger]], [[AdrianPaschke|Adrian Paschke]] &amp; [[MichaelKifer|Michael Kifer]] - ref. details at: ConferenceCall_2014_01_09 &nbsp;&nbsp;''' ... ''RSVP now!''
== Conference Call Information ==
* Date: '''Wednesday, 01 Mar 2023'''  
* Start Time: 9:00am PST / 12:00pm EST / 6:00pm CST / 5:00pm GMT / 1700 UTC
** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=03&day=01&year=2023&hour=12&min=00&sec=0&p1=179 World Clock]  
* Expected Call Duration: 1 hour
{{:OntologySummit2023/ConferenceCallInformation}}


* 2013_12_19 - Thursday: [[RulesReasoningLP]] mini-series session-04: Guide to Reasoning Applications Development and Cases - Co-chairs: [[HensonGraves|Henson Graves]] & [[User:KennethBaclawski|Ken Baclawski]] - Panelists: [[JansAasman|Jans Aasman]], [[WilliamGuinn|William Guinn]], [[MitchKokar|Mitch Kokar]] - ref. details at: ConferenceCall_2013_12_19
== Attendees ==
* [[AlexanderDiehl|Alexander Diehl]]
* [[AllenBaron|Allen Baron]]
* [[AnitaCaron|Anita Caron]]
* [[AnupamaGururaj|Anupama Gururaj]]
* [[ArwaIbrahim|Arwa Ibrahim]]
* [[AsiyahLin|Asiyah Lin]]
* [[ChrisKindermann|Chris Kindermann]]
* [[ChrisMungall|Chris Mungall]]
* [[ClaudiaSanchezBeatoJohnson|Claudia Sanchez-Beato Johnson]]
* [[CoganShimizu|Cogan Shimizu]]
* [[DarrenNatale|Darren A. Natale]]
* [[DitchTownsend|Ditch Townsend]]
* [[FanLi|Fan Li]]
* [[GaryBergCross|Gary Berg-Cross]]
* [[HendrickBorgelt|Hendrick Borgelt]]
* [[HilmarLapp|Hilmar Lapp]]
* [[JamesOverton|James Overton]]
* [[JanetSinger|Janet Singer]]
* [[JieZheng|Jie Zheng]]
* [[JimBalhoff|Jim Balhoff]]
* [[JohnJudkins|John Judkins]]
* [[KaiBlumberg|Kai Blumberg]]
* [[KatieMullen|Katie Mullen]]
* [[KenBaclawski|Ken Baclawski]]
* [[KrysztofJanowicz|Krysztof Janowicz]]
* [[Leigh Carmody|Leigh Carmody]]
* [[LindaBlevens|Linda Blevens]]
* [[MichelleKathrynMcGee|Michelle Kathryn McGee]]
* [[NicoMatentzoglu|Nico Matentzoglu]]
* [[PhilipStroemert|Philip Stroemert]]
* randi
* [[RaviSharma|Ravi Sharma]]
* [[RayStefancsik|Ray Stefancsik]]
* [[RobertRovetto|Robert Rovetto]]
* [[SabrinaToro|Sabrina Toro]]
* [[SierraMoxon|Sierra Moxon]]
* [[SusanBello|Susan Bello]]
* [[VincentVialard|Vincent Vialard]]
* [[YvonneBradford|Yvonne Bradford]]


* 2013_11_21 - Thursday: [[RulesReasoningLP]] mini-series session-03: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - II - Co-chairs: [[LeoObrst|Leo Obrst]] & [[PascalHitzler|Pascal Hitzler]] - Panelists: [[MarkusKroetzsch|Markus Kroetzsch]], [[HectorPerezUrbina]], [[HassanAitKaci]], [[EnricoFranconi|Enrico Franconi]] - ref. details at: ConferenceCall_2013_11_21
== Discussion ==


* 2013_10_31 - Thursday: [[RulesReasoningLP]] mini-series session-02: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I - Co-chairs: [[LeoObrst|Leo Obrst]] & [[HaroldBoley|Harold Boley]] - Briefings: [[HaroldBoley|Harold Boley]], [[BenjaminGrosof|Benjamin Grosof]], [[GeorgGottlob|Georg Gottlob]] - ConferenceCall_2013_10_31
== Resources ==
* [https://bit.ly/3KUXxFn Video Recording]


* 2013_10_24 - Thursday: [[RulesReasoningLP]] session-01: Mini-series Launch Event - Survey and Introduction - Co-chairs: [[LeoObrst|Leo Obrst]] & [[BenjaminGrosof|Benjamin Grosof]] - with Opening Remarks from: [[MichaelGruninger|Michael Gr&uuml;ninger]], [[MichaelKifer|Michael Kifer]], [[LeoraMorgenstern|Leora Morgenstern]], [[VinayChaudhri|Vinay Chaudhri]], [[HaroldBoley|Harold Boley]], [[HensonGraves|Henson Graves]], [[JohnSowa|John F. Sowa]], [[User:KennethBaclawski|Ken Baclawski]], [[MikeDean|Mike Dean]] & [[PeterYim|Peter P. Yim]] - ConferenceCall_2013_10_24
== Previous Meetings ==
{{#ask: [[Category:OntologySummit2023]] [[Category:Icom_conf_Conference]] [[<<ConferenceCall_2023_03_01]]
        |?|?Session|mainlabel=-|order=desc|limit=3}}
== Next Meetings ==
{{#ask: [[Category:OntologySummit2023]] [[Category:Icom_conf_Conference]] [[>>ConferenceCall_2023_03_01]]
        |?|?Session|mainlabel=-|order=asc|limit=3}}


* 2013_09_12 - Thursday: ONTOLOG Community Planning Session: Event Scheduling for the Rest of 2013 - Co-chairs: [[PeterYim|Peter P. Yim]] & [[MichaelGruninger|Michael Gr&uuml;ninger]] - ConferenceCall_2013_09_12
[[Category:OntologySummit2023]]
 
[[Category:Icom_conf_Conference]]
* 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
[[Category:Occurrence| ]]
 
== Background, Objective & Goals  ==
 
Around the time [[LeoObrst|Leo Obrst]] published his co-authored paper ''Applying Prolog to Semantic Web Ontologies & Rules: Moving Toward Description Logic Programs'' (with Ken Samuel et al. in 2008), we had wanted to do something like this at Ontolog. We ran a couple of sessions - with [[ChrisWelty|Chris Welty]] [[ConferenceCall_2008_06_12|on RIF]] and LeoObrst's [[ConferenceCall_2008_06_26|panel session on Rules]] - and paused (for one reason or another) and did not get around to doing Logic Programing (LP) and most importantly, Reasoning Applications, which we had wanted to do. Picking up from there, and prompted by BenjaminGrosof's [[ConferenceCall_2013_06_20|invited talk on Rulelog]], we successful [[ConferenceCall_2013_07_25|pooled together enough interest]] to get this mini-series off the ground.
 
This mini-series of virtual panel sessions, and the associated online discourse, are co-championed by some members of the Ontolog community program 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, Reasoning, Logic Programming and Applications."
 
The mini-series addresses the following kinds of topics:
 
* Ontology-Rule Standards containing Horn Logic (Pure Prolog): Rule Interchange Format, [[RuleML]], and Common Logic
* Ontology and Rule Reasoning Tools, Systems: Requirements, Design, Implementation. Examples include Semantic Web and Description Logic-based systems, First-Order Logic systems, Logic Programming systems, and Hybrid Semantic Web + Logic Programming  (Description Logic Programming) systems: Cyc, Pellet, Jena, Prover9, Vampire, SILK and [[RuleLog]], various Prologs such as SWI-Prolog, XSB Prolog, Ciao Prolog, [http://prova.ws Prova], Flora-2, Answer Set Programming, Constraint Logic Programming, Deductive Databases, SAT and SMT reasoners, decision-support systems, business rule systems, etc. [Deductive, Inductive, Abductive, Probabilistic, etc., reasoning]
* Ontology and Rule Reasoning Optimization: Knowledge Compilation from Development Time Ontologies and Rules to Run-Time Reasoning , Tabling, Memo-izing, Extensionalizing, Delayed / Lazy Evaluation, Type Subsumption Encodings, etc.
* Ontology and Rule Reasoning Applications (ref. [[Ontolog]] invited talks by [[ConferenceCall_2013_06_20|Dr. Benjamin Grosof]] and [[ConferenceCall_2013_06_27|Dr. Vinay Chaudhri]])
 
Selected Goals:
 
* 1) Sketch out the current field of ontology and rule reasoning: what are the relevant standards, architectures, reasoning methods, reasoning engines, techniques, and applications
* 2) What are emerging technologies, techniques, and tools relevant for ontology and rule reasoning?
* 3) What are the issues and architectures involved in developing applications that use ontology and rule reasoning?
* 4) Describe visualization and explanation technologies and techniques for ontology and rule reasoning
 
== <nowiki>[[RulesReasoningLP]]</nowiki> mini-series program  ==
 
=== (Developing) Mini-series Sessions  ===
 
Developing from the [[ConferenceCall_2013_09_12|2013.09.12 community planning exercise]]: Sessions 1, 2, 3 & 4 for the [[RulesReasoningLP]] mini-series will come out of [[ConferenceCall_2013_07_25|those discussed on 2013.07.25]], namely
 
* R1. [[RulesReasoningLP]]: Mini-series Launch Event - Survey and Introduction [LeoObrst, BenjaminGrosof]
** agenda:
*** Intro of the mini-series (10 min)
*** opening remarks by the champions, technology and community leaders (2~3 min. each) (20 min total)
*** two survey / tutorials (by Leo and Benjamin) (25 min each)  (50 min)
*** Q&A and open discussion (30 min)
** candidate panelists:
** session/date: session-01 Thu 2013.10.24
 
* ### R2. Concepts and Foundations of Logic Programming and Semantic Web Programming - being modified to R2a & R2b: see below
** candidate panelists: [[BenjaminGrosof|Benjamin Grosof]], [[IanHorrocks|Ian Horrocks]], [[BijanParsia|Bijan Parsia]], Hassan Ait-Kaci ([[HassanAitKaci]]), PaulTarau, ... (t/b considered for R2a, R2b)
 
* R2a. Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I [LeoObrst, HaroldBoley]
** content to be covered: This session (part 1 of 2) addresses 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 possibly more.
** candidate panelists: [[BenjaminGrosof|Benjamin Grosof]] (on Defeasibilty and Hilog), [[GeorgGottlob|Georg Gottlob]] (on Datalog+/- langue), [[HaroldBoley|Harold Boley]] (on Grailog) ... invited: [[BobKowalski|Bob Kowalski]] (in Japan; so time is bad; regrets), PaulTarau (has schedule confict; regrets), ThomasEiter (on the road; regrets), RiccardoRosati (regrets), [[AxelPolleres|Axel Polleres]] (invited), MeghynBienvenu (invited), [[BillAndersen|Bill Andersen]] (regrets), LindseySpratt of Highfleet (regrets; Leo: maybe R4?)
** session/date: session-02 Thu 2013.10.31
 
* R2b. Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - II [LeoObrst, PascalHitzler]
** content to be covered:
** candidate panelists: [[HassanAitKaci]] (on ontologies and rules in logic programming), [[MarkusKroetzsch|Markus Kroetzsch]] (on Rule-based Reasoning in Lightweight Ontology Languages), [[HectorPerezUrbina]] (in place of EvrenSirin) (on reasoning with and applications of SWRL); [[EnricoFranconi|Enrico Franconi]] (on "The Logic of Extensional RDFS" with emphasis on some of the rules-related aspects) ... other candidates: BirteGlimm (on the relationship between conjunctive querying and rules), MeghynBienvenu (on some of her work related to OBDA, Datalog, Horn DLs), [[PascalHitzler|Pascal Hitzler]] (backup)
** session/date: session-03 Thu 2013.11.21
 
* R4. Guide to Reasoning Applications Development and Cases [HensonGraves, KenBaclawski]
** content to be covered:
** candidate panelists: [[JansAasman|Jans Aasman]], [[User:KennethBaclawski|Ken Baclawski]], [[ArunMajumdar|Arun Majumdar]], [[BillAndersen|Bill Andersen]], [[LeoObrst|Leo Obrst]], [[HolgerKnublauch|Holger Knublauch]], ...
** session/date: session-04 Thu 2013.12.19
 
* R3. Rule Standards: Common Logic, [[RuleML]], and RIF [HaroldBoley, [[AdrianPaschke|Adrian Paschke]], MikeDean]
** content to be covered:
** candidate panelists: [[JohnSowa|John F. Sowa]], [[MichaelGruninger|Michael Gr&uuml;ninger]], [[MichaelKifer|Michael Kifer]], [[HaroldBoley|Harold Boley]], [[AdrianPaschke|Adrian Paschke]], [[ChrisWelty|Chris Welty]], ... maybe: [[PatHayes|Pat Hayes]], [[FabianNeuhaus|Fabian Neuhaus]], [[ChrisMenzel|Chris Menzel]], [[TaraAthan|Tara Athan]]
** session/date: session-05 Thu 2014.01.09
** a Joint session with the [[OntologyBasedStandards]] mini-series was also proposed (ref. [[ConferenceCall_2013_07_25|proposal on 2013.07.25]]) ... this session is now featured as a Joint [[RulesReasoningLP]]-[[OntologyBasedStandards]] session (respectively, s05 & s07)
** content & panelists - see: ConferenceCall_2014_01_09
 
* R6 & onward - ideas and suggestions for the program after [[OntologySummit2014|Ontology Summit 2014]]
** ...
 
== The Team  ==
 
* [[BenjaminGrosof|Benjamin Grosof]] (co-convener)
* [[LeoObrst|Leo Obrst]] (co-convener)
* [[PeterYim|Peter P. Yim]] (co-convener)
* [[AdrianPaschke|Adrian Paschke]]
* [[HaroldBoley|Harold Boley]]
* [[HensonGraves|Henson Graves]]
* [[JohnSowa|John F. Sowa]]
* [[User:KennethBaclawski|Ken Baclawski]]
* [[MikeDean|Mike Dean]]
* [[PascalHitzler|Pascal Hitzler]]
 
== Team Workspace: Discussion List, Archives, File-Share Workspace  ==
 
* Homepage for this "Ontology, Rules, and Logic Programming for Reasoning and Applications (<nowiki>[[RulesReasoningLP]]</nowiki>)" mini-series ''(i.e. this page)'': http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP
* Discussion Archives: http://ontolog.cim3.net/forum/ontolog-forum/
** Subject matter discussion ... please prefix your subject line with "[<nowiki>[[RulesReasoningLP]]</nowiki>]"
** To Subscribe: please join the Ontolog community - ref. membership details [[WikiHomePage|here]]
** Mini-series organization discussion ... please use the [mini-series-org] mailing list, and your subject line with "[<nowiki>[[RulesReasoningLP]]</nowiki>]"
* Shared-File Workspace: http://ontolog.cim3.net/file/work/RulesReasoningLP/
 
== Resources  ==
 
* This page: http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP
* The community brainstorm/planning session during which this "Ontology, Rules, and Logic Programming for Reasoning and Applications (<nowiki>[[RulesReasoningLP]]</nowiki>)" mini-series came in being - 2013_07_25 - Thursday: Ontolog Ontology-Rules-Reasoning-LogicProgramming-Applications mini-series planning - Chair: [[LeoObrst|Leo Obrst]] - Panelists: [[BenjaminGrosof|Benjamin Grosof]], [[HaroldBoley|Harold Boley]], [[JohnSowa|John F. Sowa]], [[HensonGraves|Henson Graves]] - ConferenceCall_2013_07_25
* The [[ConferenceCall_2013_06_20|2013.06.20]] session by Dr. [[BenjaminGrosof|Benjamin Grosof]] on [[RuleLog]] and the subsequent discussion when this mini-series was envisioned by its co-champions.
* 26-Jun-2008 - Ontolog Panel Discussion on: "Rules in Semantic Web Applications" with panelists Dr. [[LeoObrst|Leo Obrst]] (MITRE; Ontolog) (chair), Dr. [[JosDeBruijn|Jos de Bruijn]] (Free University of Bozen-Bolzano, Italy) & Mr. [[MartinOConnor|Martin O'Connor]] (Stanford-BMIR). Please refer to details on the session page, at: ConferenceCall_2008_06_26
* 12-Jun-2008 - invited speaker Dr. [[ChrisWelty|Chris Welty]] (IBM Research; Chair, W3C RIF Working Group) gave a premier talk on: "RIF: Rules Interchange Format." Please refer to details on the session page, at: ConferenceCall_2008_06_12
* Samuel, Ken; Leo Obrst; Suzette Stoutenberg; Karen Fox; Adrian Johnson; Ken Laskey; Deborah Nichols; and Jason Peterson. 2008. ''Applying Prolog to Semantic Web Ontologies & Rules: Moving Toward Description Logic Programs''. The Journal of the Theory and Practice of Logic Programming (TPLP), Massimo Marchiori, ed., Cambridge University Press - http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1853440 (paywalled.)
* Adrian Walker, Michael McCord, John F. Sowa and Walter G. Wilson. Knowledge Systems and Prolog. Addison-Wesley, 1990. ISBN 0-201-52424-4
* Executable English / Internet Business Logic. Supports self-explaining database apps written as syllogism-like rules in open vocabulary English. System is live on the internet with a browser author- and user-interface. Google "Executable English", or go to www.reengineeringllc.com .  Shared use of the system is free, and there are no advertisements.
 
[[Category:Project]]    [[Category:RulesReasoningLP]]

Revision as of 03:21, 8 March 2023

Session Panel
Duration 1 hour
Date/Time 01 Mar 2023 17:00 GMT
9:00am PST/12:00pm EST
5:00pm GMT/6:00pm CST
Convener Gary Berg-Cross

Ontology Summit 2023 Panel

Helping scientific researchers make better use of ontologies

Agenda

Conference Call Information

  • Date: Wednesday, 01 Mar 2023
  • Start Time: 9:00am PST / 12:00pm EST / 6:00pm CST / 5:00pm GMT / 1700 UTC
  • Expected Call Duration: 1 hour
  • Video Conference URL
    • Conference ID: 837 8041 8377
    • Passcode: 323309
  • Chat Room

The unabbreviated URLs are:

Attendees

Discussion

Resources

Previous Meetings

 Session
ConferenceCall 2023 02 22Ubergraph
ConferenceCall 2023 02 15OBO Dashboards
ConferenceCall 2023 02 08ODK
... further results

Next Meetings

 Session
ConferenceCall 2023 03 08Modules and Patterns
ConferenceCall 2023 03 15Design Patterns
ConferenceCall 2023 03 21Wikidata
... further results