ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

OLP 2016 - 2016 Ontologies and Logic Programming for Query Answering

Date2016-07-09 - 2016-07-15

Deadline2016-04-18

VenueNew York City, USA - United States USA - United States

Keywords

Websitehttps://ontolp.lsis.org/ontolp

Topics/Call fo Papers

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?

Last modified: 2016-02-11 22:29:24