owl - DL; Generic reasoning algorithms -

owl - DL; Generic reasoning algorithms -

actually, i'm getting lost can done , cannot done using reasoner in general.

my question 2 fold:

i used think reasoner dedicated sumbsumption , taxonomies. recently, discovered reasoner can used in multiple ways within algorithms illustration reference introduces using reasoner search entities compliant specific pattern in ontology:

what meant dl generic reasoning algorithm , how can implemented through reasoner?

can please refer references can more familiar things can achieved reasoning algorithms if any?

my original problem that: given owl ontology , 2 classes c1 , c2, want check whether there functional property chain connecting them, i.e. let's consider (c1 p1 c3), (c3 p2 c4)and (c4 p3 c2) p1, p2 , p3 functional object properties, result (p1, p2, p3) functional property chain connecting c1 , c2.

owl ontology reasoning description-logic