News

Add new post

ORE is 3!

The 2014 OWL Reasoner Evaluation Workshop and Competition (ORE2014) is the 3rd iteration and the second when there was a meaningful competition. So hurray! We had the workshop today (the competition will be held during DL 2014, to facilitate betting) and it was quite good. In particular, there was some super interesting work on new benchmarks (esp. for conjunctive query) and some reasoner-breaking ontologies with nice investigations. I’ll invite some of those folks to write a blog post about these.

The business meeting (see slides) focused on the critical question of whether

  1. to move organisation into the OWLED community group
  2. to merge ORE with OWLED (or tightly bind them).

Everyone is fine with using the community group (that’s, after all, secondary to the actual organisation structure we develop), but there was a marked preference for DL over OWLED as colocation partner (i.e., 14 would go happily to ORE with DL and only 2 happily and 9 (for 11 total) would go to ORE with OWLED). A lot depends on the participation and enthusiasm of OWLED folks.

The DL community very much enjoyed the live competition last year. It’ll be interesting to see how they react this year. Overall, I think convergence is a good thing and ORE more as “users meet developers” would be a great thing in OWLED.

I’d be remiss not to tip my hat to all those involved in the organisation. ORE is more work than the typical workshop because a competition is a very hard thing to get even marginally right! PC Chairs Ernesto Jiménez-Ruiz and Samantha Bail continued their sterling work even though they couldn’t be there due to (resp) new child and new job. The Competition Organisers were (test infrastructure) Birte Glimm and Andreas Steigmiller and (test corpus) Nicolas Matentzoglu with some help from me. Our invaluable local organizers were Magdalena Ortiz and Mantas Šimkus while Thomas Krennwallner runs the Olympic Games overall.

As  last year, Konstantin Korovin, of the University of Manchester, donated his Royal Society (grant RG080491) funded cluster to run the competition.
The T-Shirts this year are so awesome I can barely contain myself. They feature a unicorn and random people wanted one because they “were so fun”. My legacy is complete!

OWLED 2014: Call for Papers and New Submission Date

The Call For Papers for OWLED 2014 (colocated with ISWC 2014 in Trentino Italy on Oct 17 and 18) has been out without a blog post here so I take the fact that we’ve updated the submission date to July 30 (to avoid having the due date occur in the middle of the Vienna Summer of Logic) to rectify this fact.

We’re going to take the first steps toward merging the OWL Reasoner Evaluation (ORE)  workshop and contest with OWLED. ORE was great fun last year (with extensive betting on the live contest!) and flushed out lots of interesting reasoner that I, personally, had never heard of before. Part of the contest set is derived from a large crawl of ontologies on the Web, but other “challenge problems” were submitted by working ontologists. This makes ORE a perfect fit for OWLED and I hope that folks making and using ontologies step up to the challenge of making reasoner developers cry.

The other big goal is getting standardisation efforts rolling again. OWL 2 was a great step, but there are still lots of little niggles we could tackle even before thinking of major extensions. SPARQL 1.1′s entailment regimes have made querying against OWL ontologies with OWL semantics a reality, but the syntax isn’t always ideal and we don’t have a set of best practices around it. The Community group provides a mechanism for publishing reports, so we should use that! If you have a spec  or extension idea, please submit a paper about it or contact me directly (even a comment on this post would be good!)

OWLED 2014 & Reinvigorating the Community Group

Hi folks,

As some of you may know, I’ve been selected to be General Chair of OWLED 2014.

Fun!

It’s my very great pleasure to announce that Valentina Tamma and Maria Keet have agreed to be co-PC chairs. We’ll be sorting out the PC and CFPs shortly.

In all probability, we will be colocated with ISWC 2014 (there are few more details to be ironed out).

A lot of OWLED this year will be familiar (submit papers/come have fun!), but I also hope to get us back to our roots as an activist community which is effective in improving the state of OWL for all of us.

To that end, I’ve started organizing this community group a bit more (for example, I just rationalized the number of chairs to just me (qua general chair) and Pavel (qua rep of the steering committee); this will evolve) and plan to transition a lot of the normal OWLED infrastructure here. I also hope to get some traction on “reports” (e.g., specs for new features).

Also, we’ve an intention to fold the OWL Reasoner Evaluation Workshop into OWLED. ORE was a great success last year, but we really want to connect reasoner evaluation to people’s lived experience of them. To that end, I think we as a community can make this into a useful way to improve the state of the art as well as reward hardworking reasoner developers.

I

diff’ing OWL files with version control systems

Chris Mungall initiated a controversial blog post [1] regarding the challenge of diff’ing OWL files stored in version control systems. Is it possible to specify an ordering of OWL axioms so that these play more nicely in standard VCS?

[1] http://douroucouli.wordpress.com/2014/03/30/the-perils-of-managing-owl-in-a-version-control-system/

 

SPARQL Reasoning Using An Aligned Ontology In Jena

If I have an aligned ontology in my hand that corresponds to a RDF graph in Jena, how can I issue SPARQL query to the RDF store through Jena such that inferences will be made with respect to the supplied ontology?(i.e my ontology file and RDF files are seperate, but I would like to use the knowledge in ontology for any SPARQL queries issued through Jena)

Extending Manchester Syntax

Hi all,

The expressiveness of OWL Manchester Syntax (omn) is limited compared to other OWL2 syntaxes.  For example, it is not possible to express GCIs in omn.  I would like to extend omn so that is has the expressiveness of all the other official OWL2 syntaxes.

This post is intended to start the ball rolling on discussion of and agreement on such an extension.  Please let this list know if you are interested to join this discussion. Some draft suggestions for how to extend omn to include GCIs will follow shortly.

Cheers,

David

Welcome to the OWLED Community Group

At OWLED 2012, I proposed that we form a Community Group to support the activist part of the OWLED mission, and the participants quickly decided that that’s what we wanted to do.

And here we are!

Over the next couple of weeks, I hope a significant number of people join up. At that point we can start organizing matters (e.g., chairs, etc.). But don’t wait to be organized to start doing stuff! Let’s get a list of possible projects going!