<div dir="ltr">Ok, I feared that. Thank you Samson. <div><br></div><div>Cheers,</div><div>Maxi.</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Jun 4, 2014 at 10:19 AM, Samson Tu <span dir="ltr"><<a href="mailto:swt@stanford.edu" target="_blank">swt@stanford.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">I don’t think you can do that. If you read the SWRL specification [1], cardinality restriction is a kind of class atom consisting of an OWL class description and an object. You can have a variable in the object, but not in the class description.<div>

<br></div><div>...</div><div><p style="font-family:sans-serif;font-size:medium">Class atoms consist of a description and either an individual name or a variable name.</p><div style="font-family:sans-serif;font-size:medium">

<div>element <b>swrlx:classAtom</b></div><div><pre style="margin-left:2em"><swrlx:classAtom>
  <i>Content:</i> ( <i><a href="http://www.w3.org/TR/owl-xmlsyntax/#owls_description" style="color:rgb(102,0,153)" target="_blank">owlx:description</a></i>, <i><a href="http://www.w3.org/Submission/SWRL/#owls_iObject" style="color:rgb(102,0,153)" target="_blank">swrlx:iObject</a></i> )
</swrlx:classAtom></pre></div></div><div><br></div><div>[1] <a href="http://www.w3.org/Submission/SWRL/" target="_blank">http://www.w3.org/Submission/SWRL/</a></div><div><br><div><div><div class="h5"><div>On Jun 3, 2014, at 7:24 PM, Maximiliano Cravero <<a href="mailto:macsee@gmail.com" target="_blank">macsee@gmail.com</a>> wrote:</div>

<br></div></div><blockquote type="cite"><div><div class="h5"><div dir="ltr">Hi to all,<div><br></div><div>I'm dealing with some cardinality restrictions in SWRL and I would like to know if there is way to write cardinality values as variables. For example, this invented rule </div>



<div><br></div><div>Object1(?x), (obprop1 max 2 Object2)(?x) -> (obprop2 max 2 Object3)(?x)</div><div><br></div><div>I would like to re write it as something like:</div><div><br></div><div>integer(?z), Object1(?x), (obprop1 max (?z) Object2)(?x) -> (obprop2 max (?z) Object3)(?x)<br>



</div><div><br></div><div>I know this syntax doesn't work, but this was the easiest way that I found to picture what I'm trying to do. </div><div>The problem here is that the number of values related with obprop1 is variable, and I need it as well. Is there a way to solve this?</div>



<div><br></div><div>Thanks!</div><div><br></div><div>Cheers,</div><div>Maxi.</div></div></div></div>
_______________________________________________<br>protege-user mailing list<br><a href="mailto:protege-user@lists.stanford.edu" target="_blank">protege-user@lists.stanford.edu</a><br><a href="https://mailman.stanford.edu/mailman/listinfo/protege-user" target="_blank">https://mailman.stanford.edu/mailman/listinfo/protege-user</a><br>

</blockquote></div><br></div></div></div><br>_______________________________________________<br>
protege-user mailing list<br>
<a href="mailto:protege-user@lists.stanford.edu">protege-user@lists.stanford.edu</a><br>
<a href="https://mailman.stanford.edu/mailman/listinfo/protege-user" target="_blank">https://mailman.stanford.edu/mailman/listinfo/protege-user</a><br>
<br></blockquote></div><br></div>