Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB opportunities Bulletin Item

CALL FOR SUBMISSIONS: Ontology competition at FOIS 2014, 22-25 Sep 2014, Rio de Janeiro, BRAZIL

Ontology competition
at the 8th International Conference on Formal Ontology in Information Systems
FOIS 2014, September 22-25, 2014, Rio de Janeiro, Brazil



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

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 

The criteria to be used in the competition were identified at the Ontology 
Summit 2013 and summarized at 

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? 

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

Each submission should consist of


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.


Paper Submission Deadline: March 3, 2014
Ontology/Link Submission Deadline: March 10, 2014
Notification: May 5, 2014
Ontology and Paper Final Version Due: June 30, 2014
Conference Dates: September, 22-26, 2014


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 contact mossakow@iws.cs.uni-magdeburg.de
for details about how to add their ontologies and links to some

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


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


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


Competition 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 Benzmller (FU Berlin, Germany)
Fabian Neuhaus (University of Magdeburg, Germany)
Florian Probst (SAP Research, Germany)
Jrme 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)