Home

ONTOLP-2016
Ontologies and Logic Programming for Query Answering
http://ontolp.lsis.org
The second edition of this international workshop is affiliated with the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016, http://ijcai-16.org) and
will take place in New York, USA, July 11th, 2016 .
New York Hilton Midtown, Hudson room, Floor 4
1335 Avenue of the Americas. New York, New York 10019
Localisation

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

  • 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 fragment 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 computational complexity. In particular,

  • how to embed exceptions-based and inconsistency tolerant-based reasoning in a tractable ontological language?
  • how to integrate uncertainty information in lightweight ontological languages?
  • how to define merging operations where both inputs and outputs are in lightweight ontological languages?

Topics of interest include but are not limited to:

  • Reasoning with lightweight ontologies
  • Reasoning with tractable fragments of OWL languages
  • Belief change & tractable Description logics
  • Reasoning on the web of data
  • Ontology-based data-access
  • Ontological query answering
  • Belief change & ASP
  • Datalog+/- & existential rules
  • ASP & description logics
  • ASP & uncertainty
  • First-order ASP
  • Rulelog

SUBMISSIONS

IMPORTANT DATES

  • Paper submission deadline: May 3rd, 2016
  • New deadlines :
    Abstract submission deadline: as soon as possible,
    Paper submission deadline: May 23rd, 2016.

  • Notification of acceptance: June 7, 2016
  • Deadline for final camera ready copy: June 17, 2016
  • workshop (half day): July 11 , 2016

CONTACT

This workshop receives support from ANR (French National Research Agency), ASPIQ project reference ANR-12-BS02-0003. (http://www.agence-nationale-recherche.fr/)