Re: [OWLAPI-developer] Subproperty axioms

[Ron A. <ro...@um...>]

Sean Bechhofer wrote:
> I would strongly suggest that we preserve this distinction. My
> experience has been that in tools like editors, users do wish to
> preserve the difference between things that have been asserted as GCIs
> and those that have been asserted as superclasses in some "definition".=

> It may be that this is a little unclear in the API, and needs some work=
,
> but I really wouldn't like to see this getting lost.

In SWOOP, there is no distinction between asserted superclasses and
asserted gcis in which the left hand side is an atomic concept.  I've
never heard that feature asked for, either.

AFAIK, this distinction is only preserved in abstract syntax, and not in
RDF/XML.  Given that RDF/XML is the usual exchange format, how much do
we really gain by keeping these apart?


-Ron