...
机译:从OWL本体派生Event-B模型
机译:从OWL本体派生Event-B模型
机译:从地理空间UML模型自动推导OWL本体的改进
机译:通过形式语义建模从XML文档中衍生猫头鹰本体
机译:用于AI模型验证的正式性本体:从owl到事件-b
机译:使用Web本体语言--- OWL交换离散事件模拟过程交互模型。
机译:FHIR OWL:将OWL本体转换为FHIR术语资源
机译:开发用于持久性和推理目的的本体语言映射pLIB,OWL和飞行本体模型*
机译:互操作技术中的模型问题:服务的OWL Web本体语言(OWL-s)