Digest setting seems off

classic Classic list List threaded Threaded
2 messages Options
Q I
Reply | Threaded
Open this post in threaded view
|

Digest setting seems off

Q I

Hello,

Can the admin please check the digest setting. It should be sending only one email daily, not 3-4. Am I incorrect in this?

-Quinsulon

On Apr 8, 2014 9:52 AM, <[hidden email]> wrote:
Send protege-user mailing list submissions to
        [hidden email]

To subscribe or unsubscribe via the World Wide Web, visit
        https://mailman.stanford.edu/mailman/listinfo/protege-user
or, via email, send a message with subject or body 'help' to
        [hidden email]

You can reach the person managing the list at
        [hidden email]

When replying, please edit your Subject line so it is more specific
than "Re: Contents of protege-user digest..."


Today's Topics:

   1. Re: anomalies with the pizza tutorial (Csongor Nyulas)
   2. OntologySummit2014 session-13: Communique Draft   Review - Thu
      2014.04.10 (Peter Yim)
   3. Re: anomalies with the pizza tutorial (Thomas D)
   4. Early Career Symposium of FOIS 2014,      Call for Submissions
      (Janna Hastings)


----------------------------------------------------------------------

Message: 1
Date: Mon, 07 Apr 2014 18:23:17 -0700
From: Csongor Nyulas <[hidden email]>
To: [hidden email]
Subject: Re: [protege-user] anomalies with the pizza tutorial
Message-ID: <[hidden email]>
Content-Type: text/plain; charset="iso-8859-1"; Format="flowed"

Hi Robert,

I started with analyzing the second problem (i.e. why "NO pizza's at all
showed up under NonVegetarianPizza in the inferred class hierarchy"?)
and after some experimentations with the rewriting of the definition of
the NonVegetarianPizza, I realized that for some reason the complement
("not") of "hasTopping only (CheeseTopping or VegetarianTopping)", which
was part of the definition of VegetarianPizza, did not include
AmericanaPizza, despite the fact that Americana had been defined as a
pizza with "hasTopping some PepperoniTopping", where PepperoniTopping is
a MeatTopping.
So, I verified whether MeatTopping is disjoint with CheeseTopping and
VegetableTopping, and I saw that you declared CheeseTopping as disjoint
with MeatTopping, SeafoodTopping and VegetableTopping, one by one. But
you did not declare that MeatTopping, SeafoodTopping and
VegetableTopping are also disjoint among each other.

You can fix your ontology by (1) either adding the missing disjoint
statements between MeatTopping, SeafoodTopping and VegetableTopping, or
by (2) converting the current pairwise disjoint axioms that you have on
CheeseTopping into a single disjoint axiom, that involves all four
PizzaTopping subclasses. To do the later, you can remove the existing
three disjointness axioms, and add a new disjoint axiom where you select
all 3 sibling classes before you click on OK.

This change will fix both problems that you reported.

Csongor

On 04/07/2014 05:16 PM, Robert Rynasiewicz wrote:
> Hi Guys,
>
> I have dutifully followed the pizza tutorial, more precisely, Mathew Horridge's "A Practical Guide to Building OWL Ontologies Using Protege 4 and CO-ODE Tools" up through Chapter 6, using Protege 4.3, and found two instances where classification inferences did take hold where they should have:  (1) AmericanaPizza did not get subsumed under InterestingPizza in the inferred class hierarchy, and (2) NO pizza's at all showed up under NonVegetarianPizza in the inferred class hierarchy.  This is the case using both FaCT++ and HermiT as reasoners.  I've checked the RDF/XML code to make sure it wasn't a failure of the user interface (and it appears not to be).  Thus, I'm left with a mystery as to why these particular inferences didn't take hold.  (All other class and individual inferences went through.)  Could this be a 4.3 effect?
>
> Attached is the .owl file generated by the tutorial.
>
> Yours,
> Robert Rynasiewicz
>
>
>
> _______________________________________________
> protege-user mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/protege-user

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-user/attachments/20140407/6f2d40ea/attachment-0001.html>

------------------------------

Message: 2
Date: Mon, 7 Apr 2014 19:24:06 -0700
From: Peter Yim <[hidden email]>
To: [hidden email]
Subject: [protege-user] OntologySummit2014 session-13: Communique
        Draft   Review - Thu 2014.04.10
Message-ID:
        <[hidden email]>
Content-Type: text/plain; charset=ISO-8859-1

.
Re: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_04_10


Dear Colleagues,


After a very productive Synthesis session last week, we are moving
onto an important next segment of our Ontology Summit process - the
development of a Communique that distills the learning from the last
few months' (and thousands of hours of) work and discourse. The
Communique will represent the collective position that this community
will assume, and the open message we would want to deliver, with
respect to the theme of this Summit. At this session the Communique
Lead Editors (namely, our General Co-chairs), Professor Michael
Gruninger and Dr. Leo Obrst, will be presenting, for the first time, a
working draft of the OntologySummit2014_Communique for review and
discussion by the community. We will not be wordsmithing yet, but will
be doing a higher level review, to make sure we have included
everything we want to see in the Communique, and will attempt to
expose and close all gaps. If you care about, and would want to
influence what goes into the Communique, please make sure you come to
this (and next week's) session.


****************** Headlines ******************

Please join us this, and the next few Thursday at the Ontology Summit
virtual sessions:

*Thu 10 Apr 2014* - OntologySummit2014 session-13 - Communique Review
- Co-chairs: Professor Michael Gruninger & Dr. Leo Obrst - see
details on the session page at:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_04_10

*Thu 17 Apr 2014* - OntologySummit2014 session-14 - Communique
Finalization - Co-chairs: Professor Michael Gruninger & Dr. Leo Obrst
- see details on the session page at:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_04_17

*Thu 24 Apr 2014* - OntologySummit2014 session-15 - Final Symposium
preparation and logistics - Co-chairs: TimFinin & RamSriram
- see developing details on the session page at:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_04_24

Between mid January and end Apr-2014, we have been running virtual
panel sessions every Thursday at the same time window, ~2 Hrs,
starting 9:30am PT / 12:30pm ET ... please mark your calendars, and
join us.

*Register your attendance* by emailing <[hidden email]> off-line
or register yourself directly to the wiki session page. Please specify
the date of name of the session(s) you are registering for. ... RSVP!


********************* Details ************************

This is our 9th Ontology Summit, an annual joint initiative by NIST,
Ontolog, NCOR, NCBO, IAOA & NCO_NITRD with the support of our
co-sponsors. The theme adopted for this Ontology Summit is: "Big Data
and Semantic Web Meet Applied Ontology."

Since the beginnings of the Semantic Web, ontologies have played key
roles in the design and deployment of new semantic technologies. Yet
over the years, the level of collaboration between the Semantic Web
and Applied Ontology communities has been much less than expected.
Within Big Data applications, ontologies appear to have had little
impact.

This year's Ontology Summit is an opportunity for building bridges
between the Semantic Web, Linked Data, Big Data, and Applied Ontology
communities. On the one hand, the Semantic Web, Linked Data, and Big
Data communities can bring a wide array of real problems (such as
performance and scalability challenges and the variety problem in Big
Data) and technologies (automated reasoning tools) that can make use
of ontologies. On the other hand, the Applied Ontology community can
bring a large body of common reusable content (ontologies) and
ontological analysis techniques. Identifying and overcoming ontology
engineering bottlenecks is critical for all communities.

OntologySummit2014 will pose and address the primary challenges in
these areas of interaction among the different communities. The Summit
activities will bring together insights and methods from these
different communities, synthesize new insights, and disseminate
knowledge across field boundaries.

Following earlier Ontology Summit practice, the synthesized results of
this season's discourse will be published as a Communique.

See developing details at:
http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014 (homepage
for this summit)

---

These sessions, 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. Please help us spread the word by relaying this
message to other relevant community mailing lists, and ask colleagues
of your who may also find these sessions to be of interest to come
join us.

*RSVP* by emailing Peter Yim at <[hidden email]> offline (or add
yourself directly to the session page if you are already an Ontolog or
Ontology Summit 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.] ... All respondents
will be subscribed (if they aren't already so) to the
[ontology-summit] mailing list so they are participate in the virtual
discourse.

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).


Regards.  =ppy

For and on behalf of the

OntologySummit2014 session-13 Co-chairs,
Michael Gruninger & Leo Obrst

and Members of the
OntologySummit2014 Organizing Committee

http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014


p.s. see more details on the OntologySummit program at:
http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014 where you
will find links to the full proceedings for previous sessions of this
series at their respective session pages. In particular, the
proceedings of the Launch Event, which provided an great overview of
this Ontology Summit, is available
at: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2014_01_16

p.p.s. please note that the OntologySummit2014 Symposium, the two-day
event that culminates this Summit's discourse, scheduled for April 28
& 29, 2014 in the Washington DC Area, USA, is now open for
registration. Both on-site and remote participation are supported.
Participation is free-of-charge, but prior registration is required.
Please register now, before it closes (on Apr-23 or sooner, when the
limited capacity is filled.) See:
http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014_Symposium
--


------------------------------

Message: 3
Date: Tue, 08 Apr 2014 09:22:18 +0200
From: Thomas D <[hidden email]>
To: User support for WebProtege and Protege Desktop
        <[hidden email]>
Subject: Re: [protege-user] anomalies with the pizza tutorial
Message-ID: <[hidden email]>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed

Hi,

it seems that you made a mistake when entering the disjoint axiom of the
PizzaTopping class. You stated that CheeseTopping is disjoint with the
three other subclasses but not that those three (Vegetable, Seafood,
Meat) are disjoint with each other. Doing this (select for example
CheeseTopping, click on Disjoint With, select Vegetable, Seafood and
Meat and click on ok)  results in the correct inferences.

Regards,
Thomas D.



Le 08/04/2014 02:16, Robert Rynasiewicz a ?crit :
> Hi Guys,
>
> I have dutifully followed the pizza tutorial, more precisely, Mathew Horridge's "A Practical Guide to Building OWL Ontologies Using Protege 4 and CO-ODE Tools" up through Chapter 6, using Protege 4.3, and found two instances where classification inferences did take hold where they should have:  (1) AmericanaPizza did not get subsumed under InterestingPizza in the inferred class hierarchy, and (2) NO pizza's at all showed up under NonVegetarianPizza in the inferred class hierarchy.  This is the case using both FaCT++ and HermiT as reasoners.  I've checked the RDF/XML code to make sure it wasn't a failure of the user interface (and it appears not to be).  Thus, I'm left with a mystery as to why these particular inferences didn't take hold.  (All other class and individual inferences went through.)  Could this be a 4.3 effect?
>
> Attached is the .owl file generated by the tutorial.
>
> Yours,
> Robert Rynasiewicz


------------------------------

Message: 4
Date: Tue, 8 Apr 2014 14:52:37 +0100
From: "Janna Hastings" <[hidden email]>
To: <[hidden email]>
Subject: [protege-user] Early Career Symposium of FOIS 2014,    Call for
        Submissions
Message-ID: <037301cf5331$cd90b730$68b22590$@ebi.ac.uk>
Content-Type: text/plain; charset="us-ascii"

============================================

         Early Career Symposium

         held as part of FOIS 2014

Rio de Janeiro, Brazil, September 24, 2014

  http://fois2014.inf.ufes.br/p/ecs.html

============================================

    Application deadline: May 19, 2014

============================================





Scope:

The FOIS 2014 conference will host an Early Career Symposium (ECS). This
event is designed to provide an opportunity for graduate students to present
their work at one of the leading conferences in formal ontology and to get
first-hand feedback and mentorship from senior researchers in their field.
It will also allow participants to network with other early career
scientists in the broad field of ontology. Topics of interest include all
topics relevant to the interdisciplinary field of ontology as outlined in
the topics of interest for FOIS 2014 (see
http://fois2014.inf.ufes.br/p/call-for-papers.html#topics).





Format:

The ECS will be held as a poster session within the main FOIS conference.
The poster session will be opened by a lightning talks session, during which
each participant has the opportunity to advertise his/her work in a 3
minutes speech in front of the general audience of the FOIS conference. Each
participant will be assigned a senior researcher, who will provide
substantial feedback to his/her work. Moreover, a PhD Lounge will allow
early career scientists to meet and discuss their work with each other.





Application Instructions:

The ECS is open to students at the Masters and Doctoral Level that have not
defended their thesis before the ECS Submission deadline.



Candidates must submit a description of their research project (see the
template at
http://www.spatial.maine.edu/~torsten/fois14-ecs/ECS_submission_template.doc
) and a current CV. Submissions will be reviewed by selected members of the
FOIS Program Committee. Final submission is via
https://www.easychair.org/conferences/?conf=fois2014 (select the track
'Early Career Symposium').



All participants must register for the main conference.



Contact:

For all queries about the Early Career Symposium, please contact the
organizers at [hidden email].





Important Dates

May 19, 2014:        ECS Submission deadline

June 23, 2014:       ECS Notification of acceptance

September 24, 2014:  Early Career Symposium





ECS Organizers

Marion Haemmerli (University of Lausanne, Switzerland)

Torsten Hahmann (University of Maine, USA)

Claudio Masolo (ISTC-CNR, Italy)





----------------------------------------------------------------------------
----------------------------------

Janna Hastings

      Email: [hidden email] | Tel: <a href="tel:%2B44%20%280%291223%20494411" value="+441223494411">+44 (0)1223 494411 | Fax: +44 (0)1223
494468

      Twitter: @jannahastings | ORCID: 0000-0002-3469-4923 | Web:
www.ebi.ac.uk/~hastings

Coordinator, Cheminformatics and Metabolism, European Bioinformatics
Institute

----------------------------------------------------------------------------
----------------------------------

Visit ChEBI at www.ebi.ac.uk/chebi





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-user/attachments/20140408/54f6bff4/attachment.html>

------------------------------

Subject: Digest Footer

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user


------------------------------

End of protege-user Digest, Vol 3, Issue 18
*******************************************

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: Digest setting seems off

Csongor Nyulas
Administrator
Hi Quinsulon,

I checked the mailing list settings, and the most probable cause for occasionally receiving multiple digest emails a day, is a setting related to the size of the digests. The mailman sends out a digest email whenever a size limit is hit, which was set to the 30KB by default, but at least once every a day on which there was activity on the mailing list.
I've set the size limit to 300KB, which means that there will be much fewer cases when multiple digests will be sent out on the same day (this could happen, for example, only when several emails with large attachments will be posted on the same day). Having a reasonable size limit set is important, because not everybody in the community is able to receive email messages of arbitrary large size.

I hope this solution will be acceptable for most subscribers of the mailing list.

Best,
Csongor

On 04/08/2014 12:43 PM, Q I wrote:

Hello,

Can the admin please check the digest setting. It should be sending only one email daily, not 3-4. Am I incorrect in this?

-Quinsulon




_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user