Seol mar théacs é seo: Datalog+/-: A Family of Languages for Ontology Querying.