�??xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:trackback="http://madskills.com/public/xml/rss/module/trackback/" xmlns:wfw="http://wellformedweb.org/CommentAPI/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/"><channel><title>&#22269;&#20135;&#33394;&#35270;&#39057;&#19968;&#21306;&#44;&#27431;&#32654;&#21478;&#31867;&#28608;&#24773;&#44;&#27431;&#32654;&#31532;&#19968;&#21306;&#31532;&#20108;&#21306;</title><link>http://www.aygfsteel.com/xuaijun/</link><description>高升�?�Q?专升�?/description><language>zh-cn</language><lastBuildDate>Wed, 18 Jun 2025 20:54:50 GMT</lastBuildDate><pubDate>Wed, 18 Jun 2025 20:54:50 GMT</pubDate><ttl>60</ttl><item><title>protege3.1.x基础���－推理</title><link>http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56585.html</link><dc:creator>水甲�?/dc:creator><author>水甲�?/author><pubDate>Tue, 04 Jul 2006 11:31:00 GMT</pubDate><guid>http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56585.html</guid><wfw:comment>http://www.aygfsteel.com/xuaijun/comments/56585.html</wfw:comment><comments>http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56585.html#Feedback</comments><slash:comments>9</slash:comments><wfw:commentRss>http://www.aygfsteel.com/xuaijun/comments/commentRss/56585.html</wfw:commentRss><trackback:ping>http://www.aygfsteel.com/xuaijun/services/trackbacks/56585.html</trackback:ping><description><![CDATA[
		<h5>本篇���接着基础���，在动物本体中�Q�徏立狮子类(Lion)和肉食动物类(Carnivore)�Q�通过推理得到狮子是肉食动物。通过�q�个实例来简单了解推理机Racer的用法�?/h5>
		<div   id="wmqeeuq"   class="level5">
				<p>
						<strong>基本操作�Ҏ��在基������中有讲解，以下步骤中的操作不清楚的朋友请先看基�������?a class="urlextern" onkeypress="return svchk()" title="http://www.chengtao.name/download/Animal.zip" onclick="return svchk()"  target="_blank" rel="nofollow">点击�q�里下蝲到此处的��目</a>�Q�在protege中点击Open Project打开��目�?/strong>
				</p>
				<p>
						<strong>步骤1 在Animal中徏立狮子类和肉食动物类。定义这两个�c�d��同一�U�中�Q�即�q�两个类为兄弟关�p�，目的是推理后狮子变�ؓ肉食动物的子�c�R�?/strong>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-1.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch.jpg" />
						</a>
				</p>
				<p>
						<strong>步骤2 �~�辑狮子�cȝ��属性。这里我们定义狮子只吃素食动物�?/strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-2.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(1).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤3 �~�辑肉食动物的属性。这里我们需要徏立一个eat的子属性maineat(主要吃的�?�Q�因�����食性动物可以吃植物�Q�所以我们无法单�U�的靠eat来推理出Lion是不是肉食性动物。这里我们定义肉食性动物maineat的值域是所有的动物。如下图</strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-3.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(2).jpg" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-4.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(3).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤4 ���肉食动物的maineat属性变为充分必要条件。因为在现在的逻辑模型中我们的标准是开放世界假��_��也就是说在没有成功证明某个陈�q�C��前，我们���这个陈�q�定义�ؓ未知的事实而不是假的。因为我们没有明���指�����食动物不能主要吃植物�Q�所以肉食动物主要吃植物�q�个陈述是未知的�Q�而不是假的。这样就�l�我们的推理造成了媄响，所以我们需要明���指�����食动物主要吃动物。也���是充分必要条�g。做法是双击NECESSARY(必要条�g)<a class="media" onkeypress="return svchk()" title="images:protege-2-5-0.jpg" onclick="return svchk()" ><img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(4).jpg" /></a>中的<a class="media" onkeypress="return svchk()" title="images:protege-2-5-1.jpg" onclick="return svchk()" ><img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(5).jpg" /></a> ���其拖拽��C��方的NECECSSARY &amp; SUFFICIENT(充分必要条�g)中。同��L���Ҏ�����Animal也拖拽到充分必要条�g中。状态如下图</strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-5-2.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="" />
						</a>
				</p>
				<p>
						<strong>步骤5 启动RacerPro推理�����行推论。如果没有的朋友请到<a class="urlextern" onkeypress="return svchk()" title="http://www.racer-systems.com/" onclick="return svchk()"  target="_blank" rel="nofollow">RacerPro官方�|�站下蝲</a>。需要注册一下，然后在发�l�你邮�g中，点击链接���可以下载。安装选默认�\径即可，不然�q�需要设�|��\径�?/strong>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-5.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(6).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤6 �q�用推理�����行推理。选择菜单中OWL�?gt;Classify taxonomy..(也可以点��L���{�上方的Classify taxonomy..图标)的。这时protege会连接RacerPro�Q�然后推理机���做出推理。这时将推理机弹出的信息关闭�Q�protege中间会出现新的类阶层图，�q�里狮子�c�d���l�变�����食动物的子类。�ƈ在信息对话框中的Lion Moved from Animal to Carnivore�?/strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-6.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(7).jpg" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-7.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(8).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤7 ���认关系图。在OWLViz中Asserted Model是推理前的关�p�d���Q�Inferred Model是推理后的关�p�d��。可以看到狮子类已经成�ؓ肉食动物的子�c�R�?/strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-8.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(9).jpg" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-9.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(10).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤8 保存��目�?a class="urlextern" onkeypress="return svchk()" title="http://www.chengtao.name/download/newanimal.zip" onclick="return svchk()"  target="_blank" rel="nofollow">点击下蝲该项目�?/a></strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-2-10.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/推理��?files/fetch(11).jpg" />
						</a>
				</p>
		</div>
<img src ="http://www.aygfsteel.com/xuaijun/aggbug/56585.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.aygfsteel.com/xuaijun/" target="_blank">水甲�?/a> 2006-07-04 19:31 <a href="http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56585.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>protege3.1.x基础���－�q�阶</title><link>http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56583.html</link><dc:creator>水甲�?/dc:creator><author>水甲�?/author><pubDate>Tue, 04 Jul 2006 11:27:00 GMT</pubDate><guid>http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56583.html</guid><wfw:comment>http://www.aygfsteel.com/xuaijun/comments/56583.html</wfw:comment><comments>http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56583.html#Feedback</comments><slash:comments>4</slash:comments><wfw:commentRss>http://www.aygfsteel.com/xuaijun/comments/commentRss/56583.html</wfw:commentRss><trackback:ping>http://www.aygfsteel.com/xuaijun/services/trackbacks/56583.html</trackback:ping><description><![CDATA[
		<p>
				<strong>�q�篇教程接着基础���和推理���，对于基础���和推理���解释的步骤�q�里不在重复解释。不知道的朋友请先看基础���和推理���来熟悉基本操作步骤�?a class="urlextern" onkeypress="return svchk()" title="http://www.chengtao.name/modules/dokuwiki/doku.php?" onclick="return svchk()"  target="_blank" rel="nofollow">点击�q�里参照新手入门基础���和推理��?/a> 在本���进阶片教程中主要是介绍个体的编�?Individuals)�Q�查询插�?QueriesTab)的用法以及将�~�辑好的本体存储到数据库�?Owl Database)。对于Owl数据库我�q�里采用Mysql(对于其他的数据库请到官方�|�站查询)�?/strong>
		</p>
		<p>
				<strong>步骤1�Q�这里要用到推理���中保存的项目。没有的朋友�?a class="urlextern" onkeypress="return svchk()" title="http://www.chengtao.name/download/newanimal.zip" onclick="return svchk()"  target="_blank" rel="nofollow">点击�q�里下蝲</a>。打开推理���中保存的newAnimal。根据推理机的推理我们知道了Lion是肉食动物，所以我们将其移到Carnivore肉食动物的下面作为它的子�c?/strong>
		</p>
		<p>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-1.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch.jpg" />
				</a>
		</p>
		<p>
				<strong>步骤2�Q�徏立动物园的类Zoo。然后在属性编辑器中编辑一个新的datatype property(数据性属�?Address,讑֮�的定义域是类Zoo�Q�设它的值域是xsd:string,在rdfs:comment中注释该属性表�C�地址。同��h��们编辑一个新的datatype property(数据性属�?Tel,讑֮�的定义域是类Zoo�Q�设它的值域是xsd:string。在rdfs:comment中注释该属性表�C�电话号码。注意给定义域添加类的时候是用Add named Class(es),Domain后面的第2个按钮，而不是第一个。第一个按钮是新徏一个类�q�给作�ؓ定义域时用�?/strong>
		</p>
		<p>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-2.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(1).jpg" />
				</a>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-3.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(2).jpg" />
				</a>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-4.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(3).jpg" />
				</a>
		</p>
		<p>
				<strong>步骤3�Q�徏立类Zoo个体。选择Individuals�~�辑器。在选择左边Zoo�cȝ��情况下，点击INSTANCE BROWSER中的<a class="media" onkeypress="return svchk()" title="images:protege-3-5.jpg" onclick="return svchk()" ><img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(4).jpg" /></a>按钮�Q�出��C��一个个体实例，在INSTANCE EDITOR中将它的名字变�ؓBeijing_Zoo。在下方的属性Address中点��d����P��输入地址。这里作��Z��子输入Beijing Xizhimen Road�Q��ƈ选择en。属性Tel中输�?10-12345678�Q��ƈ选择en。同��L���Ҏ���Q�创建另�?个个体实例Shanghai_Zoo和Tianjin_Zoo。属性Address和Tel请�Q意输入。这��h��们就创徏�?个Zoo的个体实例�?/strong>
		</p>
		<p>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-6.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="" />
				</a>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-7.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(5).jpg" />
				</a>
		</p>
		<p>
				<strong>步骤4�Q�徏立动物个体。在建立动物个体之前�Q�前建立一个对象性属性Belonging�Q�它的定义域是Animal�Q�值域是Zoo。回到Individuals�~�辑器中�Q�在选择�c�Giaffe的情况下�Q�徏立一个个体实例，命名为Lanlan。在下方的Belonging属性中点击加号�Q�在弹出的对话框中选择Beijing_zoo。同��L���Ҏ���Q�徏�?个个体实例让它们本别属于Shanghai_zoo和Tianjin_zoo。然后在建立3个Lion�cȝ��个体实例,BeiLion,ShangLion,TianLion让它们分别属�?个动物园。这��h��们就可以�q�行下一步，用查询表单来查询�?/strong>
		</p>
		<p>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-8.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(6).jpg" />
				</a>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-9.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(7).jpg" />
				</a>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-10.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(8).jpg" />
				</a>
		</p>
		<p>
				<strong>步骤5�Q���用查询插件。点击菜单中的Project�?gt;Configure 在出现的对话框中选择QueriesTab前加上对勾。然后就会出现Queries标签�Q�选择�q�个标签��׃��出现查询界面。最初我们只在Class中加入Animal然后点击Find。查询结果会在右边的Search Results中出玎ͼ�如下图。然后将�q�个查询保留�Q�可以在以后利用。我们点��d��下方的Query Name中输�?Animal然后点击Add to Query Library按钮。这栯���个查询方式就被储存到Query Library中�?/strong>
		</p>
		<p>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-11.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(9).jpg" />
				</a>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-12.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(10).jpg" />
				</a>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-13.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(11).jpg" />
				</a>
		</p>
		<p>
				<strong>步骤6�Q�利用Query Library中保存的查询方式�q�行�q�一步查询。点击Query Library中的?Animal�q�点�?a class="media" onkeypress="return svchk()" title="images:protege-3-14.jpg" onclick="return svchk()" ><img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(12).jpg" /></a>按钮。可以调用这个查询方式，在这里因为我们刚刚存储了�q�个方式�Q�所以上面的Query中不会有变化。我们在Slot中选择Belonging然后选择contains最后选择Beijing_zoo。点击Find ��׃��出现我们查找的结果。可以将�q�个查询方式存储�?Animal_belong_BeijingZoo。当然�ƈ非每个查询方式都需要储存，实际操作中按照自��q��需要存储即可�?/strong>
		</p>
		<p>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-15.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(13).jpg" />
				</a>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-16.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(14).jpg" />
				</a>
		</p>
		<p>
				<strong>步骤6�Q�将本体存储到数据库中。这里我们��用Mysql。先做准备工作，因�ؓ需要Mysql所以没有的朋友请先安装。Mysql在Windows�Q�linux�{�的安装�Ҏ��在许多网站都有十分详�l�的介绍�Q�我在这里就不再重复了，请到�|�上查询一下，最好安装官�Ҏ��荐的版本。安装完后首先徏立一个protege的数据库�Q�步骤如�?/strong>
		</p>
		<pre class="code">Welcome to the MySQL monitor.  Commands end with ; or \g.
Your MySQL connection id is 10 to server version: 3.23.55-max
Type 'help;' or '\h' for help. Type '\c' to clear the buffer.
//建立一个名字叫protege_db的数据库�?
mysql&gt; create database protege_db; 
Query OK, 1 row affected (0.00 sec)
//建立一个在localhost的用户protegeuser�Q�密码�ؓprotegeuserpwd。�ƈ把protege_db的所有权限给他�?
mysql&gt; grant all privileges on protege_db.* to protegeuser@localhost identified by 'protegeuserpwd';
//使上�q�变更在服务器上有效�?
mysql&gt; flush privileges;
Query OK, 0 rows affected (0.07 sec)
//退出mysql
mysql&gt; exit</pre>
		<p>
				<strong>�q�里不用创徏表格�Q�protege会自动创建。请���认你的mysql服务是运行的�Q�否则将不能储存到数据库。接下来�q�需要下载JDBC驱动�E�序�Q�它的作用是���protege和数据库�q�接��h���?a class="urlextern" onkeypress="return svchk()" title="http://dev.mysql.com/downloads/connector/j/3.1.html" onclick="return svchk()"  target="_blank" rel="nofollow">点击�q�里下蝲JDBC驱动�E�序</a>。下载完后展开�Q�其中有一个mysql-connector-java-3.1.12-bin.jar文�g�Q�将其复制到protege的安装目录中(注意不是插�g目录)�Q�然后将它的名字变�ؓdriver.jar。然后回到protege中，选择菜单File�?gt;Convert Project to Format...在弹出的对话框中选择OWL Database�?/strong>
		</p>
		<p>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-17.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(15).jpg" />
				</a>
		</p>
		<pre class="code">弹出的Owl Database对话框中按照下面规定填写�?
Project ��目的名�U�。可以�Q意取。这里用newAnimalok.pprj
Driver Class Name 中添�?com.mysql.jdbc.Driver
JDBC URL  ��d��jdbc:mysql://+mysql服务器地址+数据库名�U? �q�里用的是本地机�Q�所以��用localhost 
数据库�ؓ刚才创徏的protege_db。所以添入jdbc:mysql://localhost/protege_db
Table 数据库中的表格名�Q�可��L��填写但不能与相同数据库中的表格重名，否则覆盖。这里用Animal
Username 数据库用户名。这里用protegeuser
Password 数据库用户密码。这里用protegeuserpwd</pre>
		<p>
				<strong>然后点击OK。如果出现错误，请参见The JDBC driver is not on the Classpath的错误，请参�?a class="wikilink1" onkeypress="return svchk()" title="错误提示的解军_���? onclick="return svchk()" >错误提示的解军_���?/a></strong>
		</p>
		<p>
				<a class="media" onkeypress="return svchk()" title="images:protege-3-18.jpg" onclick="return svchk()" >
						<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/�q�阶��?files/fetch(16).jpg" />
				</a>
		</p>
		<p>���认mysql </p>
		<pre class="code">//用protegeuser登陆数据库，在Enter password:后输入密�?
mysql -u protegeuser -p 
Enter password: 
Welcome to the MySQL monitor.  Commands end with ; or \g.
Your MySQL connection id is 14 to server version: 3.23.55-max

Type 'help;' or '\h' for help. Type '\c' to clear the buffer.
//使用protege_db数据�?
mysql&gt; use protege_db;
Reading table information for completion of table and column names
You can turn off this feature to get a quicker startup with -A

Database changed
//查看Animal表格
mysql&gt; select * from Animal;
+-------+------------+-------+-------+-------------+-------------+------------+
| frame | frame_type | slot  | facet | is_template | value_index | value_type | 
+-------+------------+-------+-------+-------------+-------------+------------
| 13373 |          5 | 13296 |     0 |           0 |           0 |          3 |</pre>
		<p>
				<strong>可以看到owl本体已经存储��C��数据库中。其中的各个参数均�ؓprotege预定义，<a class="urlextern" onkeypress="return svchk()" title="http://protege.stanford.edu/doc/design/jdbc_backend.html" onclick="return svchk()"  target="_blank" rel="nofollow">点击�q�里查看各个参数的详�?/a> 通过以上的做法可以将我们做的本体储存到数据库中。然后通过数据库来讉K��本体数据。Owl Database的配�|�一�ơ后下一�ơ就可以直接使用�Q�只要��用命名�ؓ别的表格卛_���?/strong>
		</p>
<img src ="http://www.aygfsteel.com/xuaijun/aggbug/56583.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.aygfsteel.com/xuaijun/" target="_blank">水甲�?/a> 2006-07-04 19:27 <a href="http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56583.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>protege3.1.x基础���－入门</title><link>http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56582.html</link><dc:creator>水甲�?/dc:creator><author>水甲�?/author><pubDate>Tue, 04 Jul 2006 11:25:00 GMT</pubDate><guid>http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56582.html</guid><wfw:comment>http://www.aygfsteel.com/xuaijun/comments/56582.html</wfw:comment><comments>http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56582.html#Feedback</comments><slash:comments>4</slash:comments><wfw:commentRss>http://www.aygfsteel.com/xuaijun/comments/commentRss/56582.html</wfw:commentRss><trackback:ping>http://www.aygfsteel.com/xuaijun/services/trackbacks/56582.html</trackback:ping><description><![CDATA[
		<h5>此新手入门对应protege3.1.x版本。通过制作一个简单的动物本体�Q�来使大家了解protege建立owl的基���用法�?/h5>
		<div   id="wmqeeuq"   class="level5">
				<p>
						<strong>步骤1 建立新的��目。打开protege,然后会出现对话框�Q�点击Create New Project...�Q�出现Create New Project对话框后�Q�选择OWL Flies(.owl or .rdf)后，点击Finish�Q�而不选Next�?/strong>
						<a class="media" onkeypress="return svchk()" title="images:protege-1.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch.jpg" />
						</a>
				</p>
				<p>
						<strong>步骤2 建立�c�R��protege的主��面中会出现�Q�OWL Classes(OWL�c?,Properties(属�?,Forms(表单),Individuals(个体),Metedata(元类)�q�几个标�{�。我们选择OWL Classes来编辑。在Asserted Hierarchy�Q�添加阶层）中，会有所有类的超�c�owl:Thing上点击Asserted Hierarchy旁边的Create subclass或者在OWL:Thing,点击右键选择Create subclass。会出现protege自动定义名�ؓClass_1的类。在双���的CLASS EDITOR�Q�类�~�辑器）的Name选项中，输入Animal来替换自动定义的名字�?�����使用英文�Q�因��Z��面会用到OWLViz来生成关�p�d���Q�中文的话会�Ҏ��出现问题�?</strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-2.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(1).jpg" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-3.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(2).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤3 建立Animal的子�c�，在Animal点击上右键，选择Create subclass�Q��ƈ按照上述�Ҏ�����其名字变�ؓHerbivore(素食动物)�?/strong>
						<a class="media" onkeypress="return svchk()" title="images:protege-4.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(3).jpg" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-5.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(4).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤4然后按照上面的方法，建立OWL:Thing的另一个子�c�Plant(植物)�Q�然后徏立Plant的子�c�Tree(�?。状态如下图</strong>
						<a class="media" onkeypress="return svchk()" title="images:protege-6.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(5).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤5 因�ؓ动物和植物是不同的事物，也就是说它们互相��h��排他�?owl:disjointWith)�Q�我们来定义�q�个关系。在选中Animal的状态下�Q�点��d��下角的Disjoints的第三个按钮�Q�在出现的Add sibling to disjoints(���互为兄弟节点的�c�设为排�?对话框中�Q�选择Mutually between all siblings。这样动物和植物���有互相排斥的属性了�?/strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-7.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(6).jpg" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-8.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(7).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤6 建立属性。新��Z��个ObjectProperty(注意不是DataProperty)选择Properties标签�Q�Name改�ؓis_part_of�Q�然后在右下角Transitive前面打上对号�Q�说明这是一个传递性属性。然后徏立一个对象属�?owl:ObjectProperty)eat(�?�Q�在Domain�Q�定义域�Q�中定义该属性的��M��的类是Animal。最后再建立一个属性eated�Q�被吃）�Q�它是属性eat的逆关�p?owl:inverseOf)�Q�在右下觺�nverser框中选择eat属性�?参照�?</strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-10-1.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-10-2.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-10-3.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-10-4.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="" />
						</a>
				</p>
				<p>
						<strong>步骤7 建立一个owl:Plant的子�c�Branch(树枝)�Q��ƈ附加限制条�g。在选择Branch的状态下�Q�点��M��下方的Asserted Conditions(��d��条�g)中的�W�二个按�?Create restrition )。在弹出的对话框中，选择Restrition中的allValuesFrom�Q�然后点��M��方的Insert class...。最后选择Tree�Q�这��h��们就定义了类Branch�Q�它是树(Tree)的一部分�Q�is_part_of�Q��?/strong>
						<a class="media" onkeypress="return svchk()" title="images:protege-11.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-12.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-13.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="" />
						</a>
				</p>
				<p>
						<strong>步骤8 和步�?一��P��建立owl:Plant的子�c�Leaf(树叶)�c�R��在Asserted Conditions选择is_part_of属性，�q�在Restrition中的选择allValuesFrom�Q�最后选择属性类Branch(树枝)。这��h��们就定义了树叶是树枝的一部分�?/strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-14.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="" />
						</a>
				</p>
				<p>
						<strong>步骤9 定义草食动物。素食动物是动物的子�c�，而且只吃植物或是植物的一部分(植物和一部分植物的�ƈ集，也就是植�?。和步骤7一样Create Restrition对话框中��d��如下囄���式子�?</strong>
						<a class="media" onkeypress="return svchk()" title="images:protege-15.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(8).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤10 定义�c�Giraffe(镉K���?�Q�它是素食动物，只吃树叶。按照上面的步骤定义�Q�如下图 �?/strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-16.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(9).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤11 查看关系图，在菜单中选择Project�?gt;Configure在出现的对话框中�Q�在OWLVizTab前打上对��P����׃��出新OWLViz的标�{�。如果在�q�里出现DOT error的话请参�?a class="wikilink1" onkeypress="return svchk()" title="错误提示的解军_���? onclick="return svchk()" >错误提示的解军_���?/a>�Q�然后点击OWLViz标签�Q�选择Show all classes�Q�就可以看到关系图�?/strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-17.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(10).jpg" />
						</a>
						<a class="media" onkeypress="return svchk()" title="images:protege-18.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(11).jpg" />
						</a>
				</p>
				<p>
						<strong>步骤12 保存��目�?a class="urlextern" onkeypress="return svchk()" title="http://www.chengtao.name/download/animal.zip" onclick="return svchk()"  target="_blank" rel="nofollow">点击�q�里下蝲�q�个��目下蝲�q�个��目</a>。解压后用菜单中的File�?gt;Open Project�?gt;解压路经中的Animal.ppjr卛_���?/strong>
				</p>
				<p>
						<a class="media" onkeypress="return svchk()" title="images:protege-19.jpg" onclick="return svchk()" >
								<img class="media" alt="" src="file:///C:/Documents%20and%20Settings/aa/桌面/protege2000/基础���－入门.files/fetch(12).jpg" />
						</a>
				</p>
		</div>
<img src ="http://www.aygfsteel.com/xuaijun/aggbug/56582.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.aygfsteel.com/xuaijun/" target="_blank">水甲�?/a> 2006-07-04 19:25 <a href="http://www.aygfsteel.com/xuaijun/archive/2006/07/04/56582.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item></channel></rss>                                                                                                                                <footer>
<div class="friendship-link">
<a href="http://www.aygfsteel.com/" title="&#29408;&#29408;&#20037;&#20037;&#20122;&#27954;&#27431;&#32654;&#19987;&#21306;&#95;&#20013;&#25991;&#23383;&#24149;&#20122;&#27954;&#32508;&#21512;&#20037;&#20037;&#50;&#48;&#50;&#95;&#22269;&#20135;&#31934;&#21697;&#20122;&#27954;&#31532;&#20116;&#21306;&#22312;&#32447;&#95;&#26085;&#26412;&#20813;&#36153;&#32593;&#31449;&#35270;&#39057;">&#29408;&#29408;&#20037;&#20037;&#20122;&#27954;&#27431;&#32654;&#19987;&#21306;&#95;&#20013;&#25991;&#23383;&#24149;&#20122;&#27954;&#32508;&#21512;&#20037;&#20037;&#50;&#48;&#50;&#95;&#22269;&#20135;&#31934;&#21697;&#20122;&#27954;&#31532;&#20116;&#21306;&#22312;&#32447;&#95;&#26085;&#26412;&#20813;&#36153;&#32593;&#31449;&#35270;&#39057;</a>

</div>

</footer>


��վ֩���ģ�壺
<a href="http://" target="_blank">�����</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">��Ҧ��</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">��ˮ��</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">�˰���</a>|
<a href="http://" target="_blank">��Ĭ������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">�����</a>|
<a href="http://" target="_blank">����</a>|
<a href="http://" target="_blank">�ղ���</a>|
<a href="http://" target="_blank">»����</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">�������</a>|
<a href="http://" target="_blank">˷����</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">�ʳ���</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">̩����</a>|
<a href="http://" target="_blank">���</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">ͻȪ��</a>|
<a href="http://" target="_blank">��Ϫ��</a>|
<a href="http://" target="_blank">�����</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">���״�������</a>|
<a href="http://" target="_blank">����</a>|
<a href="http://" target="_blank">ƽ½��</a>|
<a href="http://" target="_blank">��ɳ��</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<a href="http://" target="_blank">������</a>|
<script>
(function(){
    var bp = document.createElement('script');
    var curProtocol = window.location.protocol.split(':')[0];
    if (curProtocol === 'https') {
        bp.src = 'https://zz.bdstatic.com/linksubmit/push.js';
    }
    else {
        bp.src = 'http://push.zhanzhang.baidu.com/push.js';
    }
    var s = document.getElementsByTagName("script")[0];
    s.parentNode.insertBefore(bp, s);
})();
</script>
</body>