2011年4月18日星期一上午10:47，Simon Spero<ses@unc.edu>写道：>只需检查：>你将如何公理化，以及这些公理所包含的内容：（首先，用just>英国电信，第二个关系更具体）。>汽车BT车辆>本田S2000 BT汽车>西蒙S2000 BT本田S2000[BTI]>本田S2000方向盘BT方向盘[BTP]>本田S2000方向盘BT本田S2000[BTP]>西蒙S2000方向盘BT西蒙S2000[BTP]首席营销官只关心{类、属性、实例}和概念。如果类、属性或实例是概念性的，这也很好。一般来说，每个概念将cmo：表示某事，以及与之相关的公理这些事情更多地与建模者想要的方式有关它。您的示例到SKOS的映射很清楚，映射相同OWL中的信息也很简单：汽车猫头鹰：车辆的子类。本田S2000猫头鹰：汽车子类。西蒙的S2000和本田的S2000。本田S2000方向盘猫头鹰：方向盘的子类。本田S2000方向盘猫头鹰：subscribeOf[a SomeValuesFrom；ro：本田S2000的一部分]。西蒙的S2000方向盘：西蒙S2000的一部分。但这更像是逻辑模型的建模问题关注CMO如何对待它。CMO中唯一会出现的就是关系方向盘和汽车之间：汽车的方向盘部件概念a cmo：关系；cmo：表示ro：部分of；cmo:hasSourceRole方向盘；cmo:hasTargetRole汽车。skos：更广泛的PartOf。这进一步说明了CMO中关系的工作方式，但它说明了如何可以表示属性。显然，这个概念不是全面的反渗透：部分，但从来没有任何保证无论如何。>还有：一个概念在最初构思之前是否存在；它在之后存在吗>它被遗忘了；同样，这超出了首席营销官的范围。根据我对连续/发生二分法，概念的生命周期是被认为与概念本身是分开的。这个概念不是暂时延长，但寿命延长。>在从未设想过的模态上下文中呢>首先。我想我们永远不会有它的URI。通用类可以存在，而不需要概念来表示它们。思考所有可能已经灭绝的物种中（尤其是细菌和achea）没有任何证据证明其存在。吉姆-- 吉姆·麦库斯克程序员分析员Krauthammer实验室，病理信息学耶鲁大学医学院james.mccusker@yale.edu| (203) 785-6330http://krauthammerlab.med.yale.edu博士生无绳世界星座伦斯勒理工学院mccusj@cs.rpi.edu
http://tw.rpi.du
接收日期：2011年4月18日星期一15:31:49 UTC