Artificial Intelligence meets Web of Knowledge

Topics of interest include but are not limited to:

  • 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
  • Reasoning and querying with distributed knowledge sources
  • Semantic access control and reasoning with profiles
  • Scalable and anytime reasoning on big data
  • Belief change & ASP
  • Datalog+/- and existential rules
  • ASP & description logics
  • ASP & uncertainty
  • First-order ASP