Formal Ontologies for Artificial Intelligence

FOfAI 2015 Keynotes and regular papers

Stacks Image 81

Diego Calvanese is a full professor at the KRDB Research Centre for Knowledge and Data, Free University of Bozen-Bolzano. He received a PhD from Sapienza University of Rome in 1996. His research interests include formalisms for knowledge representation and reasoning, ontology based data access and integration,
description logics, Semantic Web, graph data management, data-aware process
verification, and service modeling and synthesis.

He has been actively
involved in several national and international research projects in the above
areas (including FP6 TONES, FP7 ACSI, FP7 Optique). He is one of the editors of the Description Logic Handbook. He is
regularly invited to serve on the Program Committees of international
conferences in the above mentioned areas and is a member of the editorial board
of JAIR and of Big Data Research. In 2012-2013 he has been a visiting
researcher at the Technical University of Vienna as Pauli Fellow of the
"Wolfgang Pauli Institute".

He is the program chair of the 34th ACM
Symposium on Principles of Database Systems (PODS 2015), program co-chair of the 2015 Description Logic Workshop (DL 2015), and the general chair of the
28th European Summer School in Logic, Language and Information (ESSLLI 2016).

Accepted Papers:

  • Pawel Garbacz. Two Demarcation Problems In Ontology
  • Tim Fernando. Two perspectives on change and institutions
  • Daniel de Leng and Fredrik Heintz. Ontology-Based Introspection in Support of Stream Reasoning
  • Emily Leblanc, Duc Nguyen, Marcello Balduccini, William Regli, Joseph Kopena and Thomas Wambold. Military Ontologies for Information Dissemination at the Tactical Edge
  • Rajesh Tavva and Navjyoti Singh. Generative Ontology of Vaisesika
  • Ayako Nakamura, Koji Mineshima and Daisuke Bekki. Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics
  • Giancarlo Guizzardi, João Paulo Andrade Almeida, Nicola Guarino and Victorio Carvalho. Towards an Ontological Analysis of Powertypes
Stacks Image 186

Thomas Meyer is a full professor in the Department of Computer Science at the University of Cape Town, and head of the Centre for Artificial Intelligence Research at the Council for Scientific and Industrial Research (CSIR), South Africa. Prior to this he held positions at the CSIR (Chief Scientist), at NICTA, Australia’s premier ICT research institute (senior researcher), the University of New South Wales (conjoint associate professor), the University of Pretoria (associate professor) and the University of South Africa (senior lecturer). He is recognised internationally as an expert in Knowledge Representation and Reasoning, with a focus on nonmonotonic reasoning and description logics. He is a member of the steering committees of the International Conference on Principles of Knowledge Representation and the Description Logic workshop series. He chairs the steering committee of the Nonmonotonic Reasoning workshop series.

He is an associate editor of the journal Artificial Intelligence, and is on the editorial board of the Journal of Artificial Intelligence Research. He has served as a member of the Senior Program Committee of the two top conferences in Artificial Intelligence, IJCAI and AAAI. He is largely responsible for introducing the area of Knowledge Representation and Reasoning into South Africa, and has built up national expertise in this area through the
Centre for Artificial Intelligence Research. Because of his efforts the KR conference will be held in South Africa in 2016. This will only be the second time in its 28 year history that KR will be held outside of North America and Europe.