...，信息模型，形式语义，语义空间 [gap=6954]Key words: IEC61850, Substation Automation, Information Model, Formal Semantic, Semantic Space ...
基于14个网页-相关网页
FSL Formal Semantic Language 形式语义语言
formal semantic definition 形式语意定义 ; 形式语义定义
formal semantic description 形式语意描述 ; 形式语义描述
formal semantic language 形式语意语言 ; 语言
formal semantic model 形式语义模型
formal semantic analysis 形式化语义分析
formal semantic representation 形式语义描写
formal accurate semantic 形式化精确语义
RDF/ RDF Schema is a sound and complete formal system, which has BNF formal syntax and model theory based formal semantic.
RDF/RDFS是一个完整的形式化系统,具备BNF形式语法、基于模型理论的形式语义,是一个完备、可靠的形式化系统,从而保证了RDF描述语义推理的形式正确性。
参考来源 - 基于本体的智能答疑系统研究·2,447,543篇论文数据，部分数据来源于NoteExpress
A Web-indexing agent that turns documents into formal Semantic Web-based knowledge
Web 索引代理，将文档转变成正式的基于语义 Web 的知识
According to given formal semantic, it has been proven the reliability and completeness of this system.
根据给出的形式语义，可以证明该系统的可靠性和完全性。
A personal agent that USES formal Semantic Web knowledge bases to book holidays or even doctor appointments.
个人代理，使用正式的语义Web知识库来预定假期甚至进行门诊预约。
应用推荐