Arguments as a form of mixing ontologies and rules

It is good to know, but to know how to mix what you know is even better. We propose an argumentative manner for dealing with knowledge from different sources that are using different formalisms as ontologies and rules. We introduced non standard ontology reasoning services of explanation into the mix between the inference on Horn clauses and the tableaux based reasoning over Description Logic ontologies. The proposed formalism for representing the identified interdependences follows the Argumentation Interchange Format.