From OntologPSMW

Jump to: navigation, search
[ ]

Contents

Ontology, Rules, and Logic Programming for Reasoning and Applications ([[RulesReasoningLP]]) - Miniseries Homepage     (1)

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."     (1A)

What's New     (1B)

Background, Objective & Goals     (1C)

Around the time 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 Chris Welty 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.     (1C1)

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."     (1C2)

The mini-series addresses the following kinds of topics:     (1C3)

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

Selected Goals:     (1C8)

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

[[RulesReasoningLP]] mini-series program     (1D)

(Developing) Mini-series Sessions     (1D1)

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     (1D1A)

  • R2a. Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I [LeoObrst, HaroldBoley]     (1D1D)
    • 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 Harold Boley (From Data to Knowledge through Grailog Visualization), Benjamin Grosof (Defeasibility and HILOG), Georg Gottlob (Extended Datalog and Ontological Reasoning), and possibly more.     (1D1D1)
    • candidate panelists: Benjamin Grosof (on Defeasibilty and Hilog), Georg Gottlob (on Datalog+/- langue), Harold Boley (on Grailog) ... invited: Bob Kowalski (in Japan; so time is bad; regrets), PaulTarau (has schedule confict; regrets), ThomasEiter (on the road; regrets), RiccardoRosati (regrets), Axel Polleres (invited), MeghynBienvenu (invited), Bill Andersen (regrets), LindseySpratt of Highfleet (regrets; Leo: maybe R4?)     (1D1D2)
    • session/date: session-02 Thu 2013.10.31     (1D1D3)
  • R2b. Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - II [LeoObrst, PascalHitzler]     (1D1E)
    • content to be covered:     (1D1E1)
    • candidate panelists: HassanAitKaci (on ontologies and rules in logic programming), Markus Kroetzsch (on Rule-based Reasoning in Lightweight Ontology Languages), HectorPerezUrbina (in place of EvrenSirin) (on reasoning with and applications of SWRL); 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), Pascal Hitzler (backup)     (1D1E2)
    • session/date: session-03 Thu 2013.11.21     (1D1E3)

The Team     (1E)

Team Workspace: Discussion List, Archives, File-Share Workspace     (1F)

Resources     (1G)

  • 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: Leo Obrst - Panelists: Benjamin Grosof, Harold Boley, John F. Sowa, Henson Graves - ConferenceCall_2013_07_25     (1G2)
  • The 2013.06.20 session by Dr. Benjamin Grosof on RuleLog and the subsequent discussion when this mini-series was envisioned by its co-champions.     (1G3)
  • 26-Jun-2008 - Ontolog Panel Discussion on: "Rules in Semantic Web Applications" with panelists Dr. Leo Obrst (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     (1G4)
  • 12-Jun-2008 - invited speaker Dr. 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     (1G5)
  • 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.)     (1G6)
  • Adrian Walker, Michael McCord, John F. Sowa and Walter G. Wilson. Knowledge Systems and Prolog. Addison-Wesley, 1990. ISBN 0-201-52424-4     (1G7)
  • 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.     (1G8)


This page has been migrated from the OntologWiki - Click here for original page     (1G9)