OWL: How to inherit property relations between two classes from superclass classes?

Question

Say we have two classes with the name Peopleand Disease. These classes are related by the Object property has.

:People :has :Disease

Peoplehas a subclass (or individual) John, and Diseasehas a subclass (or separate) Cancer.

:John a :People
:Cancer a :Disease

How can we get the relationship between these subclasses by inference?

:John :has :Cancer

Answer 1

Before you can get an answer, there are a number of misconceptions that you need to solve.

-, - . () . , , , ( ) , (). ( : OWL.)

, :People :has :Disease, . . ( :has , , .) :hasDisease :

:hasDisease rdfs:domain :People .
:hasDisease rdfs:range :Disease .

-, , :John :hasDisease :Cancer , , , :Cancer :Disease. RDFS. , :Joy :hasDisease :Gout, RDFS , :Joy a :Person :Gout a :Disease.

OWL-, Google. , , OWL .