SLIDE 21 The YAGO Model Semantics
Semantics & Reification Graphs
Semantics and operations over the YAGO ontology, are defined as follows:
1 facts: F : I → (I ∪ C ∪ R) × R × (I ∪ C ∪ R) 2 rewrite system: F ∪ {f1, . . . , fn} → F ∪ {f1, . . . , fn} ∪ f , ∀F ⊆ F 3 axiomatic rules for the rewrite system: ∀r, r1, r2 ∈ R, x, y, c, c1, c2 ∈ I ∪ C ∪ R, r1 = TYPE, r2 = SubRelationOf , r = SubRelationOf , r = TYPE c = atr, c2 = atr (1) {(r1, SubRelationOf , r2), (x, r1, y)} ֒ → (x, r2, y) (2) {(r, TYPE, atr), (x, r, y), (y, r, z)} ֒ → (x, r, z) (3) {(r, DOMAIN, c), (x, r, y)} ֒ → (x, TYPE, c) (4) {(r, RANGE, c), (x, r, y)} ֒ → (y, TYPE, c) (5) {(x, TYPE, c1), (c1, SubClassOf , c2)} ֒ → (x, TYPE, c2) Presentation by: Besnik Fetahu (UdS) YAGO - Yet Another Great Ontology February 22, 2012 12 / 30