I have OWL ontology without individuals. Given two classes
Cs
and
Cd
How will the query look like an what type of reasoners can be used to find all the property chains such that:
(Cs subClassOf PropertyP exactly 1 Cd)
Where Cs is the domain of PropertyP and Cd is its range. Chain means that this inference must be transitive, i.e. if
(Cs subClassOf PropertyP1 exactly one Ctemp) and (Ctemp subClassOf PropertyP2 exactly one Cd)
then, {PropertyP1, PropertyP2} must be considered a property chain between Cs and Cd.
Please note that I'm not talking about property chain such that one in OWL2, because in the case of OWL2, I have to define this chain previously, while in my case I cannot do so.