Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#2 Bug in PropertyInstanceUtil.getAllowedProperties

open
nobody
None
5
2003-10-24
2003-10-24
Eric Schwarzkopf
No

kaonapi's PropertyInstanceUtil.getAllowedProperties in
general does not return the set of all allowed
properties. This is caused by using
instanceSatisfiesConceptSet to determine whether an
instance is in the domain/range of a property. The
latter method returns true only if the supplied
instance is an instance of _all_ the concepts in the
supplied set, instead of at least one concept. Thus, if
a property P has domain A + B and range C, where A, B,
and C are concepts, getAllowedProperties will not
recognize P as an allowed property from an instance of
B (but not A) to an instance of C.

This bug is relevant for all users of the oimodeler,
because the modeler relies on the getAllowedProperties
method to determine all allowed properties between two
instances.

Discussion