[protege-discussion] Using string equivalency for classes

[João Cabrita]

Hi Thomas,

Sorry for not posting on the owl mailing list, just noticed it now, and
thanks for your reply. I tried to follow your advice, but it seems that when
I use AceView plugin in protégé 4, if I save datatype properties that have
strings, I get an error when opening the ontology again.

Don't know if you have encountered such issues, but before I post anything
else on the OWL list, I will first have to try and read some posts because
perhaps someone had that problem already.

Best Regards,
João

2010/4/5 Thomas Russ <tar at isi.edu>

> This really should be on the protege-owl mailing list.
>
>
> On Apr 5, 2010, at 4:04 AM, João Cabrita wrote:
>
>  However, I would like to achieve the same result while using strings. For
>> instance an instance with a certain DatatypeProperty that has the string
>> "finished" would go to a class and another with the value "inProgress" would
>> go to another one.
>>
>> I have written equivalent class expressions to do this, but there are two
>> problems: The first one is that I cannot seem to use the "==" or the correct
>> langPattern equivalency, only a <= sign or similar.
>> The second problem is that even with this <= problem, the reasoner does
>> not place the individuals in the correct places.
>>
>
> You use the hasValue restriction.
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing:
> http://protege.stanford.edu/doc/faq.html#01a.03
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20100406/70d55987/attachment.html>