Topics

Ontologies and Logic Programming for Query Answering
http://ontolp.lsis.org

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