Abstract
So far only rule-based knowledge has been taken into account in multi-agent systems based on argumentation. Recent progress of the Semantic Web technology provides expressive ontology languages. In this paper, we present an integrated system of Semantic Web reasoning and argument-based reasoning, where the Logic of Multiple-valued Argumentation-based agent system (specialized to two values {f, t}) can inquire of the description logic reasoning system for ontologies that are lacking in agent’s knowledge bases. Our approach contributes to advanced argumentative reasoning system with capabilities such as semantic web-based reasoning, which is shown by illustrating an interesting example of argumentation handling both rules and and ontologies.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Eiter, T., et al.: A deductive system for nonmonotonic reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 364–375. Springer, Heidelberg (1997)
Eiter, T., et al.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. of KR 2004, pp. 141–151 (2004)
Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12(4), 335–367 (1992)
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)
Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 392–407. Springer, Heidelberg (2005)
Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. of Applied Non-Classical Logics 7(1), 25–75 (1997)
Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 17–29. Springer, Heidelberg (2003)
Takahashi, T., Sawamura, H.: A Logic of Multiple-Valued Argumentation. In: Proc. of AAMAS 2004, pp. 789–805 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wakaki, T., Sawamura, H., Nitta, K. (2007). An Integrated System of Semantic Web Reasoning and Argument-Based Reasoning. In: Wegrzyn-Wolska, K.M., Szczepaniak, P.S. (eds) Advances in Intelligent Web Mastering. Advances in Soft Computing, vol 43. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72575-6_56
Download citation
DOI: https://doi.org/10.1007/978-3-540-72575-6_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72574-9
Online ISBN: 978-3-540-72575-6
eBook Packages: EngineeringEngineering (R0)