Protege Use Tutorial (inference article)

This article will then follow the basic article, in the animal body, the establishment of lions (lion) and carnivorous animals (carnivore), by inference to get the lion is a carnivorous animal. This example is used to understand the use of inference machine racer simply.

Basic Operation method in the basic article is explained, the following steps in the operation of unclear friends please first read the basic article. Click here to download the project here, click Open Project in protege .

Steps 1 in the Animal in the establishment of lions and carnivorous animals. Define these two classes in the same level, that is, these two classes are brotherly, the purpose is to infer after the lion becomes a subclass of carnivorous animals. 000000000000000000

Steps 2 edit the properties of the Lion class. Here we define the lions to eat only vegetarian animals.

Steps 3 edit the properties of carnivorous animals. Here we need to create a eat sub-attribute maineat ( mostly eaten ), because carnivorous animals can eat plants , so we can not simply rely on eat to infer that Lion is not a carnivorous animal. Figure below

Steps 4 The meat-eating animal maineat property becomes sufficient and necessary. Because our standard in today's logical model is the open world hypothesis, which means that we define this statement as an unknown fact, not a false one, before it succeeds in proving a statement. Because we do not explicitly point out that carnivores cannot eat mainly plants, the statement that carnivorous animals mainly eat plants is unknown, not false. This has an impact on our reasoning, so we need to make it clear that predators eat animals mainly. That is, sufficient and necessary. The procedure is to double-click the necessary ( necessary condition ) and Drag it to the top of the nececssary & Sufficient ( sufficient and necessary conditions ) . The same approach drags the Animal into sufficient and necessary conditions. Status as shown below

Steps 5 Start Racerpro inference machine to make inferences. If no friends please go to Racerpro official website to download . You need to register, and then in the email sent to you, click on the link to download. Install the default path, otherwise you will need to set the path.

Steps 6 use inference machines for reasoning. 3.5 version in the reasoning menu , choose menu owl–>classify taxonomy .. ( You can also click Classify taxonomy above the label . ) icons ) . At this point protege will connect Racerpro, and then the inference machine will make inferences. At this point the inference machine pop-up information off,protege in the middle of a new class hierarchy, where the Lion class has become a subcategory of carnivores. And in the Info dialog box, Lion Moved from Animal to Carnivore.

Steps 7 confirm the diagram. asserted model is a pre-inferencediagram in Owlviz,inferred model Is the diagram after inference. You can see that the lion species has become a subclass of carnivorous animals.

Steps 8 Save the project. Click to download the item.