Inconsistency in Build 304: Subproperties

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Inconsistency in Build 304: Subproperties

Steve Wartik
Hi,

Build 304 has a behavior I'd characterize as inconsistent. The developers may or may not agree....
  1. Create an object property foo.
  2. Create an inverse property inverse_of_foo.
  3. Use the "Create subproperty" button to create blat as a subproperty of foo.
  4. Create another object property bar.
  5. Drag bar onto foo, making it a subproperty of foo.
Now, the issue here is that the OWL plugin automatically creates a subproperty of inverse_of_foo that's the inverse of blat, but it doesn't automatically create an inverse property for bar. Bug or feature?

Thanks,

Steve Wartik
Reply | Threaded
Open this post in threaded view
|

Re: Inconsistency in Build 304: Subproperties

Nick Drummond
Steven,

I wouldn't say a bug - it's likely if a property already exists then you
might have already got an inverse in mind so we don't want to start
creating them all over the place. Perhaps even automatically creating
the inverses is confusing (but it is so common that it seems sensible to
keep doing).

Nick

Steven Wartik wrote:

> Hi,
>
> Build 304 has a behavior I'd characterize as inconsistent. The
> developers may or may not agree....
>
>    1. Create an object property foo.
>    2. Create an inverse property inverse_of_foo.
>    3. Use the "Create subproperty" button to create blat as a
>       subproperty of foo.
>    4. Create another object property bar.
>    5. Drag bar onto foo, making it a subproperty of foo.
>
> Now, the issue here is that the OWL plugin automatically creates a
> subproperty of inverse_of_foo that's the inverse of blat, but it
> doesn't automatically create an inverse property for bar. Bug or feature?
>
> Thanks,
>
> Steve Wartik


--

Nick Drummond

http://www.cs.man.ac.uk/~drummond/ <http://www.cs.man.ac.uk/%7Edrummond/>
-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html