Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Using SWRL to validate models

Martin O'Connor martin.oconnor at
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>:

> Hello,
> 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>
> <group>
>      <comp id="a">
>           <comp id="b" />
>           <comp id="c" />
>      </comp>
> </group>
> 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..
> Thanks,
> Ely

More information about the protege-owl mailing list