Abstract

Though many kinds of multi-agent systems based on argumentation have been proposed where only rule-based knowledge is taken into account, they have been unable to handle the ontological knowledge so far. In our daily life, however, there are a lot of human argumentation where both ontological and rule knowledges are used. For example, in e-commerce, a seller and a buyer usually use ontologies about products along with their respective strategic rules for buying and selling. Recent progress of the Semantic Web technology provides expressive ontology languages. In this paper, we demonstrate integration of the Semantic Web reasoning and argument-based reasoning. We have implemented the integrated system such that Logic of Multiple-valued Argumentation-based agent system (specialized to two values { f, t }) can be accessible to the Semantic Web reasoning established as the description logic reasoning system, given ontologies expressed by OWL DL or its notational variant the DL SHOIN (D). An interesting argumentation result using both ontologies and rules about the university curriculum is shown as an example executed by our system.