ontologiesmulticore programming numerical rules yago rdf cubes knowledge bases olap recall quality probabilistic databases caching java ilp software libre distributed coordination rdf conditional keys provenance counting distributed query processing open information extraction steiner trees rule mining distributed hash table distributed systems air pollution completeness markov logic networks prediction bazaar open knowledge bases sorting databases open source bayesian networks rdfs