What knowledge can be inferred in SMW?
One of the strengths of a semantic system is that not every piece of data has to be stated explicitly; some can be inferred. Currently SMW supports four types of inferencing: subcategory (querying for pages in a certain category will also get the pages in all its subcategories), sub-property (properties can be declared as sub-properties of other properties, and can be queried in that way), equality (a property pointing to a page that redirects to another page will transfer its value to the other page), and, for very new versions of SMW, inverse properties (you can query on properties in the reverse direction). See Help:Inferencing for more information. There are two additional approaches for inferencing: if you’re using templates to store semantic data, you can create custom inferencing within the template – for example, by using the #if parser function, you could add a call to a page about a person so that, if the person has at least one child and the person is male, the page gets add
