imported>KennethBaclawski |
imported>PeterYim |
| Line 1: |
Line 1: |
| = [[RulesReasoningLP]]: mini-series session-03 - Thu 2013-11-21 =
| | ''Placeholder for ...'' |
|
| |
|
| Program: '''Ontology, Rules, and Logic Programming for Reasoning and Applications ([[RulesReasoningLP]]) mini-series of virtual panel sessions'''
| | '''2013_12_12 - Thursday: No community event - previously scheduled [[OntologyBasedStandards]] mini-series session: "How ontologies can help with the formal specification of the natural language standards" has been postponed, and will be re-scheduled ''' |
|
| |
|
| Topic: '''Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - II'''
| | ... ''(details coming!)'' |
|
| |
|
| Session Co-chairs: '''Dr. [[LeoObrst|Leo Obrst]]''' (Ontolog; MITRE) & '''Professor [[PascalHitzler|Pascal Hitzler]]''' (Wright State U) ... [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/RulesReasoningLP-s03_intro--LeoObrst-PascalHitzler_20131121.pdf intro slides]
| | [[Category:Event_Meeting]] [[Category:OntologBasedStandards]] |
| | |
| Panelists / Briefings:
| |
| | |
| * '''Dr. [[MarkusKroetzsch|Markus Krötzsch]]''' (Technische Universität Dresden) - "'''Existential Rules in Ontological Modelling'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/Existential-Rules-in-Ontological-Modelling--MarkusKroetzsch_20131121.pdf slides]
| |
| * '''Dr. [[HectorPerezUrbina|Héctor Pérez-Urbina]]''' (Clark & Parsia, LLC) - "'''Modeling with Rules in Practice'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/Modeling-with-Rules-in-Practice--HectorPerezUrbina_20131121.pdf slides]
| |
| * '''Professor [[HassanAitKaci|Hassan Aït-Kaci]]''' (Université Claude Bernard Lyon 1) - "'''Reasoning and the Semantic Web'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/Reasoning-and-the-Semantic-Web--HassanAitKaci_20131121.pdf slides]
| |
| * '''Professor [[EnricoFranconi|Enrico Franconi]]''' (Free University of Bozen-Bolzano) - "'''The Logic of Extensional RDFS'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/The-Logic-of-Extensional-RDFS--EnricoFranconi_20131121.pdf slides]
| |
| | |
| ==[http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/ Archives]==
| |
| | |
| * '''[[ConferenceCall_2013_11_21|Abstract]]'''
| |
| * '''[[ConferenceCall_2013_11_21|Agenda]]'''
| |
| * '''Prepared presentation material (slides)''' can be accessed by clicking on each of the [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/ title links] below:
| |
| ** '''[ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/RulesReasoningLP-s03_intro--LeoObrst-PascalHitzler_20131121.pdf 0-Chair] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/Existential-Rules-in-Ontological-Modelling--MarkusKroetzsch_20131121.pdf 1-Kroetzsch] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/Modeling-with-Rules-in-Practice--HectorPerezUrbina_20131121.pdf 2-Pérez-Urbina] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/Reasoning-and-the-Semantic-Web--HassanAitKaci_20131121.pdf 3-Aït-Kaci] ] . [ [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/The-Logic-of-Extensional-RDFS--EnricoFranconi_20131121.pdf 4-Franconi] ]'''
| |
| * '''[[ConferenceCall_2013_11_21|Transcript of the online chat]]''' during the session
| |
| * '''[http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/RulesReasoningLP-s03_20131121b.mp3 Audio recording of the session]''' ... [ 1:40:31 ; mp3 ; 11.51 MB ]
| |
| ** its best that you listen to the session while having the respective presentations (linked above) opened in front of you. You'll be prompted to advance slides by the speaker.
| |
| * '''[[ConferenceCall_2013_11_21|Additional Resources]]'''
| |
| | |
| == [[MeetingsCalls|Conference Call]] Details ==
| |
| | |
| * Date: '''Thursday, 21-Nov-2013'''
| |
| * Start Time: 9:30am PST / 12:30pm EST / 6:30pm CET / 17:30 GMT/UTC
| |
| ** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=11&day=21&year=2013&hour=9&min=30&sec=0&p1=224 World Clock]
| |
| * Expected Call Duration: ~2.0 hours
| |
| | |
| * Dial-in:
| |
| ** '''Phone (US): +1 (206) 402-0100''' ... (long distance cost may apply)
| |
| *** when prompted enter '''Conference ID: 141184#'''
| |
| *** ... [ backup nbr: (415) 671-4335 ]
| |
| *** (for phone dial-in) ... some local numbers may be available (in the US, Australia, Canada & UK) - see: http://instantteleseminar.com/Local/
| |
| ** ''in view of recently 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 ... [[VirtualSpeakerSessionTips|ref.]])
| |
| *** when prompted enter '''Conference ID: 141184#'''
| |
| *** Unfamiliar with how to do this on Skype? ...
| |
| **** 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.
| |
| *** 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 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. ... ([[VirtualSpeakerSessionTips|ref.]])
| |
| *** 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#
| |
| | |
| * '''Shared-screen support''' (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/
| |
| ** view-only password: "ontolog"
| |
| ** 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.
| |
| ** people behind corporate firewalls may have difficulty accessing this. If that is the case, please download the '''[[ConferenceCall_2013_11_21|slides above]]''' (where applicable) and running them locally. The speaker(s) will prompt you to advance the slides during the talk.
| |
| | |
| * '''In-session chat'''-room url: http://webconf.soaphub.org/conf/room/ontolog_20131121
| |
| ** 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").
| |
| ** 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.
| |
| ** 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_20131121@soaphub.org ... Handy for mobile devices!
| |
| | |
| * '''Discussions and Q & A:'''
| |
| ** Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker.
| |
| ** '''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.)
| |
| ** 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.)
| |
| ** 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.)
| |
| | |
| * Please review our Virtual Session Tips and Ground Rules - see: [[VirtualSpeakerSessionTips]]
| |
| | |
| * '''RSVP''' '' to [mailto:peter.yim@cim3.com 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.)
| |
| | |
| * This session, like all other Ontolog events, is open to the public. Information relating to this session is shared on this wiki page: http://ontolog.cim3.net/cgi-bin/wiki.pl?OOR/ConferenceCall_2013_11_21
| |
| | |
| == Attendees ==
| |
| | |
| * Attended: (incl. all registrants)
| |
| ** [[LeoObrst|Leo Obrst]] (co-chair)
| |
| ** [[PascalHitzler|Pascal Hitzler]] (co-chair)
| |
| ** [[MarkusKroetzsch|Markus Kroetzsch]]
| |
| ** [[HectorPerezUrbina]]
| |
| ** [[HassanAitKaci]]
| |
| ** [[EnricoFranconi|Enrico Franconi]]
| |
| ** [[PeterYim|Peter P. Yim]]
| |
| ** [[LamarHenderson|Lamar Henderson]]
| |
| ** [[DennisPierson|Dennis Pierson]]
| |
| ** [[FrancescaQuattri|Francesca Quattri]]
| |
| ** [[BrandonWhitehead|Brandon Whitehead]]
| |
| ** [[HaroldBoley|Harold Boley]]
| |
| ** [[OnnoPaap|Onno Paap]]
| |
| ** [[AliHashemi|Ali Hashemi]]
| |
| ** [[DavidMendes|David Mendes]]
| |
| ** [[TaraAthan|Tara Athan]]
| |
| ** [[ElieAbiLahoud]]
| |
| ** [[ToddPehle|Todd Pehle]]
| |
| ** [[AidaGandara|Aida Gandara]]
| |
| ** [[GaryGannon|Gary Gannon]]
| |
| ** [[RyanHohimer|Ryan Hohimer]]
| |
| ** [[AlanRector|Alan Rector]]
| |
| ** [[PatrickMaroney|Patrick Maroney]]
| |
| ** [[ChuckRehberg|Chuck Rehberg]]
| |
| ** [[AmandaVizedom|Amanda Vizedom]]
| |
| ** [[NancyWiegand|Nancy Wiegand]]
| |
| ** [[ConradBock|Conrad Bock]]
| |
| ** [[DennisWisnosky|Dennis Wisnosky]]
| |
| ** GenZou
| |
| ** [[HensonGraves|Henson Graves]]
| |
| ** [[JackRing|Jack Ring]]
| |
| ** [[MichaelGruninger|Michael Grüninger]]
| |
| ** [[MikeBennett|Mike Bennett]]
| |
| ** [[NaicongLi|Naicong Li]]
| |
| ** [[OliverKutz|Oliver Kutz]]
| |
| ** [[PavithraKenjige|Pavithra Kenjige]]
| |
| ** [[RichardMartin|Richard Martin]]
| |
| ** [[SimonSpero|Simon Spero]]
| |
| ** [[BethHuffer|Beth Huffer]]
| |
| ** BillNadal
| |
| ** [[BrianHaugh|Brian Haugh]]
| |
| ** [[FeliciaSweet|Felicia Sweet]]
| |
| ** [[FrankLinton|Frank Linton]]
| |
| ** PaulBrandt
| |
| ** [[PeterEirich|Peter Eirich]]
| |
| ** [[TejalShah|Tejal Shah]]
| |
| ** lakhdar
| |
| | |
| * Expecting:
| |
| ** ...
| |
| ** ''(please add yourself to the list above if you are a member of the community, or, rsvp to <peter.yim@cim3.com> with the event title/date and your name and affiliation)''
| |
| | |
| * Regrets:
| |
| ** [[BartGajderowicz|Bart Gajderowicz]]
| |
| ** [[ChristopherSpottiswoode|Christopher Spottiswoode]]
| |
| ** [[BenjaminGrosof|Benjamin Grosof]]
| |
| ** ...
| |
| | |
| == Abstract ==
| |
| | |
| '''Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - II''' ... [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/RulesReasoningLP-s03_intro--LeoObrst-PascalHitzler_20131121.pdf intro slides]
| |
| | |
| This is the 3rd 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."
| |
| | |
| This session is the second 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 invited to share their work with us today include Dr. [[MarkusKroetzsch|Markus Kroetzsch]], Dr. [[HectorPerezUrbina]], Professor [[HassanAitKaci]] and Professor EnricoFranconi.
| |
| | |
| After the panelists briefings, there will be time for Q&A and an open discussion among the panel and all the participants.
| |
| | |
| See more details at: '''[[RulesReasoningLP]]''' (homepage for this mini-series)
| |
| | |
| === Briefings ===
| |
| | |
| * '''Dr. MarkusKroetzsch''' (Technische Universität Dresden) - "'''Existential Rules in Ontological Modelling'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/Existential-Rules-in-Ontological-Modelling--MarkusKroetzsch_20131121.pdf slides]
| |
| ** ''Abstract:'' We are witnessing a renaissance of rule-based approaches both in knowledge representation and in databases. Data management applications consider Datalog as a query language while tuple-generating dependencies (TGDs) are used in data integration and exchange. In ontological modelling, existential rules (a.k.a. Datalog+/-) are investigated, leading to many new rule languages of varying expressivity and complexity. In this talk, we give a brief overview of these recent developments, and we present a particular application of rules in knowledge modelling that is contrasted to traditional uses of rules in AI applications.
| |
| | |
| * '''Dr. [[HectorPerezUrbina]]''' (Clark & Parsia, LLC) - "'''Modeling with Rules in Practice'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/Modeling-with-Rules-in-Practice--HectorPerezUrbina_20131121.pdf slides]
| |
| ** ''Abstract:'' In our experience, users typically regard rules as a friendlier alternative to axioms; however, in spite of their popularity, rules remain poorly understood. In this talk, we review common concerns, questions, and difficulties from our user base regarding the use of rules for modeling ontologies. Such issues range from the semantics of rules and modeling best practices to the use of existing tools. We believe their input is valuable as it provides guidance for creating effective educational materials, directing applied research, and improving and developing tools.
| |
| | |
| * '''Professor [[HassanAitKaci]]''' (Université Claude Bernard Lyon 1) - "'''Reasoning and the Semantic Web'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/Reasoning-and-the-Semantic-Web--HassanAitKaci_20131121.pdf slides]
| |
| ** ''Abstract:'' Arguably, what made J.A. Robinson's resolution-based reasoning (and thus Prolog-style Logic Programming) powerful is first-order term (FOT) unification. Unification defines a partial-order on the algebra of FOTs, endowing it with a lattice-structure as shown by G. Plotkin in 1970. Intuitively, a FOT may be construed as a data structure denoting the set of all its instances. Then, unifying two FOTs computes the intersection of their denotations. FOT unification seen as a constraint-solving process consists in a very efficient (linear-time) equation-solving procedure. As such, a FOT is a handy data structure that Prolog programmers use to their benefit for representing approximations of objects. Yet, FOTs can be made much more expressive when seen as Order-Sorted Featured (OSF) graphs. Nodes can be labeled with partially-ordered symbols denoting taxonomic concepts rather than just functional constructors, and subterms can be indexed by unbounded feature symbols rather than fixed-arity positions. Logical variables then become coreference tags expressing equality constraints among feature compositions, including cyclic ones. In this way, all the nice features of FOTs are preserved (e.g., set-of-instance denotation, linear unification). As a result, logic programmers can enjoy a versatile data structure that is a natural extension of, and as efficient as, a Prolog term, with the added bonus of enabling taxonomic reasoning based on OSF graph unification. This presentation will overview and discuss the potential that reasoning using OSF graph unification opens for the Semantic Web thanks to the Constraint Logic Programming paradigm, as opposed to Description Logic tableaux-based reasoning adopted by the W3C. ... (latest version of my slides for this talk is also available [http://www.hassan-ait-kaci.net/pdf/hak-ontoforum.pdf here].)
| |
| | |
| * '''Professor EnricoFranconi''' (Free University of Bozen-Bolzano) - "'''The Logic of Extensional RDFS'''" - [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/The-Logic-of-Extensional-RDFS--EnricoFranconi_20131121.pdf slides]
| |
| ** ''Abstract:'' The W3C normative version of RDF Schema (RDFS) gives non-standard (intensional) interpretations to some common notions such as classes and properties, thus departing from set-based semantics (such as the OWL semantics) and leading to an unexpected behaviour. In this work we assign the correct set-based (extensional) semantics for the RDFS vocabulary while preserving the simplicity and computational complexity of deduction of the intensional version. This result can positively impact current implementations, as reasoning in RDFS can be implemented as a simple extension to current RDFS engines.
| |
| | |
| == Agenda ==
| |
| | |
| '''[[RulesReasoningLP]] Mini-series Panel Session-03'''
| |
| | |
| :'''Session Format:''' this is a virtual session conducted over an augmented conference call
| |
| | |
| * 1. Session opening: introductions - (co-chairs) - Co-chairs: [[PascalHitzler|Pascal Hitzler]] & [[LeoObrst|Leo Obrst]] (10 min.) ... [[ConferenceCall_2013_11_21|slides]]
| |
| * 2. Panel Briefings - [[MarkusKroetzsch|Markus Kroetzsch]], [[HectorPerezUrbina]], [[HassanAitKaci]], [[EnricoFranconi|Enrico Franconi]] (18~20 min. ea)
| |
| * 3. Open discussion - ALL (20 min.) ... ref. [ process above]
| |
| * 4. Wrap-up - co-chairs: [[LeoObrst|Leo Obrst]] & [[PascalHitzler|Pascal Hitzler]]
| |
| | |
| == Proceedings ==
| |
| | |
| Please refer to the [[ConferenceCall_2013_11_21|above]]
| |
| | |
| ===IM Chat Transcript captured during the session===
| |
| | |
| see raw transcript [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/chat-transcript_unedited_20131121a.txt here].
| |
| | |
| (for better clarity, the version below is a [http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-11-21_Concepts-Foundations-II/chat-transcript_edited_20131121b.txt re-organized and lightly edited chat-transcript].)
| |
| | |
| Participants are welcome to make light edits to their own contributions as they see fit.
| |
| | |
| -- begin in-session chat-transcript --
| |
| | |
| ------
| |
| | |
| Chat transcript from room: ontolog_20131121
| |
| | |
| 2013-11-21 GMT-08:00 [PST]
| |
| | |
| ------
| |
| | |
| [9:03] [[PeterYim|Peter P. Yim]]: Welcome to the
| |
| | |
| ''' [[RulesReasoningLP]]: mini-series session-03 - Thu 2013-11-21 '''
| |
| | |
| Program: Ontology, Rules, and Logic Programming for Reasoning and Applications ([[RulesReasoningLP]])
| |
| | |
| Mini-series of virtual panel sessions
| |
| | |
| Topic: Concepts and Foundations of Rules and Ontologies: Logic Programs, Classical Logic, and Semantic Web - II
| |
| | |
| Session Co-chairs: Dr. [[LeoObrst|Leo Obrst]] (Ontolog; MITRE) & Professor [[PascalHitzler|Pascal Hitzler]] (Wright State U)
| |
| | |
| Panelists / Briefings:
| |
| | |
| * Dr. [[MarkusKroetzsch|Markus Kroetzsch]] (Technische Universität Dresden) - "Existential Rules in Ontological Modelling"
| |
| | |
| * Dr. [[HectorPerezUrbina]] (Clark & Parsia, LLC) - "Modeling with Rules in Practice"
| |
| | |
| * Professor [[HassanAitKaci]] (Université Claude Bernard Lyon 1) - "Reasoning and the Semantic Web"
| |
| | |
| * Professor [[EnricoFranconi|Enrico Franconi]] (Free University of Bozen-Bolzano) - "The Logic of Extensional RDFS"
| |
| | |
| Logistics:
| |
| | |
| * Refer to details on session page at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31
| |
| | |
| * (if you haven't already done so) please click on "settings" (top center) and morph from "anonymous" to your RealName
| |
| | |
| * Mute control (phone keypad): *7 to un-mute ... *6 to mute
| |
| | |
| * Attn: Skype users ... see: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_21#nid3ZVN
| |
| | |
| ** 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.)
| |
| | |
| Attendees: [[AidaGandara|Aida Gandara]], [[AlanRector|Alan Rector]], [[AliHashemi|Ali Hashemi]], [[AmandaVizedom|Amanda Vizedom]], [[BrandonWhitehead|Brandon Whitehead]], [[ChuckRehberg|Chuck Rehberg]],
| |
| | |
| [[ConradBock|Conrad Bock]], [[DavidMendes|David Mendes]], [[DennisWisnosky|Dennis Wisnosky]], [[DennisPierson|Dennis Pierson]], [[EnricoFranconi|Enrico Franconi]], [[ElieAbiLahoud]],
| |
| | |
| [[FrancescaQuattri|Francesca Quattri]], [[GaryGannon|Gary Gannon]], GenZou, [[HaroldBoley|Harold Boley]], [[HassanAitKaci]], [[HectorPerezUrbina]], [[HensonGraves|Henson Graves]],
| |
| | |
| [[JackRing|Jack Ring]], [[LamarHenderson|Lamar Henderson]], [[LeoObrst|Leo Obrst]], [[MarkusKroetzsch|Markus Kroetzsch]], [[MichaelGruninger|Michael Grüninger]], [[MikeBennett|Mike Bennett]], [[NaicongLi|Naicong Li]],
| |
| | |
| [[NancyWiegand|Nancy Wiegand]], [[OliverKutz|Oliver Kutz]], [[OnnoPaap|Onno Paap]], [[PascalHitzler|Pascal Hitzler]], [[PatrickMaroney|Patrick Maroney]], [[PeterYim|Peter P. Yim]], [[RichardMartin|Richard Martin]],
| |
| | |
| [[RyanHohimer|Ryan Hohimer]], [[SimonSpero|Simon Spero]], [[TaraAthan|Tara Athan]], [[ToddPehle|Todd Pehle]], ...
| |
| | |
| ''' Proceedings '''
| |
| | |
| [9:16] anonymous morphed into [[BrandonWhitehead|Brandon Whitehead]]
| |
| | |
| [9:23] anonymous1 morphed into [[HectorPerezUrbina]]
| |
| | |
| [9:23] anonymous1 morphed into [[EnricoFranconi|Enrico Franconi]]
| |
| | |
| [9:26] anonymous morphed into [[EnricoFranconi|Enrico Franconi]]
| |
| | |
| [9:29] anonymous morphed into [[MarkusKroetzsch|Markus Kroetzsch]]
| |
| | |
| [9:30] [[BrandonWhitehead|Brandon Whitehead]]: [in response to PeterYim's appreciation that [[BrandonWhitehead|Brandon Whitehead]] is joining us from
| |
| | |
| New Zealand, at a very inconvenient hour] Thanks Peter! It's better now...I much prefer 0630 to 0530. :)
| |
| | |
| [9:30] anonymous morphed into [[ElieAbiLahoud]]
| |
| | |
| [9:33] anonymous morphed into [[PascalHitzler|Pascal Hitzler]]
| |
| | |
| [9:35] Hector Perez-Urbina morphed into [[HectorPerezUrbina]]
| |
| | |
| [9:36] [[PascalHitzler|Pascal Hitzler]]: Apologies I'm having technical issues with the connection
| |
| | |
| [9:40] [[PascalHitzler|Pascal Hitzler]]: let me try to reconnect
| |
| | |
| [9:41] [[PascalHitzler|Pascal Hitzler]]: perhaps to avoid further loss of time
| |
| | |
| [9:42] [[PascalHitzler|Pascal Hitzler]]: Leo can make an intro
| |
| | |
| [9:42] [[PascalHitzler|Pascal Hitzler]]: and you can start?
| |
| | |
| [9:42] anonymous morphed into [[ConradBock|Conrad Bock]]
| |
| | |
| [9:43] [[PeterYim|Peter P. Yim]]: == [[LeoObrst|Leo Obrst]] & [[PascalHitzler|Pascal Hitzler]] starts the session - see slides under
| |
| | |
| http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_21#nid3ZV8
| |
| | |
| [9:46] anonymous morphed into [[OnnoPaap|Onno Paap]]
| |
| | |
| [9:46] [[PeterYim|Peter P. Yim]]: == [[MarkusKroetzsch|Markus Kroetzsch]] presenting ...
| |
| | |
| [9:48] anonymous morphed into [[ChuckRehberg|Chuck Rehberg]]
| |
| | |
| [9:51] [[PeterYim|Peter P. Yim]]: @Leo @Pascal - we have 37 people on the voice bridge, but only 26 in the chat-room
| |
| | |
| now; so, at the next opportunity (transition to next speaker,) please prompt people to join us in
| |
| | |
| the chat room
| |
| | |
| [9:54] anonymous morphed into [[DavidMendes|David Mendes]]
| |
| | |
| [9:54] [[AmandaVizedom|Amanda Vizedom]]: @MarkusKroetzsch -- In ontological modeling of complex structures and domains,
| |
| | |
| a classic approach (in AI applications but not DL traditions, of course) is to model many of the
| |
| | |
| relatively stable complex relationships between things *as rules*. To me, it seems that removing
| |
| | |
| rules *as a means of representing complex relationships* from the ontological toolkit makes ontology
| |
| | |
| work much harder and less effective. So, to me, these views seem to overlap. Do you not agree? Or do
| |
| | |
| you think that the complex relationships that exist are not to be ontologically (and declaratively)
| |
| | |
| modeled, or should be modeled in some other way?
| |
| | |
| [9:57] [[AmandaVizedom|Amanda Vizedom]]: @MarkusKroetzsch - the above comment/question was a reaction to your slide 2; I
| |
| | |
| see on slide 6 that you begin to address this.
| |
| | |
| [9:59] [[PascalHitzler|Pascal Hitzler]]: @AmandaVizedom: I'm not Markus, of course, but let me add my own perspective
| |
| | |
| here: The paradigms recently seem to be converging, and in particular work done and initiated by
| |
| | |
| Markus is central for this convergence. Perhaps a good starting point for looking into this is
| |
| | |
| [[MarkusKroetzsch|Markus Kroetzsch]], Frederick Maier, Adila Alfa Krisnadhi, [[PascalHitzler|Pascal Hitzler]], A Better Uncle For OWL -
| |
| | |
| Nominal Schemas for Integrating Rules and Ontologies. In: S. Sadagopan, Krithi Ramamritham, Arun
| |
| | |
| Kumar, M.P. Ravindra, Elisa Bertino, Ravi Kumar (eds.), WWW '11 20th International World Wide Web
| |
| | |
| Conference, Hyderabad, India, March / April 2011. ACM, New York, 2011, pp. 645-654.
| |
| | |
| ... see: http://korrekt.org/page/A_Better_Uncle_For_OWL
| |
| | |
| [9:58] [[MichaelGruninger|Michael Grüninger]]: Speaking controversially, there are many people who equate ontologies with
| |
| | |
| logical theories which are definable in OWL or RDF, and for such people, anything expressed with
| |
| | |
| rules is something that is outside any ontology. Hopefully, this Ontolog mini-series will dispel
| |
| | |
| this misconception.
| |
| | |
| [9:59] [[SimonSpero|Simon Spero]]: If you look at some of the gene and phenotype ontologies, the force fitting into
| |
| | |
| DL for reactions, enzymes etc is especially noticeable
| |
| | |
| [10:00] [[PascalHitzler|Pascal Hitzler]]: @MichaelGruninger: I very much agree :)
| |
| | |
| [10:00] [[AmandaVizedom|Amanda Vizedom]]: +1 for dispelling that. I'm aware of it, and am happy to acknowledge that as
| |
| | |
| a choice people can make in the type of ontology they work with, but it is frustrating to see people
| |
| | |
| re-define ontology so as to exclude much of its historical and continuing development and application!
| |
| | |
| [10:18] [[MarkusKroetzsch|Markus Kroetzsch]]: @MichaelGruninger: "many people [...] equate ontologies with logical
| |
| | |
| theories which are definable in OWL" I have not witnessed this a lot. At least the Description Logic
| |
| | |
| community is quite open to this (the work I mentioned was presented at DL workshop even). I would
| |
| | |
| not call Existential Rules a type of Description Logic, but calling them an ontology language seems fine.
| |
| | |
| [10:19] [[EnricoFranconi|Enrico Franconi]]: @Markus: +1
| |
| | |
| [10:01] [[SimonSpero|Simon Spero]]: @michaelgruninger: that's not real world controversial, let alone Toronto :-)
| |
| | |
| [10:00] anonymous morphed into [[AidaGandara|Aida Gandara]]
| |
| | |
| [10:01] anonymous morphed into [[NaicongLi|Naicong Li]]
| |
| | |
| [10:02] [[PascalHitzler|Pascal Hitzler]]: I freely admit that I'm usually using rules when modeling OWL. Or more
| |
| | |
| precisely, I start with writing rules (which is easier for my brain), or some hybrid (informal)
| |
| | |
| rules/DL notation and then convert them to OWL.
| |
| | |
| [10:07] [[AmandaVizedom|Amanda Vizedom]]: Pascal, when have worked in OWL, I do the same thing. Having academic logic
| |
| | |
| training, then beginning my work in applied ontology with 6 years working in [[CycL]], I also find it
| |
| | |
| much easier to my brain to come up with rules. Translation follows, though sometimes it is not
| |
| | |
| feasible in a given OWL/ application infrastructure and some of the knowledge available for semantic
| |
| | |
| capture simply gets left out. Sometimes that's OK. Sometimes it entails reuse problems down the
| |
| | |
| road.
| |
| | |
| [10:02] [[HectorPerezUrbina]]: @AmandaVizedom, I found this paper particularly helpful:
| |
| | |
| http://www.cs.ox.ac.uk/boris.motik/pubs/mr10mknf-rules.pdf
| |
| | |
| [10:04] [[AmandaVizedom|Amanda Vizedom]]: Thanks, @Hector. Reconciliation, hmmm. :-)
| |
| | |
| [10:06] [[PascalHitzler|Pascal Hitzler]]: Boris' paper is a landmark. There's some work tightening the integration
| |
| | |
| which follows up on this, e.g. Matthias Knorr, [[PascalHitzler|Pascal Hitzler]], Frederick Maier, Reconciling OWL and
| |
| | |
| Non-monotonic Rules for the Semantic Web. In: De Raedt, L., Bessiere, C., Dubois, D., Doherty, P.,
| |
| | |
| Frasconi, P., Heintz, F., Lucas, P. (eds.), ECAI 2012, 20th European Conference on Artificial
| |
| | |
| Intelligence, 27-31 August 2012, Montpellier, France. Frontiers in Artificial Intelligence and
| |
| | |
| Applications, Vol. 242, IOS Press, Amsterdam, 2012, pp. 474-479.
| |
| | |
| http://knoesis.wright.edu/faculty/pascal/pub/KHM-ECAI12.pdf
| |
| | |
| [10:01] [[EnricoFranconi|Enrico Franconi]]: (A technical question: is VNC up? I can't connect)
| |
| | |
| [10:02] [[PascalHitzler|Pascal Hitzler]]: @EnricoFranconi: I'm using VNC, so it's working for me
| |
| | |
| [10:02] [[PeterYim|Peter P. Yim]]: @EnricoFranconi - don't worry, some people cannot connect properly to the vnc
| |
| | |
| server ... just use you local slides, and remember to prompt slide advances and the slide number verbally
| |
| | |
| [10:02] [[EnricoFranconi|Enrico Franconi]]: ok, thanx
| |
| | |
| [10:06] [[MichaelGruninger|Michael Grüninger]]: @MarkusKroetzsch: Are the rules used in the chemistry example on slide 12
| |
| | |
| available online?
| |
| | |
| [10:08] [[PeterYim|Peter P. Yim]]: == [[HectorPerezUrbina]] presenting ...
| |
| | |
| [10:08] [[MarkusKroetzsch|Markus Kroetzsch]] is trying to catch up with the chat now ...
| |
| | |
| [10:09] [[AmandaVizedom|Amanda Vizedom]]: @MarkusKroetzsch: By no tools / libraries, did you mean no *open source*
| |
| | |
| tools libraries? I agree with the latter but not the former, obviously.
| |
| | |
| [10:16] [[MarkusKroetzsch|Markus Kroetzsch]]: @AmandaVizedom: I mainly meant that the rule-related tools/libraries world
| |
| | |
| is quite fragmented. There is RIF, which I am not aware of libraries for. Almost all reasoners that
| |
| | |
| can handle Datalog and its extensions are from the ASP and LP world, using some (more or less
| |
| | |
| uniform) Prolog-style syntax, which I don't know how to specify datatypes and URI-based identifiers
| |
| | |
| in. The ontology world has SWRL but the tools that support this are AFAIK not happy with some 80k
| |
| | |
| rules as in my example. And LP tools do not support SWRL or RIF syntax.
| |
| | |
| [10:10] [[PascalHitzler|Pascal Hitzler]]: @AmandaVizedom: For me, the cases where we're *not* able to make the
| |
| | |
| transformation into OWL, are particularly interesting (as a researcher). They point towards
| |
| | |
| limitations of the OWL standard which are worthwhile to work on in attempts to overcome them :)
| |
| | |
| [10:11] [[AmandaVizedom|Amanda Vizedom]]: @Pascal: I agree! I also think that research to identify the patterns of
| |
| | |
| these cases would be both interesting and valuable. The value I'm thinking of is particularly in the
| |
| | |
| area of guidance for choosing ontology types for particular uses.
| |
| | |
| [10:10] anonymous morphed into [[RyanHohimer|Ryan Hohimer]]
| |
| | |
| [10:11] [[EnricoFranconi|Enrico Franconi]]: I guess that the real challenge with rules as an ontology language is their
| |
| | |
| integration with more classical FOL-based ontology languages (such as OWL and stuff). Obvious
| |
| | |
| mismatches, as already noticed, are closed vs open world assumption, standard/unique name
| |
| | |
| assumption, active domains, etc.
| |
| | |
| [10:12] [[AliHashemi|Ali Hashemi]]: Is this non-standard language. Or OWL-centric thinking? Axioms don't have
| |
| | |
| variables? I guess it's a very specific notion of axiom?
| |
| | |
| [10:13] [[MichaelGruninger|Michael Grüninger]]: @EnricoFranconi: You comment implies that you are assuming that rules are
| |
| | |
| necessarily nonmonotonic. One can also consider rules to simply be a syntactic restriction with a
| |
| | |
| monotonic semantics.
| |
| | |
| [10:13] [[AmandaVizedom|Amanda Vizedom]]: @EnricoFranconi: Do you mean rules in a particular syntax? I ask because
| |
| | |
| classical and current ontology languages that are based on FOL or HOL of course have rule
| |
| | |
| representation (and use) as an integral part of them.
| |
| | |
| [10:14] [[HaroldBoley|Harold Boley]]: RE Slide 4: SWRL can also be serialized in [[RuleML/XML]] (rather than in RDF/XML).
| |
| | |
| [10:15] [[HaroldBoley|Harold Boley]]: http://www.w3.org/Submission/SWRL/#5.1
| |
| | |
| [11:02] [[HectorPerezUrbina]]: @Harold, I've just seen your comments; thank you very much for your pointers.
| |
| | |
| [10:15] [[EnricoFranconi|Enrico Franconi]]: @Hector: why are you ignoring the W3C standard RIF syntax?
| |
| | |
| http://www.w3.org/2005/rules/wiki/Primer
| |
| | |
| [10:17] [[AmandaVizedom|Amanda Vizedom]]: Regarding Open / Closed World -- it's also worth noting that it is not
| |
| | |
| necessary that a *language* make an open/closed world commitment. IMHO, this is more properly
| |
| | |
| something that characterizes reasoning -- an inference parameter. And it can be treated that way, by
| |
| | |
| supporting explicit declaration: either in an ontology module, stating that it should be interpreted
| |
| | |
| with OW or CW, or in an application or particular query.
| |
| | |
| [10:18] [[HassanAitKaci]]: Good point Amanda. But which would the default be?
| |
| | |
| [10:18] [[EnricoFranconi|Enrico Franconi]]: @AmandaVizedom: Open / Closed World assumption regards the semantics of the
| |
| | |
| data! The different languages (and their reasoners) that operate on the data have to respect their
| |
| | |
| meaning, and adopt the right assumption.
| |
| | |
| [10:24] [[AmandaVizedom|Amanda Vizedom]]: @EnricoFranconi: Some models made such assumptions and some don't. I
| |
| | |
| absolutely agree that when they do, it needs to be explicit. That is why I say that it is important
| |
| | |
| to be able to make explicit that a particular ontology/module (or even rule) has one or the other
| |
| | |
| assumption as part of its semantics.
| |
| | |
| [10:27] [[EnricoFranconi|Enrico Franconi]]: I insist that CWA/OWA (Closed World Assumption / Open World Assumption) is a
| |
| | |
| property of your data: either we know all of your children or only the ones I'm certain about. I can
| |
| | |
| not use an OWA reasoner on top of some data which states complete knowledge about children, say. Or
| |
| | |
| I can not use a CWA reasoner if the data I have is incomplete. We had an extensive discussion on
| |
| | |
| this at last year ISWC: Peter F. Patel-Schneider and Enrico Franconi. Ontology constraints in
| |
| | |
| incomplete and complete data. In ISWC 2012 - 11th International Semantic Web Conference, volume 7649
| |
| | |
| of Lecture Notes in Computer Science, pages 444459. Springer-Verlag, 2012.
| |
| | |
| [10:20] [[AmandaVizedom|Amanda Vizedom]]: @MarkusKroetzsch: Very true in the OSS and for standard languages. This is
| |
| | |
| IMHO a critical problem. The tools, and considerable integrated support, exist in proprietary
| |
| | |
| software and languages. We need them in the open standard-based world, too.
| |
| | |
| [10:21] [[ConradBock|Conrad Bock]]: Maybe tools could let users know when they go outside profiles as they enter rules.
| |
| | |
| [10:22] [[MarkusKroetzsch|Markus Kroetzsch]]: @AmandaVizedom: Are there specific closed tools and standards you are
| |
| | |
| thinking about? I recall how the RIF Working Group decided to ignore the ISO Prolog standard because
| |
| | |
| most group members had no access to this closed standard. But many Prolog tools are free.
| |
| | |
| [10:27] [[AmandaVizedom|Amanda Vizedom]]: @Markus: [[CycL]] / the Cyc system have the most comprehensive support for all of
| |
| | |
| this that I have worked with. However, I've also worked with a number of organizations that have
| |
| | |
| developed their own KR language and tools, for internal use, that have some subset of these thing
| |
| | |
| that fit what they need for their application type(s) and typical domain problem.
| |
| | |
| [10:22] [[SimonSpero|Simon Spero]]: @[[HassanAitKaci]]: CWA/OWA in Cyc is configurable on a per predicate basis, with
| |
| | |
| NAF (negation as failure) settable on per query basis with default of off
| |
| | |
| [10:23] [[HassanAitKaci]]: @SimonSpero - good for Cyc then ...
| |
| | |
| [10:31] [[PeterYim|Peter P. Yim]]: == [[HassanAitKaci]] presenting ...
| |
| | |
| [10:31] [[HaroldBoley|Harold Boley]]: The relational SWRL Built-Ins were complemented by the functional RIF
| |
| | |
| Built-Ins.
| |
| | |
| [10:31] [[HaroldBoley|Harold Boley]]: http://www.w3.org/TR/rif-dtb/
| |
| | |
| [10:32] [[AmandaVizedom|Amanda Vizedom]]: @EnricoFranconi: In domains in which the data are almost always incomplete,
| |
| | |
| it is quite common to want to reason with that unknownness explicit in some contexts and for other
| |
| | |
| purposes to reason as if (some of) the data were complete, to explore hypotheses and possibilities.
| |
| | |
| Again, why do you think that when it is a property of the data, it cannot be simply stated and
| |
| | |
| reasoned on appropriately? Why make that a fixed feature of a language or reasoner instead?
| |
| | |
| [10:35] [[HectorPerezUrbina]]: @Amanda, suppose you want to enforce that every instance of the class
| |
| | |
| Employee in your ontology has to have a SSN; under OWA, we couldn't enforce this. We'd have to
| |
| | |
| resort to CWA to be able to find this kind of violation. However, on the other hand, I would still
| |
| | |
| want to infer (under open world) that all employees are people.
| |
| | |
| [10:35] [[HectorPerezUrbina]]: As Enrico says, whether you want to use OWA or CWA, depends on the nature
| |
| | |
| of your data, regardless of the specific formalism you're using to model it
| |
| | |
| [10:36] [[EnricoFranconi|Enrico Franconi]]: Well, what I'm saying is that you may want to consider your *data* open or
| |
| | |
| closed - the choice is up to you . BUT you should never use different assumptions at the same time
| |
| | |
| over the same set of data.
| |
| | |
| [10:36] [[MarkusKroetzsch|Markus Kroetzsch]]: @[[HectorPerezUrbina]]: ... and on the context (the same data might be OWA when
| |
| | |
| viewed as an ontology and CWA when viewed as a list of axioms that I want to search through)
| |
| | |
| [10:36] [[MarkusKroetzsch|Markus Kroetzsch]]: @AmandaVizedom: Can you recommend any references on the CWA/OWA combination
| |
| | |
| that you refer to?
| |
| | |
| [10:37] [[HectorPerezUrbina]]: oh, I disagree. Using the previous example, you could first use OWA to
| |
| | |
| infer that Hector is an Employee, and then CWA to determine that, since Hector doesn't have a SSN,
| |
| | |
| the ontology is invalid.
| |
| | |
| [10:37] [[AmandaVizedom|Amanda Vizedom]]: @Hector, of the data *and* of the reasoning you want to do, no? Again, I'm
| |
| | |
| not arguing that the assumptions should be ignored; I'm arguing that they should be explicitly
| |
| | |
| statable and the reasoners should be able to understand that and use it.
| |
| | |
| [10:37] [[SimonSpero|Simon Spero]]: @EnricoFranconi: agree if it's just assumptions that you're talking about - if
| |
| | |
| an epistemic axiom is asserted, then it stops being an assumption
| |
| | |
| [10:38] [[SimonSpero|Simon Spero]]: Driveby coverage in 12.8 of
| |
| | |
| http://download.springer.com/static/pdf/413/bok%253A978-90-481-8847-5.pdf?auth66=1385231714_9584f2c63627ff5bd4692a4020bf3d52&ext=.pdf
| |
| | |
| [10:39] [[AmandaVizedom|Amanda Vizedom]]: @Hector: Your constraint-violation case is an excellent example of a common
| |
| | |
| use case that comes up with OWL ontologies. when you are looking for (potential) violations, you may
| |
| | |
| want to temporarily use CWA, rather than use OWA and infer missing statements.
| |
| | |
| [10:40] [[HectorPerezUrbina]]: @Amanda, certainly. In Stardog, for example, we allow to validate
| |
| | |
| integrity constraints (under CWA) and usual OWL inference (under OWA), but it is necessary for the
| |
| | |
| user to clearly specify which things are to be taken under which semantics.
| |
| | |
| [10:39] [[AmandaVizedom|Amanda Vizedom]]: Okay, I need to stop typing and pay attention to Hassan for a bit!
| |
| | |
| [10:40] [[PascalHitzler|Pascal Hitzler]]: Regarding the open/closed world discussion: What is really needed are
| |
| | |
| languages which combine open world and closed world features, in such a way that you can decide
| |
| | |
| what's supposed to be closed and what's supposed to be open. The keyword sometimes used is "local
| |
| | |
| closed world". There's quite a bit of work under way how to do this (see e.g. the paper by Motik
| |
| | |
| referenced above), but the quest is not yet conclusive, in particular in practical terms.
| |
| | |
| [10:40] [[AmandaVizedom|Amanda Vizedom]]: @PascalHitzler: Exactly!
| |
| | |
| [10:41] [[AmandaVizedom|Amanda Vizedom]]: @Hector: Excellent. :-)
| |
| | |
| [10:41] [[HectorPerezUrbina]]: @Amanda, you might find this interesting: http://docs.stardog.com/icv/
| |
| | |
| [10:42] [[AmandaVizedom|Amanda Vizedom]]: Thanks Hector, I'll check it out.
| |
| | |
| [10:45] [[EnricoFranconi|Enrico Franconi]]: Again, in my paper I argue why epistemic axioms can be very misleading. In
| |
| | |
| your simple example with SSN, this approach may work. But since you expect two different beahviours
| |
| | |
| from your data stemming form conflicting assumptions, there will always be counterexamples where
| |
| | |
| your get unexpected inferences.
| |
| | |
| [10:46] [[EnricoFranconi|Enrico Franconi]]: @Hector: really look at our paper on why you shouldn't validate integrity
| |
| | |
| constraints with a different semantics from the underlying ontology language.
| |
| | |
| [10:46] [[HectorPerezUrbina]]: @Enrico, yes, it helps that we consider relatively unexpressive logics
| |
| | |
| (i.e., OWL profiles)
| |
| | |
| [10:47] [[MarkusKroetzsch|Markus Kroetzsch]]: +1 to epistemic axioms being confusing
| |
| | |
| [10:47] [[EnricoFranconi|Enrico Franconi]]: :-)
| |
| | |
| [10:47] [[EnricoFranconi|Enrico Franconi]]: Mmhh, I guess I can build some nasty counterexamples with dl-lite as well,
| |
| | |
| but I have to think about it.
| |
| | |
| [10:48] [[HectorPerezUrbina]]: @Enrico, will do. I would say, however, that we are yet to see these
| |
| | |
| nasty examples in practice.
| |
| | |
| [10:48] [[EnricoFranconi|Enrico Franconi]]: OK.
| |
| | |
| [10:48] [[AmandaVizedom|Amanda Vizedom]]: @EnricoFranconi: Do you have a link to your paper? I would like to understand
| |
| | |
| why you think that support for making assumptions explicit is inferior to being restricted to one of
| |
| | |
| the assumptions. ... ref. below - [11:13] [[EnricoFranconi|Enrico Franconi]]: My paper on "Ontology constraints in
| |
| | |
| incomplete and complete data" can be found at http://iswc2012.semanticweb.org/sites/default/files/76490433.pdf
| |
| | |
| [10:51] [[AmandaVizedom|Amanda Vizedom]]: Epistemic axioms may be confusing, but IMHO the better way of addressing this
| |
| | |
| is to make clear and explicit which axioms are epistemic and what they apply to (even if as
| |
| | |
| metadata). Otherwise, users and modelers tend to *make* epistemic assumptions anyway, without making
| |
| | |
| the explicit, and sometimes slide between epistemic assumptions within the same model or set of
| |
| | |
| models, without being able to indicate this. This causes problems for model accuracy, usability,
| |
| | |
| evaluation, quality control / truth maintenance (as the model evolves), and reuse.
| |
| | |
| [10:49] [[PeterYim|Peter P. Yim]]: == [[EnricoFranconi|Enrico Franconi]] presenting ...
| |
| | |
| [10:51] [[SimonSpero|Simon Spero]]: Hector: If every employee has a known ssn and hector does not have a known ssn
| |
| | |
| then hector is not an employee
| |
| | |
| [10:52] [[HectorPerezUrbina]]: @Simon, that's under OWA
| |
| | |
| {{{
| |
| [10:54] [[HectorPerezUrbina]]: Consider the ontology O = {1. <nowiki>Employee subClassOf hasSSN some SSN,</nowiki> 2.
| |
| Hector a Employee} . Under OWA, we would infer the existence of an anonymous individual, instance of
| |
| SSN, related to Hector via hasSSN.
| |
| }}}
| |
| | |
| [10:54] [[HectorPerezUrbina]]: However, sometimes, we don't want this behavior; instead, we want the
| |
| | |
| reasoner to let us know that our data is invalid (because every employee must have a SSN)
| |
| | |
| [10:55] [[HectorPerezUrbina]]: We can accomplish this by interpreting axiom 2 in O under CWA.
| |
| | |
| [10:55] [[HectorPerezUrbina]]: sorry, axiom 1.
| |
| | |
| [10:58] [[AmandaVizedom|Amanda Vizedom]]: @Hector: yes, and more: we may want to validate/ declare that invalid. Or, we
| |
| | |
| may want to identify gaps in our knowledge. Or, in more sophisticated reasoning, analyze our model
| |
| | |
| to identify *patterns* of missing information. The known unknowns can be very important in some applications!
| |
| | |
| [11:05] [[HectorPerezUrbina]]: @Amanda, yes. In practice, people produce some RDF out of an ETL process,
| |
| | |
| and they need to check whether certain integrity constraints (a la DB) hold.
| |
| | |
| [10:59] [[SimonSpero|Simon Spero]]: Hector: But you leave out the axiom hasSSN(X) -> K[hasSSN(X)]
| |
| | |
| [11:00] [[MikeBennett|Mike Bennett]]: OWA and CWA: it seems to me that the use case of determining whether some data
| |
| | |
| is valid (per @Hector above), and the use case whereby we want to reason over assertions about real
| |
| | |
| things in the world (not data) are two very different requirements. My hunch would be that to talk
| |
| | |
| about data rather than actual things, one must need the CWA?
| |
| | |
| [11:03] [[HectorPerezUrbina]]: @Simon, yes, we want to stay within OWL and SWRL
| |
| | |
| [11:03] [[HassanAitKaci]]: @EnricoFranconi: This is a CWA construction! :-)
| |
| | |
| [10:57] [[AlanRector|Alan Rector]]: [ref. slide#5] Shouldn't be that some ice cream is food, rather than that all
| |
| | |
| ice cream is food/ice cream is subset of food?
| |
| | |
| [10:58] [[PascalHitzler|Pascal Hitzler]]: @Alan, I believe in the example, ice cream is an individual, while food is a class?
| |
| | |
| [11:00] [[FrancescaQuattri|Francesca Quattri]]: @EnricoFranconi: Beth Levin's work could provide a great deal of
| |
| | |
| inspiration for defining what is (or should be defined) subclass of what
| |
| | |
| [11:00] [[MikeBennett|Mike Bennett]]: Apologies, have to leave now.
| |
| | |
| [11:04] anonymous morphed into [[NancyWiegand|Nancy Wiegand]]
| |
| | |
| [11:07] [[AlanRector|Alan Rector]]: Apologies. I have to leave now
| |
| | |
| [11:07] [[PeterYim|Peter P. Yim]]: == Q&A and open discussion now
| |
| | |
| [11:08] List of members: [[AidaGandara|Aida Gandara]], [[AlanRector|Alan Rector]], [[AliHashemi|Ali Hashemi]], [[AmandaVizedom|Amanda Vizedom]], [[ChuckRehberg|Chuck Rehberg]],
| |
| | |
| [[ConradBock|Conrad Bock]], [[DavidMendes|David Mendes]], [[DennisPierson|Dennis Pierson]], [[EnricoFranconi|Enrico Franconi]], [[ElieAbiLahoud]], [[FrancescaQuattri|Francesca Quattri]], [[GaryGannon|Gary Gannon]],
| |
| | |
| GenZou, [[HaroldBoley|Harold Boley]], [[HassanAitKaci]], [[HectorPerezUrbina]], [[HensonGraves|Henson Graves]], [[LeoObrst|Leo Obrst]], [[MarkusKroetzsch|Markus Kroetzsch]],
| |
| | |
| [[MichaelGruninger|Michael Grüninger]], [[MikeBennett|Mike Bennett]], [[NancyWiegand|Nancy Wiegand]], [[OliverKutz|Oliver Kutz]], [[PascalHitzler|Pascal Hitzler]], [[PatrickMaroney|Patrick Maroney]], [[PeterYim|Peter P. Yim]],
| |
| | |
| [[RyanHohimer|Ryan Hohimer]], [[SimonSpero|Simon Spero]], [[SimonSpero|Simon Spero]], [[TaraAthan|Tara Athan]], [[ToddPehle|Todd Pehle]], vnc2
| |
| | |
| [11:09] anonymous morphed into [[DennisWisnosky|Dennis Wisnosky]]
| |
| | |
| [11:10] anonymous1 morphed into lakhdar
| |
| | |
| [11:11] [[AmandaVizedom|Amanda Vizedom]]: @Hector, this is one type of case. But I am also thinking of another case in
| |
| | |
| which a user is using an ontological KB for situation awareness, risk analysis, or similar. In these
| |
| | |
| cases, while much of the use of the model involves reasoning about the modeled things (or digesting
| |
| | |
| views of a situation that are based on model), it can be an essential part of this use to also
| |
| | |
| (manually or automatically in side processes) identify the known unknowns and spot patterns in them.
| |
| | |
| This can be critical.
| |
| | |
| [11:12] [[HectorPerezUrbina]]: @Amanda, yes, this sounds quite interesting/important.
| |
| | |
| [11:13] [[EnricoFranconi|Enrico Franconi]]: My paper on "Ontology constraints in incomplete and complete data" can be
| |
| | |
| found at http://iswc2012.semanticweb.org/sites/default/files/76490433.pdf
| |
| | |
| [11:13] [[HectorPerezUrbina]]: @Enrico, thank you
| |
| | |
| [11:13] [[AmandaVizedom|Amanda Vizedom]]: @EnricoFranconi: Thanks, I will read it.
| |
| | |
| [11:16] [[EnricoFranconi|Enrico Franconi]]: Just do <nowiki>(:yourLocalProperty rdfs:subProperty :globalProperty)!</nowiki>
| |
| | |
| [11:17] [[FrancescaQuattri|Francesca Quattri]]: yup, clear
| |
| | |
| [11:20] [[EnricoFranconi|Enrico Franconi]]: [in response to PatrickMaroney's question on where details of
| |
| | |
| EnricoFranconi's work (the evaluations, in particular) can be accessed] Official link:
| |
| | |
| http://link.springer.com/content/pdf/10.1007/978-3-642-41335-3_7.pdf
| |
| | |
| [11:20] [[EnricoFranconi|Enrico Franconi]]: Unofficial link: http://users.dcc.uchile.cl/~cgutierr/papers/iswc2013.pdf
| |
| | |
| [11:16] [[PeterYim|Peter P. Yim]]: @EnricoFranconi - (recapping my verbal comment) it would be great to further
| |
| | |
| expose your work to [[PatHayes|Pat Hayes]], and convince him and those who are working on the next iteration of
| |
| | |
| RDF/RDFS, so your work can be taken into consideration in that W3C standard ... [I will try to
| |
| | |
| forward this to [[PatHayes|Pat Hayes]], copying you too, after the session]
| |
| | |
| [11:17] [[EnricoFranconi|Enrico Franconi]]: @PeterYim: thanks
| |
| | |
| [11:22] [[SimonSpero|Simon Spero]]: RDF Semantics 1.1 just went to Candidate Rec status on Nov 5th, ( last step
| |
| | |
| before final) http://www.w3.org/blog/news/archives/3389
| |
| | |
| [11:22] [[EnricoFranconi|Enrico Franconi]]: "Work as expected" means complete & terminating in the fragment of the use case.
| |
| | |
| [11:23] [[EnricoFranconi|Enrico Franconi]]: So, you DO care!
| |
| | |
| [11:25] [[MarkusKroetzsch|Markus Kroetzsch]]: Sorry, I got distracted by my phone call. To clarify: in the context of
| |
| | |
| ontology "undecidable" = "not sufficiently studied to understand when it will work" (it's different
| |
| | |
| for programming and problem solving languages, where undecidability is necessary to express
| |
| | |
| arbitrarily complex computations/problems.)
| |
| | |
| [11:26] [[HaroldBoley|Harold Boley]]: Regarding decidable <> efficient etc., average-case complexity should be
| |
| | |
| considered, rather than (only) worst-case complexity.
| |
| | |
| [11:26] [[HassanAitKaci]]: +1 Harold
| |
| | |
| [11:26] [[HectorPerezUrbina]]: @Harold +1
| |
| | |
| [11:27] [[EnricoFranconi|Enrico Franconi]]: @Harold: yes, but sill in the context of complete and terminating fragments.
| |
| | |
| [11:27] [[HectorPerezUrbina]]: also, so-called data complexity is quite important
| |
| | |
| [11:27] [[EnricoFranconi|Enrico Franconi]]: @Hector +1
| |
| | |
| [11:27] [[PeterYim|Peter P. Yim]]: Great session!
| |
| | |
| [11:26] [[PeterYim|Peter P. Yim]]: Join us again, in two weeks (Thu 2013-12-05) for the [[OntologySummit2014|Ontology Summit 2014]] Pre-Launch
| |
| | |
| Community Session, when we will collaboratively work up a program for the next OntologySummit.
| |
| | |
| [11:26] [[PeterYim|Peter P. Yim]]: That will be followed (on Dec-12) by session-07 of the [[OntologyBasedStandards]]
| |
| | |
| miniseries - "How ontologies can help with the formal specification of the natural language
| |
| | |
| standards" - Co-chairs: [[SimonSpero|Simon Spero]] & [[User:KennethBaclawski|Ken Baclawski]]
| |
| | |
| [11:26] [[PeterYim|Peter P. Yim]]: The next event (session-04) for this [[RulesReasoningLP]] mini-series will then come up
| |
| | |
| on Dec-19 - "Guide to Reasoning Applications Development and Cases" - Co-chairs: [[HensonGraves|Henson Graves]] & [[User:KennethBaclawski|Ken Baclawski]]
| |
| | |
| [11:28] [[AmandaVizedom|Amanda Vizedom]]: Thanks, all!
| |
| | |
| [11:28] [[HassanAitKaci]]: bye & thanks
| |
| | |
| [11:28] [[EnricoFranconi|Enrico Franconi]]: bye
| |
| | |
| [11:28] [[PascalHitzler|Pascal Hitzler]]: thanks!
| |
| | |
| [11:28] [[LeoObrst|Leo Obrst]]: Thanks, All! Very interesting session.
| |
| | |
| [11:28] [[HectorPerezUrbina]]: good bye everyone
| |
| | |
| [11:28] [[MarkusKroetzsch|Markus Kroetzsch]]: Bye, thanks.
| |
| | |
| [11:28] [[PeterYim|Peter P. Yim]]: -- session ended: 11:28am PST --
| |
| | |
| -- end of in-session chat-transcript --
| |
| | |
| * '''Further Question & Remarks''' - please post them to the [ [http://ontolog.cim3.net/forum/ontolog-forum/ ontolog-forum] ] listserv
| |
| ** if you are already subscribed, post to <ontolog-forum [at] ontolog.cim3.net>
| |
| ** (in case you aren't already a member) do consider joining the [[ONTOLOG]] community and be subscribed to the [ [http://ontolog.cim3.net/forum/ontolog-forum/ ontolog-forum] ] listserv, where general ontology-related topics are discussed among the Ontolog community members. Please refer to Ontolog membership details at: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
| |
| *** kindly email <peter.yim@cim3.com> if you have any question.
| |
| | |
| == Additional Resources ==
| |
| | |
| * '''Homepage for this [[RulesReasoningLP]] mini-series''': http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP
| |
| ** Proceedings from the [[RulesReasoningLP]] mini-series Launch Event - http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_24
| |
| ** Proceedings from the [[RulesReasoningLP]] mini-series session-02 - http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_10_31
| |
| ** 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
| |
| * Homepage of the Ontology Summits - see: [[OntologySummit|Ontology Summit]]
| |
| * Homepage of the [[Ontolog]] Community - see: http://ontolog.cim3.net/wiki
| |
| ** [[Ontolog]] News and Announcements: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nidW
| |
| ** Archives of noteworthy past event of the [[Ontolog]] Community: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nidZ
| |
| ** [[Ontolog]] Community Membership information: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
| |
| | |
| ----
| |
| | |
| ''For the record ...''
| |
| | |
| == How To Join (while the session is in progress) ==
| |
| | |
| * '''1.''' Call in from a phone or from skype: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_21#nid3ZVJ
| |
| * '''2.''' Open chat-workspace in a new browser window: http://webconf.soaphub.org/conf/room/ontolog_20131121
| |
| * '''3.''' Download presentations for each speaker here: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_21#nid3ZV8
| |
| ** or, '''3.1''' optionally, [[ConferenceCall_2013_11_21|access our shared-screen vnc server]], if you are not behind a corporate firewall
| |
| | |
| [[Category:Event_Meeting]] [[Category:RulesReasoningLP]] | |
|
| |
|
|
| |
|
|
| |
|
|
| |
|
