Submitted by dominguesw on Sun, 02/16/2014 - 19:32
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