RuleHub manages rules for Knowledge Graphs (KG) with a database of more than 7000 rules (and growing!). To browse the datasets, select the KG of interest.
Users can contribute by reporting new rules or update the ones in the database by suggesting a value between 1 and 5 for the rule quality - just click the cell value to make your suggestion.
Horn rules stating dependencies over KG can be used for identifying errors or adding new facts. For example, the rule child(object,subject) → parent(subject,object) states that if person A is child of person B, then B is parent of A. This type of rules is called positive rules and it aims to enrich the Knowledge Bases with new facts, while the opposite type - negative rules - is used to detect errors. If a set of triples in a graph satisfies a negative rule, then there must be at least one incorrect triple among them. For example, the rule child(subject,object) & birthYear(subject,v0) & birthYear(object,v1) & >(v0,v1) → ⊥ states that parents cannot be younger than their children.