Re: [Obi-devel] problem with property axioms

[Robert H. <lee...@le...>]

>>>>> "MB" == Brochhausen, Mathias <MBr...@ua...> writes:

Hi,

    MB> Know I realized that my ontologies and OBI show
    MB> TopObjectProperty as inverse to TopObjectProperty after
    MB> reasoning with either Fact++ or Hermit.
    MB> In addition there is a bottomObjectProperty shown in read in the
    MB> query box which doesn't show under object properties.

This all seems perfectly fine. 
bottomObjectProperty is the relation in which nothing can stand,
therefore it should be shown in red as unsatisfiable.
topObjectProperty is the relation in which everything stands, and it
would obviously be the inverse of itself.

R