CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


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



AISB event Bulletin Item

CALL FOR PARTICIPATION: Seminar on Reasoning over ontologies and data, 27 Feb 2013, Amsterdam, THE NETHERLANDS

We cordially invite you to a seminar on reasoning over ontologies and 
data, organized at the VU University Amsterdam. The seminar is held in the 
context of the PhD defence of Szymon Klarman from the Knowledge 
Representation and Reasoning group (

Time: Wednesday, February 27, 10:15 - 13:00 Place: VU University 
Amsterdam, W&N building, room WN-S631 (De Boelelaan 1081a

10:15   Welcome & Coffee

10:30 - 11:15  Shape and Evolve Living knowledge - a case on procedural and
ontological knowledge.
Chiara Ghidini, Data and Knowledge Management group, FBK Trento.

11:20 - 12:05   Non-Uniform Data Complexity in Ontology-Based Data Access with
Description Logics.
Carsten Lutz, Theory of Artificial Intelligence group, University of Bremen.

12:10 - 12:55  Probabilistic Reasoning for Web-Scale Information Extraction.
Heiner Stuckenschmidt, Data and Web Science group, University of Mannheim.

13:00   End


Chiara Ghidini: Shape and Evolve Living knowledge - a case on procedural and
ontological knowledge

The ability to effectively manage business processes is fundamental to ensure
the efficiency of complex organizations, and a key step towards the achievement
of this ability is the explicit representation of static and dynamic aspects of
the organization in the form of conceptual models.
Shaping and maintaining these conceptual representations, and represent them in
appropriate logical formalisms still presents many open challenges. The aim of
the newly launched SHELL (Shape and Evolve Living knowledge) project is to
tackle key interdisciplinary challeges in the fields of (i) the shaping of
conceptual models of an organisation, (ii) their representation in appropriate
formalisms, and (iii) their co-evolution and adaptation w.r.t. data.
In this talk I will provide: (i) an overview of the SHELL project, (ii) an
illustration of our approach for the representation and verification of
structural properties of integrated BPMN business processes and OWL ontologies,
and (iii) hints on some on-going work towards the connection of this
representation with data coming from real process executions.

Carsten Lutz: Non-Uniform Data Complexity in Ontology-Based Data Access with
Description Logics

The idea of ontology-based data access (OBDA) is that an ontology (a logical
theory) gives a semantics to the predicates used in a database, thus allowing
more complete answers to queries, enriching the vocabulary available for
querying, and mediating between data sources with different vocabularies. In
this presentation, I will discuss OBDA with ontologies formulated in description
logics (DLs) and advocate a novel approach to studying the data complexity of
query answering in this context. The approach is non-uniform in the sense that
individual ontologies are considered instead of all ontologies that can be
formulated in a given DL. It allows us to ask rather fine-grained questions
about the data complexity of DLs, such as: given a DL L, how can one
characterize the ontologies for which query answering is in PTime or
FO-rewritable? Is there a dichotomy between being in PTime and being coNP-hard?
We provide several answers to such questions, some of which are based on a new
connection between query answering w.r.t. DL ontologies and constraint
satisfaction problems (CSPs) that allows us to transfer results from CSPs to
DLs. We also identify a class of ontologies within the expressive DL ALCFI that
enjoy PTime data complexity; the new class strictly extends the Horn fragment of
ALCFI, which was was the largest known tractable fragment of ALCFI so far.

Heiner Stuckenschmidt: Probabilistic Reasoning for Web-Scale Information

Most of the current information extraction systems, therefore, provide a degree
of confidence associated with each extracted statement. The higher this
numerical value the more likely is it a-priori that the statement is indeed
correct. While probabilistic knowledge bases provide a natural representational
framework for this type of problem, probabilistic inference poses a
computationally challenging problem. In our work, we want to distribute a
sampling-based inference algorithm whose input is (a) a large set of statements
with confidence values and (b) existing background knowledge, and whose output
is a set of statements with a-posteriori probabilities. We propose the
development and implementation of a distributed inference algorithm that has two
separate processes running on the Hadoop platform. The first process constructs
hypergraphs modeling the statements and their conflicts given known background
knowledge. The second process runs Markov chains that sample consistent sets of
statements from the conflict hypergraph ultimately computing the a-posteriori
probabilities of all extracted statements.


Department of Computer Science                                            & 
??he Network Institute
VU University, de Boelelaan 1081a, 1081HV Amsterdam, The Netherlands tel
(+31)-20-598 7731/7718