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-discussion] cardinality restrictions don't work

Timothy Redmond tredmond at stanford.edu
Mon Nov 7 19:26:02 PST 2011


> All individuals are distinct. Now *all* reasoners correctly classify Building2
> as a House, but Building1 is never classified as a Shack. Same problem if I
> use "max" instead of "exactly". Looks to me like the "max" and "exactly"
> restrictions just don't work. Did I overlook some gotcha or is this actually a
> bug?

It doesn't look like you ever said that Room1 is the only room of 
Building1.  Based on your data there could be another one.  I added the 
assertion that Building1 only has the room Room1 and the reasoner gave 
the expected result.

-Timothy



On 11/07/2011 04:17 PM, Victor Mataré wrote:
> Hi,
>
> I'm using Protégé 4.2.0 Build 249 (also tried some 4.1) and I'm having
> problems with cardinality restrictions. Test case is attached. What I'm trying
> to do is this:
>
> A Shack is a Building with exactly 1 Room. A House is a Building with at least
> 2 Rooms.
>
> Building1 hasRoom Room1,
>
> Building2 hasRoom Room2,
> Building2 hasRoom Room3.
>
> All individuals are distinct. Now *all* reasoners correctly classify Building2
> as a House, but Building1 is never classified as a Shack. Same problem if I
> use "max" instead of "exactly". Looks to me like the "max" and "exactly"
> restrictions just don't work. Did I overlook some gotcha or is this actually a
> bug?
>
> thanks anyway for a great tool...
>
>
> _______________________________________________
> 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/20111107/888a2edc/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.owl
Type: application/rdf+xml
Size: 4339 bytes
Desc: not available
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20111107/888a2edc/attachment-0001.owl>


More information about the protege-discussion mailing list