Search Mailing List Archives
[protege-owl] Dig interface limitation to datatype property restriction
tar at ISI.EDU
Wed Feb 11 10:04:58 PST 2009
On Feb 11, 2009, at 2:06 AM, Ricardo Silva Cruz Gomes wrote:
> i'm having problem in adding a restriction of datatype with
> cardinality one, or in other words i want that the individuals from
> the class that has the restriction to have one literal of that
> datatype. For that i used the restriction cardinality and 1 as filler.
> The datatype property that i'm using has range float. When i apply the
> consistency checking, the result indicates that DIG 1.1 does not
> support it.
> the result from the consistency check for the restriction is:
> "Not able to convert datatype property cardinality restrictions to DIG
> (the language used to communicate with the reasoner). Ignoring this
> restriction and attempting to continue."
> the result from the consistency check for the datatype property is:
> "DIG 1.1 (the language used to communicate with the reasoner) does not
> support the range specified for the datatype property dim:hasWidthT.
> Ignoring this tange on this property."
> can anyone help me?
Don't use the DIG interface to the reasoner.
Instead use Protege 3.4 or 4.0 which have direct interfaces.
More information about the protege-owl