=Paper=
{{Paper
|id=Vol-1517/JOWO-15_preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1517/JOWO-15_preface.pdf
|volume=Vol-1517
}}
==None==
https://ceur-ws.org/Vol-1517/JOWO-15_preface.pdf
JOWO 2015
The Joint Ontology Workshops - Episode 1
Four Workshops held at the
24th International Joint Conference
on Artificial Intelligence – IJCAI 2015
July 25–27, 2015
Buenos Aires, Argentina
http://iaoa.org/jowo/
Editors
Odile Papini Salem Benferhat Laurent Garcia Marie-Laure Mugnier
Eduardo Fermé Tommie Meyer Renata Wassermann
Torsten Hahmann Ken Baclawski Adila Krisnadhi Pavel Klinov
Stefano Borgo Oliver Kutz Daniele Porello
PREFACE
JOWO – The Joint Ontology Workshops
JOWO, ‘The Joint Ontology Workshops—Episode I: The Argentine Winter of
Ontology’, was held for the first time in Buenos Aires, at the 24th International
Joint Conference on Artificial Intelligence – IJCAI 2015. Its mission is to join
forces of the diverse communities interested in building, reasoning with, and ap-
plying formalised ontologies in the wide spectrum of Artificial Intelligence theory
and applications.
The present edition of JOWO 2015 collocated four workshops that cover a broad
spectrum of contemporary ontology research ranging from philosophical founda-
tions to theoretical investigations of reasoning problems to a variety of AI appli-
cations of ontologies. JOWO included
OntoLP1 Workshop on Ontologies and logic programming for query answering;
OntoChange2 Workshop on Belief Change and Non Monotonic Reasoning in On-
tologies and Databases;
WoMO3 Ninth International Workshop on Modular Ontologies;
FOfAI4 Workshop on Formal Ontologies for Artificial Intelligence.
A more detailed description of these workshops can be found below.
Workshop on Ontologies and logic programming for query answering (OntoLP)
The aim of this workshop is to bridge knowledge representation and reasoning
in artificial intelligence and web of knowledge communities in order to encourage
the emergence of new solutions for reasoning with lightweight ontologies. The
workshop focuses on languages and techniques that allow for:
- Query answering while taking ontologies into account.
- Non monotonic reasoning for inconsistency handling and exception handling
and expressing default negations in ontologies.
Concerning the first point, a challenging issue is how to adapt or extend Answer
Set Programming to represent ontological knowledge. In particular, can (a frag-
ment of) ASP cover lightweight ontological languages while keeping decidability
and efficiency?
Concerning the second point, a challenging issue is how to extend lightweight
ontological languages with non-monotonic features, while keeping a good compu-
tational complexity. In particular,
i) how to embed exceptions-based and inconsistency tolerant-based reasoning in
a tractable ontological language?
ii) how to integrate uncertainty information in lightweight ontological languages?
iii) how to define merging operations where both inputs and outputs are in
lightweight ontological languages?
Workshop on Belief Change and Non Monotonic Reasoning in Ontologies and
Databases (OntoChange)
Recent advances in the formal representation of ontologies have made it possible
to perform standard reasoning tasks over real-world large-scale ontologies, and
users of large ontologies are starting to adopt such reasoning tools. One of the
consequences of the increasing uptake of these tools is the need to go beyond clas-
sical reasoning, and in particular, the ability to manage changes to ontologies as
they evolve over time. Appropriate solutions for this problem have the potential
to enrich the use of ontologies in real world scenarios. The seminar topic is there-
fore especially relevant for application domains in which ontologies have already
proved to be beneficial, such as the biomedical domain.
Managing change in ontologies is an important emerging area. It is clear also
that there are problems of common interest to the ontology, belief change, and
database communities. A Dagstuhl seminar on this topic was held in October
2012 (http://tinyurl.com/lwzqzng), and was followed up by a Research School
on the same topic in February 2014 (http://tinyurl.com/ojkpg6c). The success
of these two meetings makes it clear that is necessary to set up a more regular
forum for discussing and presenting work in this area.
The aim of this workshop is to set up a regular forum for discussing and presenting
work in this area, to bring together researchers working in the areas of logic-based
ontologies, belief change, and database systems, along with researchers working in
relevant areas in nonmonotonic reasoning, commonsense reasoning, and paracon-
sistent reasoning. Additionally, the integration with JOWO provides an exciting
and unique opportunity to create a bridge between this area, and other related
areas in ontologies, resulting in a fruitful symbiosis.
In this first edition, Corman, Aussenac-Gilles and Vieu studies how prioritized
base revision can be effectively applied in order to restore consistency, coherence,
or get rid of undesired consequences. The technique proposed is based on kernel
contraction. The next two papers deal with Paraconsistent Semantics: Croitoriu
and Rodriguez, investigate the use of kernel consolidation in order to operate with
Inconsistent OBDA Ontology Based Data Access. Kaminsk, Knorr and Leite ad-
dress the problem of efficiently obtaining meaningful conclusions from (possibly
inconsistent) hybrid KBs. Finally, Peñaloza and Thuluva deal with the problem
of iteration of updates in an ontology and propose a context-based method that
stores the information about all the possible outcomes of an update.
Workshop on Modular Ontologies (WoMO)
Modularity, is an important enabling technology for knowledge repositories and
collaborative knowledge development environments. In formal and applied ontol-
ogy, modularity is central to reducing the complexity of designing and understand-
ing ontologies, as well as facilitating ontology verification, reasoning, maintenance
and integration.
This workshop continues a series of successful events that have been an excel-
lent venue for practitioners and researchers to discuss latest and current work on
theoretical and practical aspects of modularity in ontologies, bringing together
an interdisciplinary crowd of researchers from various subareas of AI spanning
knowledge representation, reasoning and logic (description logics, first-order log-
ics, context-based reasoning, rule-based reasoning, automated theorem proving)
and web and knowledge-based repositories and information systems (ontologies,
semantic web, linked data) as well as researchers from philosophy, logic, cognitive
science, and linguistics and from various application domains.
Topics of interest to the workshop are modularity in ontologies in the broadest
sense. Submissions were welcome irrespective of the ontology language of interest
(ranging from informal ontologies such as taxonomies, glossaries, folksonomies,
and conceptual models, to formal ontologies specified in languages such as RDF,
OWL, SKOS, first-order logic, Common Logic). Papers may touch on any aspect
of modularity, including but not limited to:
• philosophical, cognitive, linguistic and social aspects of ontology modularity;
• theory, algorithms and implementations of ontology modularity, including those
that apply methods beyond classical knowledge representation, such as machine
learning and natural language processing;
• modularity in reasoning over ontologies;
• modularity in ontology engineering; and
• modular ontologies in applications.
Formal Ontologies for Artificial Intelligence (FOfAI)
The 1st workshop on Formal Ontologies for Artificial Intelligence - FOfAI - took
place at IJCAI 2015 in Buenos Aires as part of JOWO, Episode I.
In the last 20 years, ontologies have played key roles in the design of complex
information systems and in the development of methodologies for the manage-
ment of heterogeneous information. There has been an explosion of results that
are broadly related to ontologies in a large number of communities like Knowl-
edge Representation and Reasoning, Natural Language Processing, Multiagent
Systems, Cognitive Modeling, Decision Theory, Social Studies, Computer Vision,
Knowledge Engineering, Industrial Design, Robotics, Planning and Conceptual
Modeling.
Ontologies have here to be understood as general theories of the types of enti-
ties and relations in a domain. At the center of the discipline of formal ontology
lies the systematic study of the formal characterization of ontologies (representa-
tions, axiomatics, reasoning techniques) as well as their link with naive realism,
epistemology, cognition, commonsense, empirical methods, and data-analysis.
The FOfAI workshop aims to establish a venue for researchers in AI with an
interest in formal ontology. In particular, it aims to foster an interdisciplinary
discussion and cross-fertilization among a number of communities by proposing
a venue to exchange foundational, methodological, and applicative perspectives.
FOfAI 2015 was generously supported and sponsored by the International Asso-
ciation for Ontology and its Applications, IAOA, as well as by the Association
for Logic, Language, and Information, FoLLI.
Acknowledgements
Keynotes.
We would like to thank the program committee members and the additional reviewers for their
timely reviewing. We thank our invited keynote speakers—Diego Calvanese (FOfAI), Carsten
Lutz (WoMO), Tommie Meyer (FOfAI / OntoChange), Andreas Pieris (OntoLP), and Steven
Schockaert (OntoLP)—for their support and contributions.
Funding.
JOWO and its participating workshops have been generously sponsored and supported by the
following organisations:
• IAOA – The International Association for Ontology and its Applications (www.iaoa.org)
• FoLLI – The Association for Logic, Language and Information (www.folli.info)
• CAIR - The Centre for Artificial Intelligence Research (www.cair.za.net)
• ANR – The french Agence Nationale de la Recherche. ASPIQ project reference ANR-12-
BS02-0003 (www.agence-nationale-recherche.fr)
JOWO is a supported event of the International Association for Ontology and its Applications:
IAOA.org.
JOWO 2015 – Organisation
OntoLP 2015
Programme Chairs
Odile Papini Aix-Marseille University, LSIS, France
Salem Benferhat University of Artois, CRIL, France
Laurent Garcia Univeristy of Angers, LERIA, France
Marie-Laure Mugnier University of Montpellier 2, LIRMM, France
Programme Committee
Maria Teresa Alsinet Bernadó University of Lleida, Spain
Jean-François Baget INRIA, Montpellier, France
Chitta Baral Arizona State University, U.S.A.
Madalina Croitoru University of Montpellier 2, France
Jim Delgrande Simon Fraser University, Vancouver, Canada
Thomas Eiter Vienna University of Technology, Austria
Jérôme Euzenat INRIA, Grenoble, France
Eduardo Fermé University of Madeira, Portugal
Sergio Alejandro Gomez Universidad Nacional del Sur Alem, Argentina
Fabio Grandi University of Bologna, Italy
Guido Governatori NICTA Queensland, Australia
John Horty University of Maryland, U.S.A.
Gabriele Kern-Isberner University of Dortmund, Germany
Sylvain Lagrue University of Artois, France
Claire Lefèvre University of Angers, France
Joao Leite University of Lisbon, Portugal
Nicola Leone University of Calabria, Italy
Stéphane Loiseau University of Angers, France
Thomas Lukasiewicz University of Oxford. U.K.
Robert E. Mercer University of Western Ontario, Canada
Thomas Meyer University of Cape Town, South Africa
Farid Nouioua Aix Marseille University, France
Guilin Qi Southeast University, China
Vincent Risch Aix Marseille University, France
Riccardo Rosati University La Sapienza, Roma, Italy
Marie-Christine Rousset University of Grenoble, France
Torsten Schaub University of Potsdam. Germany
Steven Schockaert Cardiff University. U.K.
Guillermo Simari University Bahia blanca, Argentina
Igor Stéphan University of Angers, France
Umberto Straccia ISTI-CNR, Pisa, Italy
Kewen Wang Griffith University. Australia
Stefan Woltran Vienna University of Technology, Austria
Eric Würbel University of Toulon, France
Additional Reviewers
Michael Morak University of Oxford, U. K.
Ricardo Gonçalvez University of Lisbon, Portugal
Antonius Weinzierl Vienna University of Technology, Austria
OntoChange 2015
Programme Chairs
Eduardo Fermé University of Madeira, Portugal
Thomas Meyer University of Cape Town, South Africa
Renata Wassermann University of São Paulo, Brazil
Programme Committee
Andreas Herzig Paul Sabatier University Toulouse, FR
Daniele Theseider Dupré Università del Piemonte Orientale, IT
David Toman University of Waterloo, CA
Emanuele Della Valle Politecnico di Milano,IT
Giorgos Flouris FORTH Heraklion, GR
Giovanni Casini Centre for AI Research, Pretoria, ZA
Ivan José Varzinczak Federal University of Rio de Janeiro, BR
James P. Delgrande Simon Fraser University Burnaby, CA
Kewen Wang Griffith University, AU
Liang Chang Guilin University of Electronic Technology,CN
Marcio Moretto Ribeiro University of Sao Paulo, BR
Matthias Thimm Universität Koblenz-Landau, DE
Maurice Pagnucco, University of New South Wales,AU
Maurcio Reis University of Madeira, PT
Rafael Peñaloza Free University of Bozen-Bolzano, IT
Richard Booth Mahasarakham University, Th
Szymon Klarman Centre for AI Research, Pretoria,ZA
Ulrike Sattler University of Manchester, UK
Valentina Gliozzi Università’ di Torino, IT
Zhe Wang Griffith University, AU
Zhiqiang Zhuang Griffith University, AU
WoMO 2015
Programme Chairs
Torsten Hahmann School of Computing and Information Science
University of Maine, Orono, ME, USA
Ken Baclawski College of Computer and Information Science,
Northeastern University, Boston, MA, USA
Adila Krisnadhi Department of Computer Science and Engineering,
Wright State University, Dayton, OH, USA; and
Faculty of Computer Science,
Universitas Indonesia, Depok, Indonesia
Pavel Klinov Institute of Artificial Intelligence,
University of Ulm, Germany
Programme Committee
Ana Armas University of Oxford, UK
Eva Blomqvist Linköping University, SE
Arina Britz Meraka Institute, CSIR, South Africa
David Carral Wright State University, USA
Chiara del Vescovo BBC Wales, UK
Aldo Gangemi Universite Paris 13-CNRS-Sorbonne Cite, France and
ISTC-CNR, Italy
Michael Gruninger University of Toronto, Canada
Pascal Hitzler Wright State University, USA
Edward Haeusler Pontifical Catholic University of Rio de Janeiro, Brazil
Agnieszka Lawrynowicz Pozna University of Technology (PL)
Francisco Martin-Recuerda Universidad Politecnica de Madrid, Spain
Till Mossakowski University of Magdeburg, Germany
Adrian Paschke Freie Universität Berlin, Germany
Denis Ponomaryov Institute of Informatics Systems, Russia
Alexandre Rademaker IBM Research, Brazil
Thomas Schneider University of Bremen, Germany
Luciano Serafini Fondazione Bruno Kessler, Italy
Barry Smith National Center for Ontological Research,
University of Buffalo, USA
Jeffrey Smith BAE Systems, UK
Dmitry Tsarkov University of Manchester, UK
Ivan José Varzinczak Universidade Federal do Rio de Janeiro, Brazil
Marcella Vegetti Universidad Technologica Nacional, Argentina
George Vouros University of Piraeus, Greece
Dirk Walther Technische Universität Dresden, Germany
Marco Schorlemmer Artificial Intelligence Research Institute,
IIIA-CSIC, Spain
Additional Reviewers
Fabian Neuhaus University of Magdeburg, Germany
Ralph Schäfermeier Freie Universität Berlin, Germany
FOfAI 2015
Programme Chairs
Stefano Borgo Institute of Cognitive Sciences and Technologies
CNR, Trento, Italy
Oliver Kutz KRDB Research Centre for Knowledge and Data
Free University of Bozen-Bolzano, Italy
Daniele Porello Institute of Cognitive Sciences and Technologies
CNR, Trento, Italy
Programme Committee
Alessandro Artale Free University of Bozen-Bolzano, Italy
John Bateman University of Bremen, Germany
Thomas Bittner SUNY, Buffalo, USA
Roberta Ferrario CNR, Trento, Italy
Marcello Frixione University of Genova, Italy
Chiara Ghidini FBK-irst, Trento, Italy
Michael Grüninger University of Toronto, Canada
Nicola Guarino CNR, Trento, Italy
Giancarlo Guizzardi University of Espı́rito Santo, Brazil
Torsten Hahmann University of Maine, Canada
Janna Hastings University of Geneva, Switzerland
Maria Keet University of Cape Town, South Africa
Francesca Alessandra Lisi University of Bari, Italy
Frank Loebe University of Leipzig, Germany
Claudio Masolo CNR, Trento, Italy
Riichiro Mizoguchi JAIST, Ishikawa, Japan
Till Mossakowski Otto-von-Guericke University of Magdeburg, Germany
Fabian Neuhaus Otto-von-Guericke University of Magdeburg, Germany
Leo Obrst MITRE, USA
Thomas Schneider University of Bremen, Germany
Luciano Serafini University of Trento, Italy
Nicolas Troquard Université Paris-Est Créteil, France
Laure Vieu CNRS, Toulouse, France
Renata Wassermann University of São Paulo, Brazil
Frank Wolter University of Liverpool, UK