Property restrictions

Joachim Baran <[email protected]> Wed, 17 Oct 2012 00:14:23 -0400

Newsgroups	gmane.comp.misc.ontology.protege.general
Message-ID	<[email protected]>

Hello, again,

  I have another stupid question:

  I try to restrict some object/datatype properties to occur only a certain number of times per feature. So, I added to my "Feature" superclass the restriction "strand exactly 1 Strand". However, when I tried to test this restriction by creating an individual of "Feature" that has more than two "strand" object properties, I still get no inconsistency reported.

  Is this a limitation of the reasoner (I am using HermiT 1.3.6)?

  I also tried Pellet, which gives me a "null" exception, and FaCT complains that I use the datatype owl:real. RacerPro, like HermiT, does not report an inconsistency either.

Thanks,
Joachim

_______________________________________________
protege-discussion mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-discussion

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03