Thank you. This helped.
On Sep 2, 11:15 pm, Holger Knublauch wrote:
> Catrina,
>
> Scott just notified me that the current release contains an outdated
> (and slightly invalid) version of those two files. They use a function
> called spl:cardinality which has been renamed to spl:objectCount
> Does my restriction need to be something other than:
> owl:equivalentClass
> [ a owl:Restriction ;
>owl:cardinality "1"^^xsd:int ;
>owl:onProperty UtilityScriptsProps:myProperty
> ] .
Ah yes, please try rdfs:subClassOf instead
I've imported both spinowl.owl and spinrdfs.owl. Then, activated the
Display constraint violation warnings tool bar button. I created an
instance of myClass and did not enter a value for myProperty. My
problems view still does not display the cardinality violations even
after refreshing all pro
Hi Catrina,
please import the file spinowl.owl (http://topbraid.org/spin/spinowl)
into your model. Then either activate the main constraint checking
button, or open the Problems view and hit refresh. This is also
described in the help, as pasted below.
If you don't want to owl:imports the w
