ABSTRACT
The Semantic Web represents an initiative to improve the current Web, by augmenting content with semantics and encouraging cooperation among human and software agents. The development of the logic and proof layers of the Semantic Web is currently concentrating the related research effort and is vital, since these layers allow systems to infer new knowledge from existing information, assisting them in explaining their actions and, ultimately, increasing user trust towards the Semantic Web. However, there is a lack of applications that could contribute towards developing logic-based applications. Consequently, users resort to inadequate tools that offer syntactic support, without being able to support the user semantically as well. This work presents S2DRREd, a software tool that introduces a supplementary level of semantic assistance during rule base development. The tool allows creating meta-models of the main notions of the loaded rule sets and assists the user in authoring rule bases, independently of the explicitly chosen rule language syntax. The domain of application is defeasible logic, a type of logic that allows reasoning with incomplete and conflicting information and, as such, it can play an increasingly important role in a drastically dynamic environment like the Web.
- Bassiliades, N., Antoniou, G., & Vlahavas, I. 2006. A Defeasible Logic Reasoner for the Semantic Web. Int. J. on Semantic Web and Information Systems 2, 1, Sheth, A., & Lytras, M. D. (Eds.), IDEA Group Publishing, 1--41.Google Scholar
- Berners-Lee, T., Hendler J., & Lassila O. 2001. The Semantic Web. Scientific American 284, 5, 34--43.Google ScholarCross Ref
- Boley, H. 2003. Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. Proc. Rules and Rule Markup Languages for the Semantic Web (RuleML-2003). Sanibel Island, Florida, LNCS 2876, Springer-Verlag, 1--16.Google ScholarDigital Library
- Boley, H. 2006. The RuleML Family of Web Rule Languages. In Principles and Practice of Semantic Web Reasoning. Springer, 1--17. Google ScholarDigital Library
- Boley, H. 2010. Integrating Positional and Slotted Knowledge on the Semantic Web. Journal of Emerging Technologies in Web Intelligence 2, 4, 343--353.Google ScholarCross Ref
- Craig, B. 2007. The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering. Proc. Int. Conf. on Advances in Rule Interchange and Applications (RuleML'07), Paschke, A., & Biletskiy, Y. (Eds.). Springer-Verlag, Berlin, Heidelberg, 149--154. Google ScholarDigital Library
- Gasse, F., & Haarslev, V. 2008. DLRule: A Rule Editor Plug-in for Protéégé. Proc. 4th Int. Workshop on OWL: Experiences and Directions (OWLED 2008). Washington, DC, USA, April 1--2.Google Scholar
- Horrocks, I., & Patel-Schneider, P. F. 2004. A Proposal for an OWL Rules Language. Proc. 13th Int. Conf. on World Wide Web (WWW '04). ACM, NY, USA, 723--731. Google ScholarDigital Library
- Kontopoulos, E., Bassiliades, N., & Antoniou, G. 2011. Visualizing Semantic Web Proofs of Defeasible Logic in the DR-DEVICE System. Knowledge-based Systems 24, 3, Elsevier, 406--419. Google ScholarDigital Library
- Nute, D. 1994. Defeasible Logic. Handbook of Logic in Artificial Intelligence and Logic Programming, Gabbay, D. M., Hogger, C. J., and Robinson, J. A. (Eds.). Vol. 3, Oxford University Press, 353--395. Google ScholarDigital Library
- O'Connor, M. J., Knublauch, H., Tu, S. W., Grossof, B., Dean, M., Grosso, W. E., & Musen, M. A. 2005. Supporting Rule System Interoperability on the Semantic Web with SWRL. Proc. 4th Int. Semantic Web Conference (ISWC), Galway, Ireland, Springer Verlag, LNCS 3729, 974--986. Google ScholarDigital Library
- Ortega, A. M., Alcaraz Calero, J. M., Botía Blaya, J. A., Martínez Pérez, G., & Garcíía Clemente, F. J. 2010. Knowledge Authoring with ORE: Testing, Debugging and Validating Knowledge Rules in a Semantic Web Framework. J. UCS 16, 2, 1234--1266.Google Scholar
- Reynolds, D. 2010. OWL 2 RL in RIF. W3C Working Group Note 22 June 2010. Available at: http://www.w3.org/TR/rif-owl-rl/#Background_OWL_2_RL, last access: November 2011.Google Scholar
Index Terms
- Semantically-enhanced authoring of defeasible logic rule bases in the semantic web
Recommendations
Deploying defeasible logic rule bases for the semantic web
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only to humans, as it is today, but to machines as well. Defeasible reasoning, ...
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, ...
A grounder for SPINdle defeasible logic reasoner
Proposed a grounder for defeasible logic bottom-up programs focused on stratified theories.Introduced an algorithm for theory stratification.The grounder exploits classical backtracking algorithm for instantiation.Proposed a query optimization technique ...
Comments