From OntologPSMW

Revision as of 01:45, 9 January 2016 by KennethBaclawski (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
[ ]

Contents

RulesReasoningLP: Mini-series Launch Event - Thu 2013-10-24     (1)

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

Topic: RulesReasoningLP: Mini-series Launch Event - Survey and Introduction     (1B)

Session Co-chairs: Dr. LeoObrst (Ontolog; MITRE) & Dr. BenjaminGrosof (Coherent Knowledge Systems) ... intro slides     (1C)

  • Survey and Introduction to Key Concepts and the Technology Landscape     (1E)
    • Dr. LeoObrst (MITRE; Ontolog) - "Survey: Logic, Logic Programming, Ontology, Rules" ... slides     (1E1)
    • Dr. BenjaminGrosof (Benjamin Grosof & Associates) - "Survey of Knowledge Representations for Rules and Ontologies" ... slides     (1E2)

  • Dial-in:     (1G4)
    • Phone (US): +1 (206) 402-0100 ... (long distance cost may apply)     (1G4A)
    • in view of recent 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.)     (1G4B)
      • when prompted enter Conference ID: 141184#     (1G4B1)
      • Unfamiliar with how to do this on Skype? ...     (1G4B2)
        • 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.     (1G4B2A)
      • Can't find Skype Dial pad? ...     (1G4B3)
        • for Windows Skype users: Can't find Skype Dial pad? ... it's under the "Call" dropdown menu as "Show Dial pad"     (1G4B3A)
        • 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.)     (1G4B3B)
      • 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#     (1G4B4)
    • (for phone dial-in) ... some local numbers may be available (in the US, Australia, Canada & UK) - see: http://instantteleseminar.com/Local/     (1G4C)
  • Shared-screen support (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/     (1G5)
    • view-only password: "ontolog"     (1G5A)
    • 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.     (1G5B)
    • 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.     (1G5C)
    • 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").     (1G6A)
    • 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.     (1G6B)
    • 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_20131024@soaphub.org ... Handy for mobile devices!     (1G6C)
  • Discussions and Q & A:     (1G7)
    • Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker.     (1G7A)
    • 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.)     (1G7B)
    • 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.)     (1G7C)
    • 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.)     (1G7D)
  • 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.)     (1G9)
  • 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.     (1G11)

Attendees     (1H)

Abstract     (1I)

RulesReasoningLP: Mini-series Launch Event - Survey and Introduction ... intro slides     (1I1)

This is the first session of the RulesReasoningLP mini-series. This will be 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."     (1I2)

The RulesReasoningLP mini-series program has come together through two open community brainstorm sessions, held on 2013.07.25 (covering mainly program content) and 2013.09.12 (covering mainly the organization and scheduling).     (1I3)

Joining us at our Launch Event today, are a number of community and technology leaders. They, along with our mini-series co-champions, will be delivering a range of opening remarks, right after our co-chairs' overview of the mini-series program. These remarks will, collectively provide diverse perspectives on why the theme chosen for this mini-series is important, and what we should try to achieve.     (1I4)

After the opening remarks, our co-chairs, Dr. Leo Obrst and Dr. Benjamin Grosof, will provide a survey of the subject matter and the scope of this mini-series. They will each take on some aspects outlined, and provide an introduction on key concepts and technologies involved, to prepare the participants for the exciting program content that will be rolled-out in the ensuing mini-series sessions.     (1I5)

See developing details at: RulesReasoningLP (homepage for this mini-series)     (1I6)

Agenda     (1J)

RulesReasoningLP: Mini-series Launch Event - Survey and Introduction     (1J1)

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

Proceedings     (1K)

Please refer to the above     (1K1)

IM Chat Transcript captured during the session    (1K2)

see raw transcript here.     (1K2A)

(for better clarity, the version below is a re-organized and lightly edited chat-transcript.)     (1K2B)

Participants are welcome to make light edits to their own contributions as they see fit.     (1K2C)

-- begin in-session chat-transcript --     (1K2D)


Chat transcript from room: ontolog_20131024     (1K2E)

2013-10-24 GMT-08:00 [PDT]     (1K2F)


[9:28] Peter P. Yim: Welcome to the     (1K2G)

RulesReasoningLP: Mini-series Launch Event - Thu 2013-10-24     (1K2H)

Topic: RulesReasoningLP: Mini-series Launch Event - Survey and Introduction )     (1K2I)

Session Co-chairs: Dr. Leo Obrst (Ontolog; MITRE) & Dr. Benjamin Grosof (Coherent Knowledge Systems)     (1K2J)

Opening Remarks by Community & Technology Leaders and the Mini-series Co-champions:     (1K2K)

Survey and Introduction to Key Concepts and the Technology Landscape     (1K2V)

Attendees: AdrianGiurca, AlessandroProvetti, Alex Mirzaoff, Alex Shkotin, Ali Hashemi, Amanda Vizedom,     (1K2Z)

proceedings:     (1K2AG)

[9:26] anonymous morphed into Brandon Whitehead     (1K2AH)

[9:29] anonymous morphed into Weihong Song     (1K2AI)

[9:31] Amanda Vizedom: Logistics note, confirming what Peter mentioned last week: you can skype-call     (1K2AJ)

to "joinconference" even if it shows as "offline". I've just gotten on the call that way. Right     (1K2AK)

click on contact, choose "Call" then choose "Skype call."     (1K2AL)

[9:35] Ali Hashemi: joinconference is not online but invisible?     (1K2AM)

[9:36] Simon Spero: joinconference is hiding but working     (1K2AN)

[9:36] Amanda Vizedom: Ali, can you see my 12:31 comments above?     (1K2AO)

[9:40] Ali Hashemi: Just saw them, thanks.     (1K2AP)

[9:31] anonymous morphed into Christopher Spottiswoode     (1K2AQ)

[9:32] anonymous1 morphed into AdrianGiurca     (1K2AR)

[9:32] anonymous morphed into Naicong Li     (1K2AS)

[9:32] anonymous1 morphed into HassanAitKaci     (1K2AT)

[9:33] anonymous morphed into Gary Gannon     (1K2AU)

[9:35] anonymous2 morphed into Leora Morgenstern     (1K2AV)

[9:35] anonymous morphed into Karl Hebenstreit     (1K2AW)

[9:35] anonymous morphed into Francesca Quattri     (1K2AX)

[9:37] anonymous morphed into Dennis Pierson     (1K2AY)

[9:38] anonymous morphed into Julien Corman     (1K2AZ)

[9:40] anonymous2 morphed into Michael Riben     (1K2AAA)

[9:40] anonymous1 morphed into Brian Haugh     (1K2AAB)

[9:40] anonymous2 morphed into GenZou     (1K2AAC)

[9:41] anonymous1 morphed into Pavithra Kenjige     (1K2AAD)

[9:41] Pavithra Kenjige: Mute using *6     (1K2AAE)

[9:45] Peter P. Yim: == Leo Obrst and Benjamin Grosof starts the session - please open the slides at:     (1K2AAF)

[9:45] anonymous1 morphed into Beth Huffer     (1K2AAH)

[9:46] Henson Graves: I cannot get to the web page any more under any browser     (1K2AAI)

[9:49] Peter P. Yim: @Henson - the wiki session page should be working properly (I just checked from my own browser)     (1K2AAJ)

[9:49] Peter P. Yim: == Opening Remarks: see -     (1K2AAK)

[11:55] from BenjaminGrosof's notes ...     (1K2AAM)

notes on various opening remarks (2-min. each)     (1K2AAN)

Michael Gruninger     (1K2AAO)

- advocate of expressive, esp. FOL and CL     (1K2AAP)

- need good support for automated reasoning to be really useful     (1K2AAQ)

- looking for guidance from reasoning community wrt tools for ontologies     (1K2AAR)

to be evaluated and applied     (1K2AAS)

- looking for test cases from the ontology community     (1K2AAT)

- hope for insights on what is the appropriate ontology language to use     (1K2AAU)

operationally for various applications, not just original development of     (1K2AAV)

ontologies     (1K2AAW)

Leora Morgenstern     (1K2AAX)

- at Leidos, co. new name of split SAIC     (1K2AAY)

- working on DARPA seedling on how to go from regulatory text to executable     (1K2AAZ)

. looking at financial, incl. SEC, and other Patriot Act     (1K2AAAB)

- extract intermediate representations, incl.     (1K2AAAC)

. as rich an ontology as one can get     (1K2AAAD)

. dependency graph among rules     (1K2AAAE)

. semantic parsing and assignment for roles incl. permission/obligation     (1K2AAAF)

- an immediate issue is what representation to use     (1K2AAAG)

. RIF is clearly inadequate expressively     (1K2AAAH)

. exceptions are such a fundamental concept, incl. priorities     (1K2AAAI)

o need language like SILK -- ie Rulelog     (1K2AAAJ)

Michael Kifer     (1K2AAAK)

- think the rules community has the best technology for KR, but somehow not     (1K2AAAL)

getting its due in the community     (1K2AAAM)

- RIF - systemic problems due to the charter could not produce the dialect     (1K2AAAN)

most useful for the rules community, had to focus on BLD which is basically     (1K2AAAO)

Datalog and not so useful     (1K2AAAP)

- later tried to produce more expressive dialects, which use Well Founded     (1K2AAAQ)

Semantics, but it's hard to get attention for this     (1K2AAAR)

- now I and Benjamin are pushing Rulelog     (1K2AAAS)

- would like people to pay more attention to standards, and produce right     (1K2AAAT)

- not clear that W3C is the right venue for this, since not clear     (1K2AAAV)

they are interested in continuing the RIF effort     (1K2AAAW)

- feel that the efforts overall are fractured, incl. there is an effort for     (1K2AAAX)

Answer Set Programs but they don't seem interested in non-ASP, only ASP     (1K2AAAY)

. need to overcome this fragmentation     (1K2AAAZ)

Vinay Chaudhri     (1K2AAAAA)

- (see his slide)     (1K2AAAAB)

- separation between ontologies and rules is artificial     (1K2AAAAC)

- focus should be on decidable reasoning     (1K2AAAAD)

. folks in rule languages community have not focused so much on this,     (1K2AAAAE)

but rather on expressiveness     (1K2AAAAF)

. in DB systems, the performance guarantees are crucial     (1K2AAAAG)

Harold Boley     (1K2AAAAH)

- (see his slides)     (1K2AAAAI)

Henson Graves     (1K2AAAAJ)

- (see his slide)     (1K2AAAAK)

Ken Baclawski     (1K2AAAAL)

- (see his slide)     (1K2AAAAM)

- (see his slides, he mainly covered slide 2 verbally)     (1K2AAAAO)

- recorded (started about 10:14a PDT)     (1K2AAAAP)

- vagueness and uncertainty are important     (1K2AAAAQ)

. contrast that with very clean model-theoretic kinds of approaches     (1K2AAAAR)

- delighted to see this cooperation b/ ontology and rules community,     (1K2AAAAT)

which have largely been disjoint despite many common goals     (1K2AAAAU)

- (see his slide)     (1K2AAAAW)

- feel this miniseries is a very important next step     (1K2AAAAX)

[9:53] anonymous1 morphed into Francesca Quattri     (1K2AAAAY)

[9:53] Peter P. Yim: @speakers - those who do not have slides for their opening remarks are encouraged     (1K2AAAAZ)

to capture their thoughts into this chat-room (or send me their slide(s) which I can add back to the archives)     (1K2AAAAAA)

[9:56] Peter P. Yim: @Leo, @Banjamin - (please remind the participants) we have 46 people on the     (1K2AAAAAB)

phone-bridge, but only 38 in the chat ... please join us in the chat-room if you aren't already ...     (1K2AAAAAC)

ref. details at top of session page     (1K2AAAAAD)

[9:56] anonymous1 morphed into Paul Fodor     (1K2AAAAAE)

[10:01] anonymous morphed into SnezanaNikolic     (1K2AAAAAF)

[9:59] Frank Olken: Leora Morgenstern, Contact me about an upcoming workshop in DC Nov. 14-15 on     (1K2AAAAAG)

information sharing for financial regulation. I think you would find it interesting.     (1K2AAAAAH)

[10:05] anonymous morphed into Frank Chum     (1K2AAAAAO)

[10:03] Leora Morgenstern: @VinayChaudhri: The reason we need a rule language and not just     (1K2AAAAAP)

ontologies, is that ontologies aren't sufficiently expressive.     (1K2AAAAAQ)

[10:03] Leora Morgenstern: We need rules with n-ary predicates, for examples.     (1K2AAAAAR)

[10:03] Leora Morgenstern: We need to represent exceptions and default reasoning.     (1K2AAAAAS)

[10:04] Amanda Vizedom: +1 to remarks about artificiality of separating "rules" from "ontology." IMHO     (1K2AAAAAT)

this creates artificial barriers and obstacles for projects using a representation that separates these.     (1K2AAAAAU)

[10:04] Leora Morgenstern: We can't do all that we need in an ontology.     (1K2AAAAAV)

[10:04] Leora Morgenstern: However, an ontology is an important component in our system.     (1K2AAAAAW)

[10:04] Simon Spero: @LeoraMorgenstern: that's crazy talk. Next you'll want default reasoning or something :-P     (1K2AAAAAX)

[10:04] Leora Morgenstern: @Simon, indeed I do want default reasoning. And yes, crazy talk is what I do.     (1K2AAAAAY)

[10:05] Amanda Vizedom: @LeoraMorgenstern, I think the point is that there is no reason to think of     (1K2AAAAAZ)

the rules as something apart from the ontology. That separation is what gives us insufficiently     (1K2AAAAAAA)

expressive ontologies. But many ontologies/ representations include rules as an essential part of the ontology.     (1K2AAAAAAB)

[10:05] Frank Olken: Leora Morgenstern, I agree with the need for rules with n-ary predicates.     (1K2AAAAAAC)

[10:07] Leora Morgenstern: @Amanda, yes, some rules, but not all kinds of rules. Rules with n-ary     (1K2AAAAAAD)

predicates? default rules?     (1K2AAAAAAE)

[10:07] Todd Schneider: Leora Morgenstern, Frank, The issue is the expressivity of representation     (1K2AAAAAAF)

language. Some are less expressive than others.     (1K2AAAAAAG)

[10:07] Leo Obrst: The separation of ontology from rules is probably an artifact of semantic web     (1K2AAAAAAH)

technologies, i.e., DL-based OWL. Other ontology languages make no such separation.     (1K2AAAAAAI)

[10:07] Leora Morgenstern: @Todd, frankly, we need more than FOL.     (1K2AAAAAAJ)

[10:08] Amanda Vizedom: @LeoraMorgenstern, that will vary with expressiveness of language. And     (1K2AAAAAAK)

different use cases will require different expressiveness.     (1K2AAAAAAL)

[10:10] Leora Morgenstern: @Amanda, certainly, if you expand your definition of ontology to include     (1K2AAAAAAM)

rules with n-ary predicates, default rules, modal operators (deontic logic), etc, then sure. But     (1K2AAAAAAN)

then we're just redefining the word, no?     (1K2AAAAAAO)

[10:10] Todd Schneider: Leora Morgenstern, for your problem space, probably. The question(s) that     (1K2AAAAAAP)

should be asked is what problems are you trying to solve. This should then provide requirements for     (1K2AAAAAAQ)

the needed expressivity and the language needed (and any supplements).     (1K2AAAAAAR)

[10:12] Amanda Vizedom: @Todd, I think that's exactly right. What I took Vinay to be addressing is     (1K2AAAAAAS)

this (relatively recent) phenomenon in which people discover that limited-expressiveness languages,     (1K2AAAAAAT)

not supporting rules, are insufficient for their needs, and then create or adopt a *separate*,     (1K2AAAAAAU)

added-on language for rules. It seems much more sensible instead to move to a higher-expressiveness,     (1K2AAAAAAV)

rule-inclusive representation -- of which there are many, already developed and understood.     (1K2AAAAAAW)

[10:14] Amanda Vizedom: @LeoraMorgenstern, for many of us who have been working in ontologies for     (1K2AAAAAAX)

many years, we are experiencing a redefinition in the other direction. This idea of ontologies as     (1K2AAAAAAY)

not including rules is the new one, and when it first started popping up in literature/ conferences,     (1K2AAAAAAZ)

etc., it was quite puzzling.     (1K2AAAAAAAA)

[10:15] Leora Morgenstern: @Amanda, I understand your point. But I think you can see where I'm coming     (1K2AAAAAAAB)

from. It's a complex domain, and we need a very expressive representation, and I don't know of any     (1K2AAAAAAAC)

ontology that gives what I need. If you can point one out, I'll be happy to look at it,.     (1K2AAAAAAAD)

[10:21] Amanda Vizedom: @LeoraMorgenstern, I definitely get it. And I started my ontology career     (1K2AAAAAAAE)

working with Cyc / CycL, so was spoiled at the outset with respect to expressivity and the use of     (1K2AAAAAAAF)

rules within ontology. I hope that in the process of this miniseries, we see more richness of     (1K2AAAAAAAG)

[10:15] Beth Huffer: It might help if we are clear about the difference between the language, and the     (1K2AAAAAAAI)

model that is the basis for assigning meanings to terms in the language. If you think the "ontology"     (1K2AAAAAAAJ)

doesn't include rules, that might be because you are thinking of the ontology as the model. But the     (1K2AAAAAAAK)

language can surely include terms and functions and operators as needed for describing the domain.     (1K2AAAAAAAL)

In that sense, there's no need to have separate languages for the "ontology" and the rules. I'm     (1K2AAAAAAAM)

putting "ontology" in quotes because we are pretty fast and loose in the semantic tech world about     (1K2AAAAAAAN)

what an ontology is.     (1K2AAAAAAAO)

[10:19] Todd Schneider: Beth Huffer, an ontology is a model (of some sort).     (1K2AAAAAAAP)

[10:13] Todd Schneider: Amanda, the largest constraint (from a production viewpoint) is the viability     (1K2AAAAAAAQ)

of the infrastructure to support the choice.     (1K2AAAAAAAR)

[10:16] Amanda Vizedom: Todd, that's very true. The best-tooled, best-tested, higher-expressiveness     (1K2AAAAAAAS)

systems are also mostly proprietary. Currently, most(?) or at least many projects require or prefer     (1K2AAAAAAAT)

an open standard representation langugage, and we lag badly in the support for the     (1K2AAAAAAAU)

higher-expressiveness options there.     (1K2AAAAAAAV)

[10:20] Todd Schneider: Amanda, Yes. Any large customer usually prefers or requires products that     (1K2AAAAAAAW)

comply with [open] standards.     (1K2AAAAAAAX)

[10:13] Simon Spero: Anyone here who knows anything about Typed Feature Structures and unification?     (1K2AAAAAAAY)

[10:16] anonymous morphed into Hamizah Hamka     (1K2AAAAAAAAA)

[10:18] Francesca Quattri: @Harold. I am looking at your slides (no. 5). A question about the concept     (1K2AAAAAAAAB)

of "reaction rules". Did I get it right when you suggested that we could reuse the same ontological     (1K2AAAAAAAAC)

rules from an ontology to another in no random order, but according to the subsumed examples that     (1K2AAAAAAAAD)

you proposed? e.g. spatio ontology subsumes to temporal ontology, action ont. to event ont. etc.?     (1K2AAAAAAAAE)

Thank you for the explanation.     (1K2AAAAAAAAF)

[10:41] Harold Boley: @Francesca, the "Reaction Rules" slide gives the big picture of Reaction     (1K2AAAAAAAAG)

RuleML. In the third row, spatio and temporal ontologies are often used together, as are action and     (1K2AAAAAAAAH)

event ontologies. But generally, (Reaction) RuleML provides a 'pluggable' architecture where you can     (1K2AAAAAAAAI)

modularly combine various ontologies. We are currently re-specifying Reaction RuleML 1.0 from XSD in     (1K2AAAAAAAAJ)

Relax NG. This would allow MYNG-style customization of Reaction RuleML as we already do for     (1K2AAAAAAAAK)

[11:03] Francesca Quattri: @Harold: Among the good things that are in the wiki (shared link) is the     (1K2AAAAAAAAM)

fact that it contains examples (ref. "Example Instance Files for RuleML 1.0"). It helps to frame the     (1K2AAAAAAAAN)

final intent into real world applications.     (1K2AAAAAAAAO)

[10:21] Peter P. Yim: == Leo Obrst presenting: "Survey: Logic, Logic Programming, Ontology, Rules"     (1K2AAAAAAAAP)

[10:24] Simon Spero: Program = algorithm + data . Algorithm = logic + control     (1K2AAAAAAAAQ)

. Program = logic + control + data . Ontology = program - control?     (1K2AAAAAAAAR)

[10:31] Francesca Quattri: got the def. of reaction rules. thank you Leo     (1K2AAAAAAAAS)

[10:34] Simon Spero: Prolog is a high level WAM assembler language     (1K2AAAAAAAAT)

[11:24] Simon Spero: WAM - A tutorial reconstruction - http://wambook.sourceforge.net/     (1K2AAAAAAAAU)

[10:38] Benjamin Grosof: What Leo is referring to with LP is often the LP family of KRs, incl.     (1K2AAAAAAAAV)

extensions for skolemization, defeasibility, Rulelog, etc.     (1K2AAAAAAAAW)

[11:55] from BenjaminGrosof's notes ...     (1K2AAAAAAAAX)

notes on survey by Leo (see his slide deck)     (1K2AAAAAAAAY)

(Benjamin's note to self:     (1K2AAAAAAAAZ)

nice/cute ex. of semantics of material implication and contraposition:     (1K2AAAAAAAAAA)

"if pigs can fly ..."" on slide 7)     (1K2AAAAAAAAAB)

[10:42] anonymous morphed into Oscar     (1K2AAAAAAAAAC)

[10:47] Peter P. Yim: == Benjamin Grosof presenting: ""Survey of Knowledge Representations for Rules and Ontologies "     (1K2AAAAAAAAAD)

[10:55] Amanda Vizedom: Regarding @BenjaminGrosof's slide 3 point 3: Agreed, but a notable point:     (1K2AAAAAAAAAE)

anyone who takes even an Introduction to "Symbolic Logic" or "Formal Logic" course (usually taught     (1K2AAAAAAAAAF)

in a Philosophy or Mathematics department, but often taken much more broadly) in college *does*     (1K2AAAAAAAAAG)

learn the rules and key ingredients here. Test: if your Intro to Logic class had variables and     (1K2AAAAAAAAAH)

Quantifiers, you learned this. :-)     (1K2AAAAAAAAAI)

[10:56] Simon Spero: Imperial College still has mandatory Prolog (sequenced after the first Logic course)     (1K2AAAAAAAAAJ)

[10:56] Hamizah Hamka: Apologize team of experts. Need to leave too soon for its too late here. Hope     (1K2AAAAAAAAAK)

to participate in future event. Have a fruitful discussion.     (1K2AAAAAAAAAL)

[10:58] Peter P. Yim: @HamizahHamka - thank you for participating ... all the way from Malaysia     (1K2AAAAAAAAAM)

[10:57] Amanda Vizedom: +1 Slide 4: viewing as "rules" or "ontological statements" is largely a     (1K2AAAAAAAAAN)

matter of *view* and *use*. In fact, expressive KRs include "syntactic sugar" to allow moving     (1K2AAAAAAAAAO)

between the views for many kinds of information.     (1K2AAAAAAAAAP)

[11:00] Amanda Vizedom: Big point in support of the "rules" & "ontological knowledge" overlap: The     (1K2AAAAAAAAAQ)

fundamental ontological relationship of "subclass" or "subtype" is a (usually hard-coded) expression     (1K2AAAAAAAAAR)

of a rule pattern: "A is a subclass of B" means: "If x is an instance of A then x is also an     (1K2AAAAAAAAAS)

instance of B." It's that fundamental.     (1K2AAAAAAAAAT)

[11:00] anonymous morphed into AlessandroProvetti     (1K2AAAAAAAAAU)

[11:06] Simon Spero: I'm not sure that the OWL choice of OWA (with no Clark completion) keeps it in     (1K2AAAAAAAAAV)

the mainstream of LP?     (1K2AAAAAAAAAW)

[11:55] from BenjaminGrosof's notes ...     (1K2AAAAAAAAAY)

notes on survey by Benjamin (see his slide deck)     (1K2AAAAAAAAAZ)

Cyc is much closer to Rulelog (vs. to FOL or to LP)     (1K2AAAAAAAAAAA)

[11:12] HassanAitKaci: Before Hilog: lambda-Prolog, and its later incarnation Teyjus (     (1K2AAAAAAAAAAB)

[11:21] Harold Boley: Dale Miller's et al.'s lambda-Prolog actually covers a (second-order) fragment     (1K2AAAAAAAAAAD)

of higher-order logics, not just higher-order syntax: http://www.lix.polytechnique.fr/~dale/lProlog/     (1K2AAAAAAAAAAE)

[11:17] Peter P. Yim: == Q&A and open discussion ... please raise your hand, get called upon by the     (1K2AAAAAAAAAAF)

chair, test your voice, before making your remark     (1K2AAAAAAAAAAG)

[11:19] HassanAitKaci: [regarding how to be heard on the voice bridge, to make a remark] I'm on     (1K2AAAAAAAAAAH)

Skype and unmuted ... I don't understand ... [ppy: you will press "*7" on the skype "dialpad" to     (1K2AAAAAAAAAAI)

un-mute (it maybe hidden under the "Call" dropdown menu) ... after speaking, press "*6" to go back     (1K2AAAAAAAAAAJ)

[11:55] from BenjaminGrosof's notes ...     (1K2AAAAAAAAAAL)

Hassan: presentations very good, but bit biased in that ignored some     (1K2AAAAAAAAAAN)

important relevant work     (1K2AAAAAAAAAAO)

- in particular: lambda calculus, where a function is described as a rule     (1K2AAAAAAAAAAP)

- that was the basis for the first work on higher-order programming     (1K2AAAAAAAAAAQ)

. G��rard Huet. R��solution d'��quations dans les langages d'ordre 1,2,��,ω. Th��se de doctorat d'��tat, Universit�� Paris 7, 1976     (1K2AAAAAAAAAAR)

. Dale Miller and Gopalan Nadathur on lambda-Prolog     (1K2AAAAAAAAAAS)

. Teyjus.cs.umn.edu system work at U Minn by Gopalan Nadathur -- see that for references     (1K2AAAAAAAAAAT)

- key to cover in miniseries: operational, implementation,     (1K2AAAAAAAAAAU)

pragmatically how run, how efficient     (1K2AAAAAAAAAAV)

. Prolog via WAM     (1K2AAAAAAAAAAW)

. lambda-calculus also implemented via an abstract-machine mechanism     (1K2AAAAAAAAAAX)

- work on constraint logic programming     (1K2AAAAAAAAAAY)

. gives Prolog technology much bigger power, opens the LP paradigm to anything     (1K2AAAAAAAAAAZ)

that one can represent as a constraint solving process, incl.     (1K2AAAAAAAAAAAA)

probabilistic or fuzzy or whatever     (1K2AAAAAAAAAAAB)

- there's a new generation that's not very educated in logic programming     (1K2AAAAAAAAAAAC)

. we need to make it learnable without undue effort     (1K2AAAAAAAAAAAE)

Benjamin in response to Hassan: agree     (1K2AAAAAAAAAAAF)

- also very important is modern LP implementationally are tabling techniques,     (1K2AAAAAAAAAAAG)

a kind of caching of work on subgoals and their results     (1K2AAAAAAAAAAAH)

[11:17] Harold Boley: You can practically explore higher-order Hornlog syntax as developed for Hilog     (1K2AAAAAAAAAAAJ)

[11:25] Alex Mirzaoff: Can either of the presenters comment on the application of tmeporal     (1K2AAAAAAAAAAAN)

descriptors as terms? in logic programs?     (1K2AAAAAAAAAAAO)

[11:25] Leo Obrst: As mentioned by Hassan, efficiency is important, and such an area as knowledge     (1K2AAAAAAAAAAAP)

compilation addresses how to "compile" very expressive knowledge into more efficient runtime     (1K2AAAAAAAAAAAQ)

[11:28] Simon Spero: "With imperative programming, you have to tell the computer how to do what you     (1K2AAAAAAAAAAAS)

want. With declarative programming, you have to trick the computer in to doing what you want."     (1K2AAAAAAAAAAAT)

[11:55] from BenjaminGrosof's notes ...     (1K2AAAAAAAAAAAU)

notes on verbal Q from Peter P. Yim wrt LeoObrst's presentation, slide 26     (1K2AAAAAAAAAAAV)

Q. Peter asked what Leo meant when he said things like substructural logics and     (1K2AAAAAAAAAAAW)

probabilistic logics would not be include - whether he meant these are not in scope     (1K2AAAAAAAAAAAX)

in this mini-series     (1K2AAAAAAAAAAAY)

A. Leo responded that he just meant that these things will not be included in this     (1K2AAAAAAAAAAAZ)

particular presentation (and slide deck)     (1K2AAAAAAAAAAAAA)

[11:28] Joel Bender: Is there a description of RuleML and its component "ontologies" that describes     (1K2AAAAAAAAAAAAB)

it concepts in a way that is similar to FOAF or RDFS?     (1K2AAAAAAAAAAAAC)

[11:55] from BenjaminGrosof's notes ...     (1K2AAAAAAAAAAAAD)

notes on JoelBender's verbal Q about description of RuleML <--> RDF ontologies as in foaf or whatever     (1K2AAAAAAAAAAAAE)

Answer by Harold and Benjamin:     (1K2AAAAAAAAAAAAF)

- there are relationships in terms of data models,     (1K2AAAAAAAAAAAAG)

. Harold will post some links to chat; also it's important     (1K2AAAAAAAAAAAAH)

- it's also important to understand at logical/semantic level, incl. what's     (1K2AAAAAAAAAAAAI)

essential in syntax     (1K2AAAAAAAAAAAAJ)

[11:33] Harold Boley: Data models of XML (positional) and RDF (slotted) can be reconciled:     (1K2AAAAAAAAAAAAK)

[11:37] Harold Boley: RuleML uses XML in the object-oriented manner enabled by this reconciliation:     (1K2AAAAAAAAAAAAM)

Distinction of capitalized Nodes ('types') and lower-cased edge ('role') XML elmenets.     (1K2AAAAAAAAAAAAN)

[11:42] Harold Boley: The RuleML Normalizer RON can automatically generate object-oriented stripes/slots:     (1K2AAAAAAAAAAAAO)

[11:29] Amanda Vizedom: [ref. PeterYim's request to participants to morphed into their real names for     (1K2AAAAAAAAAAAAQ)

attribution purposes] [I just briefly mis-heard "attribution" as "retribution" :-\!]     (1K2AAAAAAAAAAAAR)

[11:33] Peter P. Yim: @Amanda - very funny! :)     (1K2AAAAAAAAAAAAS)

[11:30] Alex Mirzaoff: Can either of the presenters comment on the application of tmeporal     (1K2AAAAAAAAAAAAU)

descriptors as terms? in logic programs? dynamic ontologies?     (1K2AAAAAAAAAAAAV)

[11:55] from BenjaminGrosof's notes ...     (1K2AAAAAAAAAAAAW)

notes on AlexMirzaoff's verba Q about how things change in time     (1K2AAAAAAAAAAAAX)

- A by Leo: can use ontology of time or temporal logic     (1K2AAAAAAAAAAAAY)

- A by Benjamin: temporal reasoning is representable within expressive general     (1K2AAAAAAAAAAAAZ)

logics such as CL and Rulelog;     (1K2AAAAAAAAAAAAAA)

. practically, defeasibility is often very important to do     (1K2AAAAAAAAAAAAAB)

temporal reasoning efficiently and tersely, particularly     (1K2AAAAAAAAAAAAAC)

to represent causality,     (1K2AAAAAAAAAAAAAD)

incl. projection forward in time or backward in time     (1K2AAAAAAAAAAAAAE)

(as in abduction and inductive learning)     (1K2AAAAAAAAAAAAAF)

[11:38] Amanda Vizedom: Last year's "Best Paper Award" recipient at the the STIDS conference     (1K2AAAAAAAAAAAAAG)

presented a particular ontological representation of time that supported a variety of reasoning     (1K2AAAAAAAAAAAAAH)

approaches that have been often addressed in ways that have some built-in problems...     (1K2AAAAAAAAAAAAAI)

[11:41] Amanda Vizedom: @AlexMirzaoff: see Shrag "Best-practice..." at     (1K2AAAAAAAAAAAAAJ)

[11:40] Alex Mirzaoff: thanks Amanda, I will check that reference     (1K2AAAAAAAAAAAAAL)

[11:39] Peter P. Yim: great kick-off, Leo & Benjamin!     (1K2AAAAAAAAAAAAAM)

[11:39] Peter P. Yim: join us again next week 2013_10_31 - Thursday: RulesReasoningLP mini-series     (1K2AAAAAAAAAAAAAN)

session-02: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and     (1K2AAAAAAAAAAAAAO)

Semantic Web - I - Co-chairs: Leo Obrst & Harold Boley - watch out for announcement on the mailing     (1K2AAAAAAAAAAAAAP)

list and the developing session page at:     (1K2AAAAAAAAAAAAAQ)

[11:42] Alex Mirzaoff: Amanda - got it thanks     (1K2AAAAAAAAAAAAAW)

[11:46] Amanda Vizedom: Thanks all for this kick-off. Looking forward to the mini-series, and glad     (1K2AAAAAAAAAAAAAY)

these matters are getting some deserved and needed attention.     (1K2AAAAAAAAAAAAAZ)

[11:40] Peter P. Yim: -- session ended: 11:30am PDT --     (1K2AAAAAAAAAAAAAAA)

-- end of in-session chat-transcript --     (1K2AAAAAAAAAAAAAAB)

Additional Resources     (1L)


For the record ...     (1L9)

How To Join (while the session is in progress)     (1M)


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