Implement a federated reasoning capability for a federation made of multiple Rya instances.
OpenRDF has implemented SPQRQL query processing in a federation. Reasoning is a powerful tool to infer new information from existing RDF data, based on a given ontology.
For this task, one should:
1) investigate whether OpenRDF provided capabilities for reasoning (inference) in a federated RDF triple-store.
2) implement an initial capability for inference for a subset of the standard OWL predicates in a federated environment (ex. rdfs:subClassOf, rdfs:subPropertyOf, and owl:EquivalentProperty)
3) if time permits, develop and implement a more efficient algorithm for federated reasoning