ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] "Rules-Reasoning-LP" mini-series session-03 - Thu 20

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Peter Yim <peter.yim@xxxxxxxx>
Date: Wed, 20 Nov 2013 18:15:03 -0800
Message-id: <CAGdcwD3JM=Ea0ovtUsWMp4KKrWAGzua78pp7-4WEgy831e76tg@xxxxxxxxxxxxxx>
Relaying input from Alan Rector (who is on the road now, and will,
hopefully, join us at the session tomorrow) ...    (01)


---------- Forwarded message ----------
From: Alan Rector <rector@xxxxxxxxxxxx>
Date: Wed, Nov 20, 2013 at 8:55 AM
Subject: Re: "Rules-Reasoning-LP" mini-series session-03 - Thu 2013.11.21    (02)


All    (03)

Question from the last session that got lost in the audio distortion
and my poor formulation.    (04)

Unless I am missing something, there still seems to remain a gap
between those working in Rule paradigms and those working in the DL
paradigms that is not fully addressed in the sessions so far.    (05)

I am particularly concerned about  large terminologies in biomedicine
implemented using DLs,  specifically SNOMED, the National Cancer
Institute Thesarus, and the various OBO ontologies.  These are large -
50K-500K concepts/classes, 1M-3M axioms resulting in complex
polyhierarchies in which each class has a median of around 3 parents
and there is a maximum of up to 15.  Experience is that, on this
scale, such hierarchies are effectively impossible to maintain by
hand, and that DLs work reasonably well especially when restricted to
EL++. (classification time is now down to a few seconds) Furthermore,
large as they are, these terminologies cover only a small fraction of
the potential concept space which is combinatorially large.  It is,
therefore, necessary to be able to express and classify "post
coordinated" expressions - i.e. new DL expressions for circumstances
that haven't been  named - e.g. "Breast cancer associated with
XX-new-gene-marker", "Pneumonia caused by a rare organism", etc.
Collectively such cases are surprisingly common although individually
rare.  There are other arguments for the requirements that have led to
the use of DLs but the above should give a flavour.    (06)

A major issue is how best to use these terminologies/"ontologies"
formulated in DLs in conjunction with queries and rules, how best to
combine them with logic programming, and whether such integration is a
route to dealing with higher order knowledge.  (The de facto mechanism
being used ad hoc is simply to use the hierarchies to expand queries,
but this is very limited.)  One approach for some purposes is SPARQL
1.1.Variations on DL safe rules are another.  However, alternatives
and broader approaches to  integration logic programming approaches
and existing large OWL/DL resources are of great interest.  Methods
for which implementations are readily accessible or easily
constructible out of available resources are of particular interest.    (07)

Comments and suggestions more than welcome    (08)

Regards    (09)

Alan    (010)

PS OWL RL doesn't fit these needs because it's restrictions rule out
precisely the features of OWL for which it is used in terminologies in
the first place.
---    (011)


---------- original message ----------
From: Peter Yim <peter.yim@xxxxxxxx>
Date: Wed, Nov 20, 2013 at 9:36 AM
Subject: Re: "Rules-Reasoning-LP" mini-series session-03 - Thu 2013.11.21
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>    (012)


.
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_21    (013)


= REMINDER =    (014)


This is a reminder that the "RulesReasoningLP" mini-series session-03:
"Concepts and Foundations of Rules and Ontologies: Logic Programs,
Classical Logic, and Semantic Web - II " is coming up tomorrow
(Thursday, Nov-21.)    (015)

Dr. Leo Obrst and Professor Pascal Hitzler will be co-chairing the
session, and have invited over Dr.  Markus Kroetzsch, Dr. Hector
Perez-Urbina, Professor Hassan Ait-Kaci and Professor Enrico Franconi
to join us as panelists. An open Q&A and discussion will follow, as
usual, after the panelists' presentations.    (016)

If you have a professional interest in Ontology, Rules, and Logic
Programming for Reasoning and Applications, you probably don't want to
miss this session, and the rest of the events of this mini-series.    (017)

RSVP now, if you haven't already!  (... see details below)    (018)


* Date: Thursday, 21-Nov-2013    (019)

* Start Time: 9:30am PST / 12:30pm EST / 6:30pm CET / 17:30 GMT/UTC
  ref: World Clock -
http://www.timeanddate.com/worldclock/fixedtime.html?month=11&day=21&year=2013&hour=9&min=30&sec=0&p1=224
* Expected Call Duration: ~2.0 hours    (020)


* Dial-in:
** Phone (US): +1 (206) 402-0100 ... Conference ID: 141184# , or
** Skype: in view of recent reported skype connection issues, this is
  not recommended (especially for speakers) although it may still
  work for some ... to do that, make a skype call to
  the skypeID: "joinconference"
   ... when prompted enter Conference ID: 141184#    (021)


Just point your browser to the session page:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_21 when
you are about to connect into the session. Details will be there at
the top of the page. Please try dialing-in a few minutes before the
scheduled start-time, as we have a very full program planned for this session.    (022)


Talk to you all tomorrow! =ppy    (023)

For the Session Co-chairs
Leo Obrst & Pascal Hitzler    (024)

... along with other co-champions of
the RulesReasoningLP mini-series
--    (025)


---------- original message ----------
From: Peter Yim <peter.yim@xxxxxxxx>
Date: Fri, Nov 15, 2013 at 3:27 PM
Subject: "Rules-Reasoning-LP" mini-series session-03 - Thu 2013.11.21
To: "[ontolog-invitation]" <ontolog-invitation@xxxxxxxxxxxxxxxx>    (026)


.
Re: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_21    (027)


Dear All,    (028)


After the two very successful sessions last month, we are pleased to
feature virtual panel session-03 of the "Ontology, Rules, and Logic
Programming for Reasoning and Applications" (dubbed:
"RulesReasoningLP") mini-series next Thursday, 21-Nov-2013. You are
cordially invited to join us ... RSVP Now (details below)!    (029)


* Date: Thursday, 21-Nov-2013
* Start Time: 9:30am PST / 12:30pm EST / 6:30pm CET / 17:30 GMT/UTC
** ref: World Clock -
http://www.timeanddate.com/worldclock/fixedtime.html?month=11&day=31&year=2013&hour=9&min=30&sec=0&p1=224
* Expected Call Duration: ~2.0 hours    (030)

*Register your attendance* by emailing <peter.yim@xxxxxxxx> off-line
or register yourself directly to the wiki session page. Please specify
the date or name of the session(s) you are registering for (your
affiliation too, if you are not already a member of the community.)    (031)


= RulesReasoningLP: mini-series session-03 - Thu 2013-11-21 =    (032)

Topic: Concepts and Foundations of Rules and Ontologies: Logic
Programs, Classical Logic, and Semantic Web - II    (033)

Session Co-chairs: Dr. Leo Obrst (Ontolog; MITRE) & Professor Pascal
Hitzler (Wright State U)    (034)

Panelists / Briefings:    (035)

* Dr. Markus Kroetzsch (Technische Universitat Dresden) - "Existential
Rules in Ontological Modelling"    (036)

* Dr. Hector Perez-Urbina (Clark & Parsia, LLC) - "Modeling with Rules
in Practice"    (037)

* Professor Hassan Ait-Kaci (Universite Claude Bernard Lyon 1) -
"Reasoning and the Semantic Web"    (038)

* Professor Enrico Franconi (Free University of Bozen-Bolzano) - "The
Logic of Extensional RDFS"    (039)


This session is co-chaired by Dr. Leo Obrst and Professor Pascal
Hitzler, and will be the second of the 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. The session will comprise of briefings
from the four invited panelists, followed by an open discussion among
the panel and all the participants. See details on the session page
at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2013_11_21    (040)


This session, like all Ontolog virtual events, are open and free of
charge. Anyone who is interested, or (better still) who may have
something to contribute, is welcome. Please refer to event details on
the session pages, to which the hyperlink is given above, where you
will find session agenda, conference call dial-in, slides and other
pertinent information. Feel free to pass this invitation along to
colleagues who may also find these sessions to be of interest.    (041)

*RSVP* by emailing Peter Yim at <peter.yim@xxxxxxxx> offline (or add
yourself directly to the session page if you are already an Ontolog
community member) so that we can prepare enough resources to support
everyone. [Please state clearly the date of the session you are
registering for in your email; your affiliation too, if you are not a
community member.]    (042)

These sessions will be recorded and made available in a publicly
accessible archive. Therefore, before participating, please make sure
you are cognizant of our IPR policy (ref:
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid32).    (043)


Regards. =ppy    (044)

For the Session Co-chairs
Leo Obrst & Pascal Hitzler    (045)

... along with other co-champions of
the RulesReasoningLP mini-series    (046)


p.s. see more details on the mini-series at:
http://ontolog.cim3.net/cgi-bin/wiki.pl?RulesReasoningLP
where you will find links to the full proceedings (including slides,
in-session-chat-transcript,
and audio recording) of session-01 & -02 at their respective session pages.
--    (047)

_________________________________________________________________
Join this list: mailto:ontolog-invitation-join@xxxxxxxxxxxxxxxx
Leave this list: mailto:ontolog-invitation-leave@xxxxxxxxxxxxxxxx
Msg Archives: http://ontolog.cim3.net/forum/ontolog-invitation/
Community Wiki: http://ontolog.cim3.net/wiki/
Community Portal: http://ontolog.cim3.net/    (048)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (049)

<Prev in Thread] Current Thread [Next in Thread>