Abstract
In the previous chapters, the working of the generic defeasible logic programming-based framework (GF@SWA) to represent, reason and integrate incomplete and/or contradictory information (both structured and unstructured) in different Semantic Web applications for EII and EKI was discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
The claim of a business rule is represented by a grey, rectangular-shaped box.
References
Anderson EE (1989) A heuristic for software evaluation and selection. Softw Pract Exp 19(8):707–717. doi:10.1002/spe.4380190802, http://dx.doi.org/10.1002/spe.4380190802
Andriole S (1986) Software validation, verification, testing and documentation: a source book. Petrocelli Books Inc., Princeton
Antoniou G, Bikakis A (2007) Dr-prolog: a system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Trans Knowl Data Eng 19(2):233–245
Bassiliades N, Antoniou G, Vlahavas I (2004) Dr-device: a defeasible logic system for the semantic web. In: Principles and practice of semantic web reasoning. Lecture notes in computer science, vol 3208. Springer, pp 134–148
Garcia AJ, Rotstein ND, Tucat M, Simari GR (2007) An argumentative reasoning service for deliberative agents. In: Zhang Z, Siekmann J (eds) Knowledge science, engineering and management. Lecture notes in computer science, vol 4798. Springer, Heidelberg, pp 128–139
Governatori G, Milosevic Z, Sadiq S (2006) Compliance checking between business processes and business contracts. In: 10th IEEE international conference on enterprise distributed object computing, Washington, pp 221–232
Grosof B, Gandhe M, Finin T et al (2002) Sweetjess: translating damlruleml to jess. In: Proceedings of the international workshop on rule markup languages for business rules on the semantic web at 1st international semantic web conference, vol 60. Sardinia, Italy
Kontopoulos E, Bassiliades N, Antoniou G (2011) Visualizing semantic web proofs of defeasible logic in the dr-device system. Knowl-Based Syst 24(3):406–419. doi:10.1016/j.knosys.2010.12.001, http://www.sciencedirect.com/science/article/pii/S0950705110001735
Wang HJ, Zhao JL, Zhang LJ (2009) Policy-driven process mapping (PDPM): discovering process models from business policies. Decis Support Syst 48(1):267–281
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Janjua, N.K. (2014). Validation and Evaluation of GF@SWA. In: A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications. Springer Theses. Springer, Cham. https://doi.org/10.1007/978-3-319-03949-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-03949-7_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03948-0
Online ISBN: 978-3-319-03949-7
eBook Packages: EngineeringEngineering (R0)