2011年4月8日星期五下午1:24，Thad Guidry<thadguidry@gmail.com>写道：>你能在BFO中列出一个快速的例子吗>液泡会出现，这样我就可以看到一个skos：概念，一个>bfo：实体和快照：GenericallyDependentContinuent协调>抓拍一下：DependentContinuent？当然，这实际上是CMO试图解决的问题的一大部分。这个提交的论文（非诉讼，但已被ICBO接受）可用在http://tw.rpi.du/web/doc/towardscmo。此示例如下所示使用OWL 2执行以下操作。如果vacoule和lytic_vacoule类是通用类：lytic_vacoule_concept a skos：概念；cmo：代表lytic_vacoule。skos：更广泛的vacoule_concept。lytic_vacoule a owl:Class，cmo:UniversalClass；猫头鹰：真空吸尘器的亚类。vacoule a owl:Class，cmo:UniversalClass；vacoule_concept a skos：概念；cmo：代表真空。如果类vacoule和lytic_vacoule不是通用的，那么它们可以表达如下：lytic_vacoule a skos：概念，猫头鹰：类；cmo：代表lytic_vacoule。skos：更广泛的vacoule。猫头鹰：真空的亚纲。猫头鹰vacoule：阶级，skos：概念；在每种情况下，vacoule的概念是概念，而类这个概念所代表的世界上的事物就是瓦库里。在非现实主义表示，类和概念可以是相同的，而在现实主义表现中，它们可以保持与众不同。吉姆-- 吉姆·麦库斯克程序员分析员Krauthammer实验室，病理信息学耶鲁大学医学院james.mccusker@yale.edu| (203) 785-6330http://krauthammerlab.med.yale.edu博士生无绳世界星座伦斯勒理工学院mccusj@cs.rpi.edu
http://tw.rpi.du
接收日期：2011年4月9日星期六16:30:53 UTC