RulesReasoningLP: mini-series session-02 - Thu 2013-10-31    (3ZSY)

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

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

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

Panelists / Briefings:    (3ZT1)

Archives:    (3ZT6)

Conference Call Details:    (3ZTF)

Attendees:    (3ZUE)

Abstract    (3ZUT)

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

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

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 (From Data to Knowledge through Grailog Visualization), BenjaminGrosof (Defeasibility and HILOG), GeorgGottlob (Extended Datalog and Ontological Reasoning), and ...    (404H)

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

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

Briefings:    (403A)

Agenda:    (403H)

RulesReasoningLP Mini-series Panel Session-02    (403I)

Session Format: this is a virtual session conducted over an augmented conference call    (403J)

Proceedings    (3ZUV)

Please refer to the above    (403P)

IM Chat Transcript captured during the session:    (403Q)

 see raw transcript here.    (403R)
 (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.    (403S)
 -- begin in-session chat-transcript --    (403T)
	------
	Chat transcript from room: ontolog_20131031
	2013-10-31 GMT-08:00 [PDT]
	------    (406Q)
	[9:12] PeterYim: Welcome to the    (406R)
	 = RulesReasoningLP: mini-series session-02 - Thu 2013-10-31 =    (406S)
	Session Co-chairs: Dr. LeoObrst (Ontolog; MITRE) & Dr. HaroldBoley (RuleML; U of New Brunswick)    (406T)
	Topic: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - I    (406U)
	Panelists / Briefings:    (406V)
	* Dr. HaroldBoley (University of New Brunswick; RuleML) - "From Data to Knowledge through Grailog Visualization"    (406W)
	* Dr. BenjaminGrosof (Benjamin Grosof & Associates) - "Hilog, Defeasibility, and the Foundations of Practical Meta Knowledge: A Brief Introduction"    (406X)
	* Professor GeorgGottlob (Oxford) - "Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering"    (406Y)
	Logistics:    (406Z)
	* Refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31    (4070)
	* (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your RealName    (4071)
	* Mute control (phone keypad): *7 to un-mute ... *6 to mute    (4072)
	* Attn: Skype users ... see: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31#nid3ZTO
	** 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.)    (4073)
	Attendees: AlanRector, AlexShkotin, AliHashemi, AmandaVizedom, BenjaminGrosof, BobSmith, 
	BobbinTeegarden, BrandonWhitehead, BrianHaugh, ConradBock, DennisPierson, ElieAbiLahoud, 
	FranLightsom, FrancescaQuattri, GenZou, GeorgGottlob, HaroldBoley, HensonGraves, JuanSequeda, 
	KenBaclawski, LamarHenderson, LeoObrst, MichaelGruninger, MikeBennett, MikeDean, PeterYim, 
        SimonSpero, TaraAthan, ToddSchneider,    (4074)
	 == Proceedings ==    (4075)
	[8:38] anonymous morphed into Conrad    (4076)
	[9:19] anonymous morphed into BrandonWhitehead    (4077)
	[9:27] PeterYim: Hi everyone!    (4078)
	[9:27] PeterYim: Hi AlanRector ... does the vnc access (with the local viewer) work for you now?    (4079)
	[9:29] MikeDean morphed into MikeDean    (407A)
	[9:30] anonymous morphed into TaraAthan    (407B)
	[9:31] Conrad morphed into ConradBock    (407C)
	[9:31] anonymous1 morphed into GeorgGottlob    (407D)
	[9:32] anonymous1 morphed into BobbinTeegarden    (407E)
	[9:32] anonymous morphed into FrancescaQuattri    (407F)
	[9:36] anonymous morphed into BrianHaugh    (407G)
	[9:36] PeterYim: == LeoObrst and HaroldBoley starts the session ... see slides 
	at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31#nid3ZT9    (407H)
	[9:38] anonymous morphed into FrancescaQuattri    (407I)
	[9:40] PeterYim: == HaroldBoley presenting ...    (407J)
	[9:41] DennisPierson morphed into DennisPierson    (407K)
	[9:52] anonymous morphed into JuanSequeda    (407L)
	[10:05] SimonSpero: @HaroldBoley: has there been any user studies/ cognitive modelling of how easily 
	these graphical notations are understood (before training, after n-hours training, n-days/weeks after training?)    (407M)
	[10:08] MikeBennett: @Simon I could not help thinking of the guy from Australia who presented at the 
	OMG in March about taking a more scientific approach to the graphics of modeling languages. Can't 
	remember his name (anyone?)    (407N)
	[10:12] ElieAbiLahoud: @MikeBennett: Dr Daniel Moody, 
	http://www.omg.org/news/meetings/tc/dc-13/special-events/Physics_Notations_Tutorial.htm    (407O)
	[10:12] MikeBennett: That's the guy! Ta.    (407P)
	[10:12] HaroldBoley: @SimonSpero, I didn't use parallel ('control') groups but sequential groups 
	when teaching Semantic Web Techniques (http://www.cs.unb.ca/~boley/cs6795swt/notes.html), noticing 
	that recent student groups understood Semantic Web Logics better and faster than earlier 
	('pre-Grailog') groups attending this course (some with interdisciplinary background). Quantitative 
	studies should follow next, including colleagues from the Social Sciences. If you are interested, 
	please do contact me.    (407Q)
	[10:21] HaroldBoley: @MikeBennett, Yngve Lamo does 'typing homomorphism' (linked from 
	http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf, slide 115).    (407R)
	[10:06] LeoObrst: Harold, can you describe how a modal expression would be depicted in Grailog? 
	I.e.,with necessity/possibility operators.    (407S)
	[10:17] HaroldBoley: @LeoObrst, modal expressions use complex nodes as shown in slides 104ff of the 
	long version of this talk (http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf).    (407T)
	[10:28] MikeBennett: Thanks @Harold that looks very interesting.    (407U)
	[10:03] PeterYim: == BenjaminGrosof presenting ...    (407V)
	[10:17] PeterYim: [Grosof: note - typo on slide#4 ... Benjamin: please update, and I will swap it in.]    (407W)
	[11:29] PeterYim: re: [10:17] the BenjaminGrosof slide deck has now been updated ... Thank you, Benjamin    (407X)
	[10:19] HaroldBoley: @Benjamin, 'backquote' is visualized with the (snipangle) 'instantiation' boxes 
	introduced of Grailog.    (407Y)
	[10:21] SimonSpero: The use of backtick threw me for a bit    (407Z)
	[10:21] SimonSpero: [Also, KR macros are awesome]    (4080)
	[10:24] LeoObrst: 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?    (4081)
	[10:30] AmandaVizedom: +1 for Leo's question about contexts, or something (perhaps uses the "holds" 
	trick) that leverages all of this great support and enables modularizing reasoning, or defining 
	permitted paths of reasoning across contexts of various kinds, vs. non-permitted?    (4082)
	[10:48] BenjaminGrosof: Answer to Leo's question on contexts: the truth value of the embedded 
	argument is relative to the believer John, essentially.    (4083)
	[10:26] AmandaVizedom: re: slide 6: Another (suggested but not stated) very important kind of 
	reasoning enabled by these KR tools: for federated data (including linked data) applications, not 
	only *having* provenance but *using* provenance to tailor how information from different sources is 
	treated... and being able to capture & expose rules about *that* in the ontology/knowledge base.    (4084)
	[10:32] AmandaVizedom: ... or defines 'contexts' in which rules, prioritizations, etc., apply?    (4085)
	[10:52] BenjaminGrosof: +1 to Amanda's comment about using provenance.    (4086)
	[10:34] ConradBock: Does well-founded LP fit in somewhere?    (4087)
	[10:50] BenjaminGrosof: Answer to Conrad's question: LP and its extension Rulelog discussed here is 
	under well founded semantics, cf. my survey presentation on 10/24/2013 Ontolog Forum session 
	- ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24#nid3ZSA    (4088)
	[10:51] BenjaminGrosof: That's the semantics most frequently used due to good computational 
	complexity and algorithmic characteristics.    (4089)
	[10:39] ElieAbiLahoud: Thank you Benjamin and Harold. I'am afraid I have to drop-off now.    (408A)
	[10:38] PeterYim: == GeorgGottlob presenting ...    (408B)
	[11:05] BenjaminGrosof: wrt Georg's slide 30: note that stratified naf ("negation as failure") is a 
	special case of well founded semantics, and also a special case of stable semantics / answer set semantics.    (408C)
	[11:06] LeoObrst: @Georg: on slide 9, is linear datalog related to linear logic?    (408D)
	[11:18] GeorgGottlob: @Leo: "linear" here is not related to linear logic; it just means only one 
	atom in rule bodies    (408E)
	[11:09] PeterYim: === GiorgioOrsi (one of GeorgGottlob's postdocs) saying a few words about his 
	implementation of Datalog+/- ... re. slide#37    (408F)
	[11:11] PeterYim: == Q&A and Open Discussion ...    (408G)
	[11:09] AmandaVizedom: @BenjaminGrosof: What tooling exists that implements / supports working with Hilog?    (408H)
	[11:11] BenjaminGrosof: Answer to Amanda question about Hilog tooling:    (408I)
	[11:11] BenjaminGrosof: A number of systems support restricted Hilog. E.g., Jena permits variables 
	in predicate position.    (408J)
	[11:12] BenjaminGrosof: The most sophisticated implementation is in Flora-2, used in Coherent 
	Knowledge Systems software commercially now. (By most sophisticated: I mean both expressive and 
	efficient. Coherent has a proprietary extension of Flora-2.)    (408K)
	[11:37] BenjaminGrosof: More answer to AmandaVizedom question about tools for Hilog: There are two 
	aspects: engine and UI. Engine techniques for handling functions come from Prolog (LP) and FOL. 
	Unification is important. LP uses tries for indexing and "tabling" for efficiency/termination. State 
	of the art on tabling is in XSB and Flora-2, then extended proprietarily wrt Hilog in Coherent 
	Knowledge Systems software. Coherent also supports Hilog, esp. for textual logic (see Ontolog Forum 
	6/20/2013 session - ref. http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_06_20 ) with 
	particular features in its proprietary (but available) UI and so to an extent did the UI in the 
	earlier Vulcan's SILK (code not available publicly, team disbanded).    (408L)
	[11:13] AlexShkotin: Are there any use cases of usage of that languages in any domain areas?    (408M)
	[11:19] BenjaminGrosof: Answer to Alex question: yes, there have been many usages of Hilog.    (408N)
	[11:20] AlexShkotin: @Benjamin, do you have a storage of Hilog ontologies. Just not to do twice:-)    (408O)
	[11:28] BenjaminGrosof: Answer to Alex question on storage of Hilog ontologies: I don't understand the question.    (408P)
	[11:29] AlexShkotin: @Benjamin, like repository to download Hilog ontologies.    (408Q)
	[11:39] AlexShkotin: I just have asked about Hilog ontologies repository as we have for OWL 2.    (408R)
	[11:31] SimonSpero: Alex: http://flora.sourceforge.net/    (408S)
	[11:31] SimonSpero: @Benjamin: why SVN in 2013, instead of a Github repo?    (408T)
	[11:24] AlexShkotin: If we have some knowledge representation as text (for ex. on CNL) we can 
	compare different formal languages as a tools to use. For ex. we convert DB to CNL and then to OWL2:-)    (408U)
	[11:27] AlexShkotin: So CNL representation of a knowledge may be most general against formal languages.    (408V)
	[11:35] PeterYim: Join us again, same time next week (Thu 2013-11-07) for the OntologyBasedStandards mini-series 
	session-06 on "Ontology-based Financial Standards" co-championed by MikeBennett, BillMcCarthy and ElieAbiLahoud    (408W)
	[11:36] PeterYim / LeoObrst: next in this series - 2013_11_21 - Thursday: RulesReasoningLP mini-series 
	session-03: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, 
	and Semantic Web - II - Co-chairs: LeoObrst & PascalHitzler    (408X)
	[11:36] LeoObrst: Thanks, All!    (408Y)
	[11:37] PeterYim: great session!    (408Z)
	[11:37] AlexShkotin: Thanks    (4090)
	[11:42] AlexShkotin: C u    (4091)
	[11:37] PeterYim: -- session ended: 11:36am PDT --    (4092)
 -- end of in-session chat-transcript --    (403U)

Additional Resources:    (403Z)

For the record ...    (404B)

How To Join (while the session is in progress)    (404C)