59、SK-Languages与intelliGOV：语义形式化与架构合规验证的创新方案

SK-Languages与intelliGOV：语义形式化与架构合规验证的创新方案

广泛适用的语义形式主义的理想属性

在自然语言文本和知识项的语义内容表示方面，一个广泛适用的形式主义应具备以下理想属性：
1. 描述间接引语句子语义结构的可能性 ：例如句子 “In 1903, Walter Sutton, an American medical student, and Theodor Boveri, a German biologist, independently conjectured that chromosomes carry the hereditary factors, or genes”，其可能的语义表示结构为 Event(e1, conjecturing * (Agent, #Group-of-scholars-description#)(Time, 1903)(Content-inform, #hypothesis-description#))。
2. 构建对象复合名称的可能性 ：如 “Each cell contains a nucleous within which there are several thread - like structures known as chromosomes”，语义表示结构为 Contain1(every cell1, certain nucleous1 * (Part - set, several structure1 (Similar, thread)(Called, chromosome)))。
3. 构建集合复合名称的可