Jeff, if you add the following as a spin:rule for owl:Thing (or
rdfs:Resource), it will be applied to all classes in your model.
CONSTRUCT {
?x a ?c2 .
}
WHERE {
?c1 rdfs:subClassOf ?c2 .
?x a ?c1 .
}
This is the cax-sco rule from OWL 2 RL. It is defined as a template
in owlrl.owl. So you can import that file (TopBraid library/Examples)
and use Create from SPIN template to define a rule from the cax-sco
template.
owl:inverse is defined by prp-inv1 and prp-inv2. The definitions come
from
http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules.
Each rules is defined as a template, named the same as in the
standard, in owlrl.owl.
-- Scott
On Dec 18, 8:04 am, "Schmitz, Jeffrey A"
<[email protected]> wrote:
> Hello,
> I was wondering if there might be an automated script or command built
> into TBC that would add spin subclassing rules to all of my class definitions
> in a model? Auto adding inverse rules would be nice too.
>
> Thanks,
> Jeff
--
You received this message because you are subscribed to the Google Groups
"TopBraid Composer Users" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/topbraid-composer-users?hl=en.
