Hi folks,
I wonder if anyone can help me with inference support in Owlim.
I have a dataset that I want to infer stuff about at the data, rather
than schema, level. The example is as follows. Ice Dancing is a sport
that requires you to where skates, that is in the data I have. I want
to infer that because Ice Dancing uses skates it require that you to
be skilled in skating. Here in RDF:
Existing Data:
<#ice_dancing> a ex:Sport ;
ex:equipment <#skates> .
<#skating> a ex:Skill .
Inferred Data:
<#ice_dancing> ex:requires <#skating> .
How would I go about describing this in Owl such that Owlim could
infer this? I can see how to make Ice Dancing into a skating sport:
<#SkatingSport>
a owl:Class ;
owl:equivalentClass [
a owl:Class ;
owl:intersectionOf ( ex:Sport
[
a owl:Restriction ;
owl:hasValue <#skates> ;
owl:onProperty ex:equipment
]
)
] .
or something like that - but what I want to do is infer an additional
property not a class.
Anyone able to help with an example?
--
rob
Rob Styles
tel: +44 (0)870 400 5000
fax: +44 (0)870 400 5001
mobile: +44 (0)7971 475 257
irc: irc.freenode.net/mmmmmrob,isnick
web: http://www.talis.com/
blog: http://www.dynamicorange.com/blog/
blog: http://blogs.talis.com/nodalities/
blog: http://blogs.talis.com/n2/
_______________________________________________
OWLIM-discussion mailing list
[email protected]
http://ontotext.com/mailman/listinfo/owlim-discussion
