When you create a rule, the facts that are inferred by the rule are not visible in OntoStudio. You will only see the inferred facts when running a query. If you want the inferred facts to be explicitly stored in you ontology, you can use the rule materialization. To materialize a rule, follow these instructions:
|1.||Right mouse click on the rule (or a rule folder) and select Refactor -> Materialize....|
A dialog appears.
|2.||Select the rules you want to materialize.|
If you flag the Remove rules after materialization checkbox, all of the selected rules will be removed after the materialization.
|3.||Click on Finish.|
The selected rules are evaluated and the results are stored in the ontology.