Search Mailing List Archives
[protege-owl] range of owl:minCardinality in Protege3.4beta504
tredmond at stanford.edu
Fri Aug 8 00:14:24 PDT 2008
I apologize for the delayed response. This is an interesting message.
I am 90% sure that this is trivial to fix in Protege. The places
where these assertions live is in the OWLSystemFrames class. I
believe that this is a one line change. There are probably many of
these issues - for historical reasons the Protege 3 owl system model
are not what it should be. Some fixes like this are trivial (I
believe) but there may be some that are more difficult. I will try to
change the range of the *Cardinality properties tomorrow because I
think that there might be a build coming up.
Let me know if you find other discrepancies and I will try to do a
systematic search to find the low hanging fruits.
On Aug 4, 2008, at 7:40 AM, John del Corral wrote:
> When I view or use the owl:minCardinality rdf:Property in
> Protege3.4beta504, the Range is set to xsd:int (which I
> can not change in Protege).
> However the http://www.w3.org/2002/07/owl document loaded
> into Protege says
> that the Range of this property is xsd:nonNegativeInteger.
> We discovered this when we uploaded our ontology that had
> be created in Protege into a
> Sesame 1.2.7 repository with the OWLim Sail 2.9.1. No inferences
> were made on the minCardinality rule, because the range was set
> to xsd:int. When we changed this to xsd:nonNegativeInteger,
> the OWL SAIL made correct inferences from our ontology.
> Can this be fixed in Protege, or am I not using Protege
> Thanks, John
> John del Corral, IRI, Earth Inst. at Columbia Univ., Monell 107
> Lamont-Doherty Earth Obs., 61 Route 9W, Palisades, NY 10964
> +1 845-680-4437(v) +1 845-680-4864(F) jdcorral at iri.columbia.edu
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl