ACM Computing Surveys (CSUR)
Towards an argument interchange format
The Knowledge Engineering Review
The Description Logic Handbook
The Description Logic Handbook
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
The Carneades model of argument and burden of proof
Artificial Intelligence
Laying the foundations for a World Wide Argument Web
Artificial Intelligence
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Flexible concept-based argumentation in dynamic scenes
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Review: representing and classifying arguments on the semantic web
The Knowledge Engineering Review
On a computational argumentation framework for agent societies
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Towards pragmatic argumentative agents within a fuzzy description logic framework
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
A three-layer argumentation framework
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Research opportunities for argumentation in social networks
Artificial Intelligence Review
Hi-index | 0.00 |
In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilot Web-based system, called ArgDF, for authoring and querying argument structures represented in RDF. In this paper, we discuss some of the limitations of our earlier reification of the AIF. We then present a new ontology which takes advantage of the higher expressive power of OWL. We demonstrate how this enables the use of automated Description Logic reasoning over argument structures. In particular, OWL reasoning enables significantly enhanced querying of arguments through automatic scheme classifications, instance classification, and inference of indirect support in chained argument structures.