<html><body><span style="font-family:Verdana; color:#000000; font-size:10pt;"><div>Thanks.</div><div><br></div><div>Best,</div><div>Rob</div><div><br></div><div>Robert Arp, Ph.D.<br>Semantic Information Architect<br>OntoReason, LLC<br>(703) 946-4669<br><a href="mailto:rarp@ontoreason.com">rarp@ontoreason.com</a><br><a href="mailto:robertarp320@gmail.com">robertarp320@gmail.com</a> </div><div><br><br></div>
<blockquote id="replyBlockquote" webmail="1" style="border-left: 2px solid blue; margin-left: 8px; padding-left: 8px; font-size:10pt; color:black; font-family:verdana;">
<div id="wmQuoteWrapper">
-------- Original Message --------<br>
Subject: Re: [protege-owl] Forcing an error in Protege when minimum<br>
data property cardinality is violated<br>
From: Thomas Russ <<a href="mailto:tar@isi.edu">tar@isi.edu</a>><br>
Date: Fri, November 05, 2010 9:46 am<br>
To: User support for the Protege-OWL editor<br>
<<a href="mailto:protege-owl@lists.stanford.edu">protege-owl@lists.stanford.edu</a>><br>
<br>
<br>
On Nov 4, 2010, at 4:41 PM, <<a href="mailto:rarp@ontoreason.com">rarp@ontoreason.com</a>>  <br>
<<a href="mailto:rarp@ontoreason.com">rarp@ontoreason.com</a>> wrote:<br>
<br>
> Hi:<br>
><br>
><br>
> In Protégé, my colleagues and I defined a Class X as follows:   <br>
> “ClassX hasValue exactly 2 integer.”  Then we created a  <br>
> ClassXIndividual in ClassX.  (The example ontology we created is  <br>
> attached to this email.)  We realize that exceeding the maximum  <br>
> cardinality associated with the ClassXIndividual (e.g., asserting 3  <br>
> or more integer values) renders an inconsistency error from the  <br>
> reasoner (Pellet, for example), and we also realize that no  <br>
> inconsistency error occurs below the minimum cardinality (e.g.,  <br>
> asserting 0 or 1 integer values) since the reasoner infers—based on  <br>
> the Open World Assumption—the possible existence of the “missing”  <br>
> asserted values based on the definition of ClassX.  However, we  <br>
> actually want an error to be rendered when 0 or 1 integer values are  <br>
> asserted of ClassXIndividual.  Is there a way to make this happen in  <br>
> Protégé utilizing some reasoner?  Or, maybe writing some special rule?<br>
<br>
You would have to implement your own reasoner for doing that, since as  <br>
you note it employs non-standard semantics.<br>
<br>
Note that if you do use counting of instances you would also need to  <br>
make sure that they are differentFrom each other in order to properly  <br>
count as separate instances.<br>
<br>
<br>
<br>
_______________________________________________<br>
protege-owl mailing list<br>
<a href="mailto:protege-owl@lists.stanford.edu">protege-owl@lists.stanford.edu</a><br>
<a href="https://mailman.stanford.edu/mailman/listinfo/protege-owl">https://mailman.stanford.edu/mailman/listinfo/protege-owl</a><br>
<br>
Instructions for unsubscribing: <a href="http://protege.stanford.edu/doc/faq.html#01a.03">http://protege.stanford.edu/doc/faq.html#01a.03</a><br>

</div>
</blockquote></span></body></html>