DataProperty value inheritance from Sub-DataProperties

[goethe]

CONTENTS DELETED

The author has deleted this message.

[Jiba]

Hi,

I do not understand what you mean by property 'A OR B OR C'?
Do you want an order of priority between them (A, or B is A does not exist, etc)? or a partition on properties? Both are not supported by OWL.

Jiba

[goethe]

CONTENTS DELETED

The author has deleted this message.

[Jiba]

Hi,

Owlready includes the Pellet and Hermit reasoners (which are also available in Protégé), but I don't think they support non-monotonic reasoning.

Jiba