OWL; Biological system modeling; Ontologies; Tools;
机译:儿童归纳推理的本体论约束:来自动物和车辆中推理的比较的证据
机译:使用模块化对本体进行完整性约束验证
机译:使用本体编辑器和语义搜索模式进行本体设计和开发,以实现对网络信息的智能检索:案例研究
机译:SHACL4P:Protégé本体编辑器中的SHACL约束验证
机译:动态生成简化的本体以支持移动设备的资源约束。
机译:Protégé-OWL:创建本体驱动的推理应用程序Web本体语言
机译:TRAV-Shacl:有效地验证Shacl约束网络