I was thinking about reasoning in ontologies.
What are the the differences between the inferecen capabilities between DL reasoners (like Hermit, Pellet, etc) and Prolog?
I mean, let us suppose that I have a Knowledge base containing an ontology (general axioms) and facts. What can I infer from this with Prolog and what can I infer with DL reasoners?
It would be interesting if you could provide references as well.
Best regards