OWL的一些非常聪明的用法，很好！干杯，阿利斯泰尔2011年1月28日星期五下午02:22:21-0500，西蒙·斯佩罗写道：>2011年1月28日星期五上午11:53，Stella Dextre Clarke<stella@lukehouse.org>>写道：> >>在我看来，这听起来像是一条红鲱鱼或是一把大锤>>螺母。如果我在绘图过程中正确理解了原始命题>>需要使用内务管理设备来跟踪概念>>已处理，哪些仍在等待调查。在过去我>>用于打印要映射的所有概念的简单列表，有效>>系统地阅读，完成后用铅笔勾选>>（无论有效映射是否可行）。> >> >在不做任何更改的情况下，很容易处理假阳性问题>至SKOS；OWL允许否定属性断言（显式声明>关系不成立）。例如，如果有两个概念，>*A*和*B，*并且您要显式记录*A*不是>与*B*完全匹配，您可以简单地断言：> >否定对象属性断言（skos:exactMatch:A:B）> >也可以使用OWL显式关闭>conceptScheme，它要求列出属于>方案，使用owl限制类。> >等价类（ObjectHasValue（skos:inScheme:aScheme）>ObjectOneOf（：B:A））> )> >这句话（用Attempto controlled英语）：> >InScheme aScheme的一切都是>某物是A或B。>所有A或B都是InScheme aScheme> >请注意，在aScheme中声明的任何其他概念将是>推断与所列成员之一相同。> >我们可以将类ASchemeMember定义为包含>方案a方案：> >等价类（：ASchemeMember>ObjectHasValue（：isInScheme:aScheme））> > >也就是说：> >每个ASchemeMember都是InScheme。>InScheme aScheme中的所有内容都是ASchemeMember。> > > >然后可以声明>方案。> >没有ASchemeMember精确匹配AScheme-Member。> > --->> >解散类别（：ASchemeMember>ObjectSomeValuesFrom（：exactMatch:ASchemeMember）> >还可以声明第二个conceptScheme bScheme，并声明>bScheme中没有任何内容与A完全匹配。> >每个BSchemeMember都是InScheme bScheme。>所有InScheme bScheme都是BSchemeMember。> >没有BSchemeMember exactMatch A。> > ---->> >等价类（：BSchemeMember ObjectHasValue（：isInScheme:bScheme））>DisjointClasss（：BSchemeMember ObjectHasValue（skos:exactMatch:A））> > >由于OWL不允许您声明特定>断言是正确的（参见Cyc中Microtherory的使用），任何补充>更改exactMatch的真值条件的概念方案>断言需要创建新的ConceptScheme对象。> >西蒙-- 阿利斯泰尔·迈尔斯流行病学信息主管基因组学和全球卫生中心<http://cggh.org>惠康人类遗传学信托中心罗斯福大道牛津OX3 7BN型大不列颠联合王国网状物：http://purl.org/net/aliman电子邮件：alimanfoo@gmail.com电话：+44（0）1865 287669
接收日期：2011年2月1日星期二17:26:54 UTC