Seminář: SPARQL-DL and its implementation in the Pellet reasoner

Recently, the SPARQL-DL was introduced as a rich query language for OWL-DL ontologies. It allows for posing non-atomic mixed ABox/TBox/RBox queries, thus generalizing well-known conunctive ABox queries. This talk will focus on the description of the language together with its implementation and optimization issues within the Pellet reasoner.