Â¥Ö÷

Çë½Ì£Òacer.exeµÄʹÓã¡£¡[ÇóÖú] ÎÒ´ÓftpÉÏÏÂÁËRacer.exe,Ϊʲôµã»÷°²×°È´Ö»ÓÐÒ»¸öÃüÁîÆÁ£¬µã»÷ʲô¶¼²»ÐÐÄØ£¿ Õâ¸öÖ´ÐгÌÐòÓ¦¸ÃÈçºÎʹÓÃÄØ£¿ Çë½Ì¸÷λ¸ßÊÖÁË£¬£³£Ñ£¡£¡    Êղؠ  ·ÖÏí   ¶¥(0)

	µÚ2Â¥

4.9.2 Using RACER In order to reason over the ontologies in Prot´eg´e-OWL a DIG11 compliant reasoner must be installed/configured and started. In this tutorial we use a reasoner called RACER, which is available for a variety of platforms from http://www.sts.tu-harburg.de/~r.f.moeller/racer/. RACER comes with a detailed manual that contains installation and setup instructions. When you have installed RACER on your system, it should be started with the default settings ¡ª RACER is typically started by double clicking on the RACER application icon, which opens a terminal/console window and starts the reasoner running with HTTP communication enabled.12 ¡ª Figure 4.40 shows a pruned version of the information that is dis- played when RACER starts; The second from the bottom line indicates that HTTP communication is running, and specifies the I.P. address and port number. If for any reason RACER needs to be started on a different port (or computer), Prot´eg´e-OWL can be configured via the OWL preferences dialog shown in Figure 4.41, which is accessible via the ¡®Preferences...¡¯ item on the OWL menu.

	µÚ3Â¥

4.9.3 Invoking The Reasoner Having started RACER, or another reasoner, the ontology can be ¡®sent to the reasoner¡¯ to automatically compute the classification hierarchy, and also to check the logical consistency of the ontology. In Prot´eg´e- OWL the ¡®manually constructed¡¯ class hierarchy is called the asserted hierarchy. The class hierarchy that is automatically computed by the reasoner is called the inferred hierarchy. To automatically classify the ontology (and check for inconsistencies) the ¡®Classify Taxonomy...¡¯ action should be used. This can be invoked via the OWL menu (Figure 4.39), or by using the ¡®Classify taxonomy¡¯ button on the Prot´eg´e-OWL toolbar shown in Figure 4.42. To check the consistency of the ontology, the ¡®Check consistency...¡¯ action should be used, which can be invoked from the OWL menu, or by using the ¡®Check consistency¡¯ button on the Prot´eg´e-OWL toolbar. When the inferred hierarchy has been computer, an inferred hierarchy window will pop open next to the existing asserted hierarchy window as shown in Figure 4.43. If a class has been reclassified (i.e. if it¡¯s superclasses have changed) then the class name will appear in a blue colour in the inferred hierarchy. If a class has been found to be inconsistent it¡¯s icon will be circled in red. ------- from protegeowltutorial.pdf

	µÚ4Â¥

ºÃµÄ

----------------------------------------------
sw·Ü¶·ÖÐ...

	µÚ5Â¥

Please download RacerPro-1-9-0, the latest Racer software.

----------------------------------------------
£Ã£Â£Î£Õ ---------- £Ë£Á£É£Ó£Ô Waterbottle9988@hotmail.com

	µÚ6Â¥

¸Ðл¸÷룬ÎÒµÄÎÊÌâ½â¾öÁË£¡£¡