RulesReasoningLP

Ontology, Rules, and Logic Programming for Reasoning and Applications (RulesReasoningLP) - Miniseries Homepage    (3XQZ)

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."    (3XRJ)

What's New:    (3XRK)

• 2014_01_09 - Thursday: Joint RulesReasoningLP (s05) and OntologyBasedStandards (s07) mini-series session: Rule Standards: Common Logic, RuleML, and RIF - Co-chairs: HaroldBoley, MikeDean & AdrianPaschke - Panel / Briefings: MichaelGruninger, AdrianPaschke & MichaelKifer - ref. details at: ConferenceCall_2014_01_09 T ... RSVP now!    (3ZSN)

• 2013_12_19 - Thursday: RulesReasoningLP mini-series session-04: Guide to Reasoning Applications Development and Cases - Co-chairs: HensonGraves & KenBaclawski - Panelists: JansAasman, WilliamGuinn, MitchKokar - ref. details at: ConferenceCall_2013_12_19    (3ZXG)

• 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 & PascalHitzler - Panelists: MarkusKroetzsch, HectorPerezUrbina, HassanAitKaci, EnricoFranconi - ref. details at: ConferenceCall_2013_11_21    (3ZQ7)

• 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 & HaroldBoley - Briefings: HaroldBoley, BenjaminGrosof, GeorgGottlob - ConferenceCall_2013_10_31    (3ZQ6)

• 2013_10_24 - Thursday: RulesReasoningLP session-01: Mini-series Launch Event - Survey and Introduction - Co-chairs: LeoObrst & BenjaminGrosof - with Opening Remarks from: MichaelGruninger, MichaelKifer, LeoraMorgenstern, VinayChaudhri, HaroldBoley, HensonGraves, JohnSowa, KenBaclawski, MikeDean & PeterYim - ConferenceCall_2013_10_24    (3XRL)

• 2013_09_12 - Thursday: ONTOLOG Community Planning Session: Event Scheduling for the Rest of 2013 - Co-chairs: PeterYim & MichaelGruninger - ConferenceCall_2013_09_12    (3XRM)

• 2013_07_25 - Thursday: Ontolog Ontology-Rules-Reasoning-LogicProgramming-Applications mini-series planning - Chair: LeoObrst - Panelists: BenjaminGrosof, HaroldBoley, JohnSowa, HensonGraves - ConferenceCall_2013_07_25    (3XRN)

Background, Objective & Goals    (3XRY)

Around the time LeoObrst 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 on RIF and LeoObrst's 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 invited talk on Rulelog, we successful pooled together enough interest to get this mini-series off the ground.    (3XSC)

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."    (3XRZ)

The mini-series addresses the following kinds of topics:    (3XS0)

• Ontology-Rule Standards containing Horn Logic (Pure Prolog): Rule Interchange Format, RuleML, and Common Logic    (3XS1)
• 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, 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]    (3XS2)
• 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.    (3XS3)
• Ontology and Rule Reasoning Applications (ref. Ontolog invited talks by Dr. Benjamin Grosof and Dr. Vinay Chaudhri)    (3XS4)

Selected Goals:    (3XS5)

• 1) Sketch out the current field of ontology and rule reasoning: what are the relevant standards, architectures, reasoning methods, reasoning engines, techniques, and applications    (3XS6)
• 2) What are emerging technologies, techniques, and tools relevant for ontology and rule reasoning?    (3XS7)
• 3) What are the issues and architectures involved in developing applications that use ontology and rule reasoning?    (3XS8)
• 4) Describe visualization and explanation technologies and techniques for ontology and rule reasoning    (3XS9)

RulesReasoningLP mini-series program    (3XR2)

(Developing) Mini-series Sessions    (3XR3)

Developing from the 2013.09.12 community planning exercise: Sessions 1, 2, 3 & 4 for the RulesReasoningLP mini-series will come out of those discussed on 2013.07.25, namely    (3YUO)

• R1. RulesReasoningLP: Mini-series Launch Event - Survey and Introduction [LeoObrst, BenjaminGrosof]    (3YU6)
  • agenda:    (3YU7)
    • Intro of the mini-series (10 min)    (3ZJZ)
    • opening remarks by the champions, technology and community leaders (2~3 min. each) (20 min total)    (3ZK0)
    • two survey / tutorials (by Leo and Benjamin) (25 min each) (50 min)    (3ZK1)
    • Q&A and open discussion (30 min)    (3ZK2)
  • candidate panelists:    (3YU8)
  • session/date: session-01 Thu 2013.10.24    (3YU9)

• ### R2. Concepts and Foundations of Logic Programming and Semantic Web Programming - being modified to R2a & R2b: see below    (3YUA)
  • candidate panelists: BenjaminGrosof, IanHorrocks, BijanParsia, Hassan Ait-Kaci (HassanAitKaci), PaulTarau, ... (t/b considered for R2a, R2b)    (3YUC)

• R2a. Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I [LeoObrst, HaroldBoley]    (3ZGM)
  • 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 (From Data to Knowledge through Grailog Visualization), BenjaminGrosof (Defeasibility and HILOG), GeorgGottlob (Extended Datalog and Ontological Reasoning), and possibly more.    (3YUB)
  • candidate panelists: BenjaminGrosof (on Defeasibilty and Hilog), GeorgGottlob (on Datalog+/- langue), HaroldBoley (on Grailog) ... invited: BobKowalski (in Japan; so time is bad; regrets), PaulTarau (has schedule confict; regrets), ThomasEiter (on the road; regrets), RiccardoRosati (regrets), AxelPolleres (invited), MeghynBienvenu (invited), BillAndersen (regrets), LindseySpratt of Highfleet (regrets; Leo: maybe R4?)    (3ZGP)
  • session/date: session-02 Thu 2013.10.31    (3ZGN)

• R2b. Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - II [LeoObrst, PascalHitzler]    (3ZGO)
  • content to be covered:    (3ZGS)
  • candidate panelists: HassanAitKaci (on ontologies and rules in logic programming), MarkusKroetzsch (on Rule-based Reasoning in Lightweight Ontology Languages), HectorPerezUrbina (in place of EvrenSirin) (on reasoning with and applications of SWRL); EnricoFranconi (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 (backup)    (3ZGQ)
  • session/date: session-03 Thu 2013.11.21    (3YUD)

• R4. Guide to Reasoning Applications Development and Cases [HensonGraves, KenBaclawski]    (3YUI)
  • content to be covered:    (3YUJ)
  • candidate panelists: JansAasman, KenBaclawski, ArunMajumdar, BillAndersen, LeoObrst, HolgerKnublauch, ...    (3YUK)
  • session/date: session-04 Thu 2013.12.19    (3YUL)

• R3. Rule Standards: Common Logic, RuleML, and RIF [HaroldBoley, AdrianPaschke, MikeDean]    (3YUE)
  • content to be covered:    (3YUF)
  • candidate panelists: JohnSowa, MichaelGruninger, MichaelKifer, HaroldBoley, AdrianPaschke, ChrisWelty, ... maybe: PatHayes, FabianNeuhaus, ChrisMenzel, TaraAthan    (3YUG)
  • session/date: session-05 Thu 2014.01.09    (3YUH)
  • a Joint session with the OntologyBasedStandards mini-series was also proposed (ref. proposal on 2013.07.25) ... this session is now featured as a Joint RulesReasoningLP-OntologyBasedStandards session (respectively, s05 & s07)    (43BV)
  • content & panelists - see: ConferenceCall_2014_01_09    (43BW)

• R6 & onward - ideas and suggestions for the program after OntologySummit2014    (3YUM)
  • ...    (3YUN)

The Team    (3XR4)

• BenjaminGrosof (co-convener)    (3XR5)
• LeoObrst (co-convener)    (3XR6)
• PeterYim (co-convener)    (3XR7)
• AdrianPaschke    (3XRQ)
• HaroldBoley    (3XRR)
• HensonGraves    (3XRS)
• JohnSowa    (3XRT)
• KenBaclawski    (3XRU)
• MikeDean    (3XRV)
• PascalHitzler    (3ZGL)

Team Workspace: Discussion List, Archives, File-Share Workspace    (3XR8)

• Homepage for this "Ontology, Rules, and Logic Programming for Reasoning and Applications (RulesReasoningLP)" mini-series (i.e. this page): http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP    (3XR9)
• Discussion Archives: http://ontolog.cim3.net/forum/ontolog-forum/    (3XRA)
  • Subject matter discussion ... please prefix your subject line with "[RulesReasoningLP]"    (3XSA)
  • To Subscribe: please join the Ontolog community - ref. membership details here    (3XRB)
  • Mini-series organization discussion ... please use the [mini-series-org] mailing list, and your subject line with "[RulesReasoningLP]"    (3XSB)
• Shared-File Workspace: http://ontolog.cim3.net/file/work/RulesReasoningLP/    (3XRE)

Resources:    (3XRH)

• This page: http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP    (3XRI)
• The community brainstorm/planning session during which this "Ontology, Rules, and Logic Programming for Reasoning and Applications (RulesReasoningLP)" mini-series came in being - 2013_07_25 - Thursday: Ontolog Ontology-Rules-Reasoning-LogicProgramming-Applications mini-series planning - Chair: LeoObrst - Panelists: BenjaminGrosof, HaroldBoley, JohnSowa, HensonGraves - ConferenceCall_2013_07_25    (3XRF)
• The 2013.06.20 session by Dr. BenjaminGrosof on RuleLog and the subsequent discussion when this mini-series was envisioned by its co-champions.    (3XRG)
• 26-Jun-2008 - Ontolog Panel Discussion on: "Rules in Semantic Web Applications" with panelists Dr. LeoObrst (MITRE; Ontolog) (chair), Dr. Jos de Bruijn (Free University of Bozen-Bolzano, Italy) & Mr. Martin O'Connor (Stanford-BMIR). Please refer to details on the session page, at: ConferenceCall_2008_06_26    (3XSD)
• 12-Jun-2008 - invited speaker Dr. ChrisWelty (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    (3XSE)
• 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.)    (3XSF)
• Adrian Walker, Michael McCord, John F. Sowa and Walter G. Wilson. Knowledge Systems and Prolog. Addison-Wesley, 1990. ISBN 0-201-52424-4    (4097)
• 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.    (4098)