Ontology Competition


Ontology Competition

Accepted Submissions


The following submissions were accepted as a Full Paper (both for the Competition and the Main track)
  • Carmen Chui and Michael Gruninger. Mathematical Foundations for Participation Ontologies
  • Marco Rospocher, Chiara Ghidini and Luciano Serafini. An ontology for the Business Process Modelling Notation
  • Natalia Antonioli, Francesco Castanò, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi and Patrizia Castracane. The Italian Public Debt Ontology
  • Paul Brandt, Twan Basten and Sander Stuijk. ContoExam: an ontology on context-aware examinations

The following submissions were accepted as short papers (only in the Competition track)

  • Marco Rospocher. An ontology for personalized environmental decision support
  • Adrien Barton, Arnaud Rosier, Anita Burgun and Jean-Francois Ethier. The Cardiovascular Disease Ontology
  • Vinay Chaudhri and Michael Wessel. Overview of KB Bio 101 Content and Challenges for Ontology Research
  • Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder and Sandro Wartzack. Towards Ontological Support for Principle Solutions for Mechanical Engineering

Call for Submissions

at the 8th International Conference on Formal Ontology in Information Systems

FOIS 2014, September 22-25, 2014, Rio de Janeiro, Brazil

http://fois2014.inf.ufes.br/p/call-for-ontology-competition.html
http://www.iaoa.org/fois/

Definition and Scope

FOIS papers often refer to ontologies which are not publicly available, or to ontologies whose relations to other ontologies are not clearly specified. 

The aim of the FOIS 2014 ontology competition is (1) to encourage ontology authors to make their ontologies publicly available and (2) to subject them to evaluation according to a set of pre-determined criteria.

Submission is not restricted to ontologies accompanying FOIS research papers.

The criteria to be used in the competition were identified at the Ontology Summit 2013 and summarized at http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2013_Communique):

Informal Criteria

1. Can ontologically naive speakers understand the ontology and agree with one another as well as with the ontology engineers about its design and the meaning of its terms? (Intelligibility)
2. Does the ontology accurately represent its domain? (Fidelity)
3. Is the ontology well-built and are design decisions followed consistently? (Craftsmanship)
4. Does the representation of the domain fit the requirements for its intended use? (Fitness)
5. Does the deployed ontology meet the requirements of the information system of which it is part? (Deployability)

Logically formalizable criteria

6. Is the ontology consistent?
7. Does the ontology satisfy its intended consequences?
8. Do intended models satisfy the ontology?
9. Has the ontology been aligned/linked with other ontologies?
10. Has an OWL version of the ontology been (formally) linked to a FOL version?

Criteria for links

11. Do links represent an interesting logical and/or ontological relationship between ontologies?
12. Do links relate domain and foundational ontologies?
13. Do links provide a logical relation between different versions of one ontology formulated in different languages?
14. Do links provide the basis for an interesting combination of ontologies?

Each paper should satisfy a non-empty subset of these criteria. Papers suggesting ways to detail these criteria are welcome as well, as long as they are accompanied by some sample ontology submitted for evaluation.

Format

Each submission should consist of

A:

1. one or more ontologies, and possibly links between these, and
2. a paper describing the ontologies, addressing at least some of the above criteria.

or B:

1. one or more links between existing ontologies, and
2. a paper describing the links, addressing at least some of the above questions.

The paper can either be a regular FOIS paper (that then will be reviewed both within the main FOIS conference and in the competition track, with independent acceptance decision), or a short paper focusing on the description of the ontology/ontologies (and possibly links) that is reviewed only in the competition track.

Note that links may be formulated as alignments in the ontology alignment format, see http://alignapi.gforge.inria.fr/format.html.
However, the focus of the competition will not be on mapping individual terms, but on links carrying also some logical relation between the axioms of the involved ontologies, like e.g. theory interpretations.
Logical links between versions in different languages (e.g. OWL and FOL) are of particular interest.

Submissions may have been published previously, but any prior publication must be cited in the paper. However, the verbatim reproduction of previous work is not encouraged - and submissions should explicitly address as many of the fourteen above-mentioned criteria as possible.

At the conference, the best submission(s) will be rewarded a prize.

Important Dates

Paper Submission Deadline: March 14, 2014
Ontology/Link Submission Deadline: March 14, 2014
Notification: May 5, 2014 May 12, 2014 (extended!)
Ontology and Paper Final Version Due: June 30, 2014
Conference Dates: September, 22-25, 2014

Submission Guidelines

Ontologies, links and the paper should be submitted simultaneously.
Ontologies and links should be uploaded to some repository of the Open Ontology Repository initiative, see http://www.oor.net
Whilst these repositories share common goals, they have different specialisations: some support exclusively OWL and related languages, whilst the COLORE repository focuses on Common Logic, and the
Ontohub.org repository specialises on supporting a variety of languages. Moreover, some repositories are more domain-specific, e.g. Bioportal focuses on biomedical ontologies, etc. In any case, all submissions will be mirrored at one site in order to give reviewers (and later FOIS participants) a compact access to the ontologies and links. Submitters should contactmossakow@iws.cs.uni-magdeburg.de for details about how to add their ontologies and links to some repository.

Submitted short papers must not exceed 6 pages (including the bibliography). Papers should be submitted electronically in PDF format. Submission should be prepared in accordance with the IOS formatting guidelines found at

http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/

The Easychair submission page can be found at (please select the competition track):

https://www.easychair.org/conferences/?conf=fois2014

Short papers will be published within the FOIS proceedings volume in the IOS Press series 'Frontiers in Artificial Intelligence and Applications'.

Competition Organization Committee


Aldo Gangemi (Université Paris 13 & CNR-ISTC, France)
Barry Smith (The State University of New York, Buffalo, USA)
Christiane Fellbaum (Princeton University, USA)
Christoph Benzmüller (FU Berlin, Germany)
Fabian Neuhaus (University of Magdeburg, Germany)
Florian Probst (SAP Research, Germany)
Jérôme Euzenat (INRIA & LIG, France)
Matthew Horridge (Stanford University, USA)
Michael Gruninger (University of Toronto, Canada)
Oliver Kutz (University of Bremen, Germany)
Robert Hoehndorf (University of Cambridge, UK)
Till Mossakowski (University of Magdeburg, Germany) (chair)
Vinay Chaudhri (SRI International, Menlo Park, USA)