formal logic; ontologies (artificial intelligence); artificial intelligence; functionally equivalent ontologies; health care; information gathering; knowledge gathering; knowledge storage; logic riddle; manufacturing; Cognition; Gold; Ontologies; Open wireless architecture; Positron emission tomography; Random access memory; Semantics; FaCT++; HermiT; OWL2; Pellet; ontology; puzzle; reasoning;
机译:锌(II)四苯基卟啉外围功能氧化还原活性“反-[((eta(5)-C5H5)Fe(eta(5)-C5H4)C等效于C](kappa(2)-dppe)(2 )Ru(C等效于C)-“替代物:线性电致变色和三阶非线性光学
机译:基于PtC的等效于CC的CC等效于等于C的C等效于CC重复单元的分子纵向延伸的分子丝:官能化线性PtC8Pt,PtC8PtC8Pt和PtC8PtC8PtC8Pt组件的迭代合成
机译:BioPortal:通过国家生物医学本体中心的新Web服务增强功能,以访问和使用软件应用程序中的本体
机译:推断在功能上等同的本体中
机译:本体映射神经网络:一种学习和推断本体之间对应关系的方法。
机译:从同源蛋白质网络中的权威来源推断出的功能等效性
机译:从同源蛋白质网络中的“权威来源”推断出的功能等效性