46、实践中 EL 语言的一阶重写计算与链接数据片段的形式化框架

实践中 EL 语言的一阶重写计算与链接数据片段的形式化框架

1. EL 语言的一阶重写计算

在实际应用中，存在一些示例查询用于特定实验。以下是几个典型的查询示例：
- (q1(x, y) = Patient(x) ∧ shows(x, y) ∧ Endocarditis(y))
- (q2(w, x, y, z) = Doctor(w) ∧ hasPersonPerforming(x, w) ∧ Surgery(x) ∧ actsOn(x, y) ∧ Tissue(y) ∧ actsOn(x, z) ∧ InternalOrgan(z) ∧ hasAlphaConnection(y, z))
- (q7(x) = ∃y, z Protein(x) ∧ contains(x, y) ∧ Tetracycline(y) ∧ InternalOrgan(z) ∧ isActedOnSpecificallyBy(z, y))
- (q8(x) = ∃v, w, y, z Sulphonamide(v) ∧ serves(v, w) ∧ TumorMarkerRole(w) ∧ NamedEnzyme(x) ∧ serves(x, w) ∧ actsOn(x, z) ∧ Liver(z) ∧ TeichoicAcid(y) ∧ actsOn(y, z))
- (q10(x) = ∃y, z BodyStructure(x) ∧ isBetaConnectionOf(x, y) ∧ Brain(y) ∧ IntrinsicallyNormalBodyStructure(z) ∧ isBetaConnectionOf(z, y))

这些查询在不同的本体（如 ENVO