Formal description; Product-Process; Logic; Ontology; OWL;
机译:基于形式本体的时空面拓扑,用于集成产品设计和装配顺序计划
机译:预制建筑的面向制造和装配的参数化设计
机译:动态人类拓扑学:不断变化的地区的无点理论。一,稳定和不稳定的拓扑关系
机译:基于大量设计设计的小型术语本体论
机译:用于软件设计中错误检测的基于本体的方法。
机译:基于本体的疫苗和药物不良事件表示以及理论指导下的系统因果网络分析用于综合药物警戒研究
机译:汽车工程中面向装配的设计