Search Mailing List Archives
[protege-owl] Using SWRL to validate models
martin.oconnor at stanford.edu
Thu Aug 16 19:17:09 PDT 2007
I would recommend using OWL as much as you can express these
conditions. Then you will be able to use a reasoner to detect invalid
However, if validation depends on complex conditions involving the
values of entities you may require SWRL. In that case you could do
something like define a class called InvalidElement and use SWRL to
classify all invalid elements as members of this class.
In princple a SWRL rule without a head can be used to express these
types of constraints, but the current SWRLTab implementation does not
support this type of rule properly.
Quoting Ely Edison Matos <ely.matos at ufjf.edu.br>:
> I'm converting some models expressed in XML to OWL. The goal is
> validate this models semanticaly, as XML allows only a syntatic
> validation. The XML models basicaly are composition of components,
> like (to illustrate):
> <component name="a" >...some elements...</component>
> <component name="b" >...some elements...</component>
> <component name="c" >...some elements...</component>
> <comp id="a">
> <comp id="b" />
> <comp id="c" />
> it means that component "a" is composed by components "b" and "c".
> The are some rules governing this composition, based on the
> attributes (and elements) of components. I'm converting components
> to individuals.
> I can express some of rules with SWRL. What i need is "how" express
> that a composition is invalid (if it brokes the rules)...Creating a
> property to say that is invalid? Removing the properties that
> express the compositon?
> If you know about some related work, I need your help..
More information about the protege-owl