The workshops at JOWO 2015
Workshop on Formal Ontologies for Artificial Intelligence
Chairs: Stefano Borgo, Oliver Kutz, and Daniele Porello
FOfAI aims to establish a venue for researchers in AI with a strong interest in applied ontology. In particular, we aim to foster an interdisciplinary discussion and cross-fertilization among a number of communities by proposing a venue to exchange foundational, methodological, and applicative perspectives. The workshop thus encourages submission of articles on both theoretical, computational, and linguistic issues in the use of ontologies in AI as well as the concrete use of non-trivial ontologies in AI systems and applications.
FOfAI is generously sponsored by the Association for Logic, Language and Information – FoLLI.
9th Int. Workshop on Modular Ontologies
Chairs: Kenneth Baclawski, Torsten Hahmann, Pavel Klinov, Adila Krisnadhi
This workshop brings together researchers from all subareas of AI and from related disciplines and application domains to discuss latest and current work on theoretical and practical aspects of modularity in ontologies. Topics include modularity as enabling technology for knowledge repositories and collaborative knowledge development environments and as a tool for reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, maintenance and integration.
1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies and Databases
Chairs: Eduardo Fermé, Thomas Meyer and Renata Wassermann
This workshop will bring together researchers working in the areas of logic-based ontologies, belief change, and database systems, along with researchers working in relevant areas in non-monotonic reasoning, commonsense reasoning, and paraconsistent reasoning. Hence the workshop will facilitate discussions on the application of existing work in belief change, non-monotonic reasoning, commonsense reasoning, and related areas on the one hand, to logic-based ontologies and databases on the other.
Ontologies and logic programming for query answering
Chairs: Odile Papini, Marie-Laure Mugnier, Laurent Garcia, Salem Benferhat
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. Particular topics include query answering while taking ontologies into account and nonmonotonic reasoning for inconsistency handling and exception handling and expressing default negations in ontologies, with a special interest in logic programming for implementations.