„Rules”
Az OWL már ad lehetoséget (logikai) következtetésekre
De szeretnénk
alkalmazásfüggő
szabályokat is kifejezni:
minden »X«, »Y« és »Z«-re igaz:
“ha »Y« az »X« szülője, és »Z« az »Y« fiútestvére, akkor »Z« az »X« nagybátyja”
mint a predikátumkalkulus a matematikai logikában:
∀x,z: ((∃y: (y szülője x) ∧ (y fiútestvére z)) ⇒ (z nagybátyja x))
Sok kutatás folyik az OWL ezirányú kiterjesztésére
Lehetséges, hogy a W3C elindít egy munkát ezen a területen
Herman Iván
, a W3C Irodák Vezetője
© 1994-2004, W3C (MIT,ERCIM,Keio)
2004. Február 26., Budapest
39 (53)