Rules
OWL includes features for logical deductions
But one may want to express
application specific axioms
:
for
any
«X», «Y» and «Z»:
“if «Y» is a parent of «X», and «Z» is a brother of «Y» then «Z» is the uncle of «X»”
using a logic formalism:
∀x,z: ((∃y: (y parent x) ∧ (y brother z)) ⇒ (z uncle x))
Lots of research is happening to extend RDF/OWL
W3C may initiate a standardization work in this area, too
question is whether results are “ripe” for standardization
Ivan Herman
, W3C Head of Offices
© 1994-2004, W3C (MIT,ERCIM,Keio)
Edinburgh, 7 April, 2004
37 (54)