Deploying defeasible logic rule bases for the semantic web

Data and Knowledge Engineering

Volumn 66, Issue 1, 2008, Pages 116-146

  Kontopoulos, Efstratios ^a   Bassiliades, Nick ^a   Antoniou, Grigoris ^b  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

^b INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

Defeasible logic; Reasoning; Rule editor; Rule mark up languages; Semantic Web; Visual representation

Indexed keywords

DATA ACQUISITION; METADATA; SEMANTIC WEB; USER INTERFACES;

RULE EDITORS; RULE MARK-UP LANGUAGES; VISUAL REPRESENTATION;

LOGIC PROGRAMMING;

EID: 44349181938     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2008.02.005     Document Type: Article

References (60)

1. Altova, SemanticWorks, Visual Semantic Web design tool for RDF and OWL. (last accessed: 20.11.2006).
2. Antoniou G., and Arief M. Executable declarative business rules and their use in electronic commerce. Proceedings of ACM Symposium on Applied Computing (2002), ACM Press 6-10
3. G. Antoniou, D. Billington, G. Governatori, M.J. Maher, A flexible framework for defeasible logics, in: Proceedings of the National Conference on Artificial Intelligence (AAAI '00), 2000, pp. 405-410.
4. Antoniou G., Billington D., Governatori G., and Maher M.J. Representation results for defeasible logic. ACM Trans. Comput. Log. 2 2 (2001) 255-287
5. Antoniou G., Billington D., Governatori G., and Maher M.J. Embedding defeasible logic into logic programming. Theory Practice Logic Program. 6 6 (2006) 703-735
6. Antoniou G., Maher M.J., and Billington D. Defeasible logic versus logic programming without negation as failure. J. Logic Program. 41 1 (2000) 45-57
7. Antoniou G., Skylogiannis T., Bikakis A., and Bassiliades N. DR-BROKERING: a semantic brokering system. Knowledge-Based Syst. 20 1 (2007) 61-72
8. Ashri, R., Payne, T., Marvin, D., Surridge, M., Taylor, S. Towards a semantic web security infrastructure, in: Proceedings of Semantic Web Services 2004 Spring Symposium Series, Stanford University, Stanford California, 2004.
9. Arpi{dotless}́rez J.C., Corcho O., Fernández-López M., and Gómez-Pérez A. WebODE in a Nutshell. AI Magazine 24 3 (2003) 37-48
10. Bassiliades N., Antoniou G., and Governatori G. Proof Explanation in the DR-DEVICE System. Proc. 1st International Conference on Web Reasoning and Rule Systems (RR 2007). LNCS 4524 (2007), Springer-Verlag, Innsbruck, Austria 249-258
11. Bassiliades N., Antoniou G., and Vlahavas I. A defeasible logic reasoner for the semantic web. Int. J. Semantic Web Inform. Syst. 2 1 (2006) 1-41
12. Bassiliades N., Kontopoulos E., and Antoniou G. A visual environment for developing defeasible rule bases for the semantic web. Proceedings of RuleML-2005. LNCS 3791 (2005), Springer-Verlag, Galway, Ireland 172-186
13. Bassiliades N., and Vlahavas I. R-DEVICE: an object-oriented knowledge base system for RDF metadata. In: Sheth A., and Lytras M.D. (Eds). International Journal on Semantic Web and Information Systems vol. 2 (2006), Idea Group 24-90
14. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, L.A. Stein, OWL web ontology language reference. W3C Recommendation (10.2.2004).
15. A. Berglund, S. Boag, D. Chamberlin, M.F. Fernandez, M. Kay, J. Robie, J. Simeon, XML Path Language (XPath) 2.0. W3C Recommendation (23.1.2007).
16. T. Berners-Lee, N3 Primer: Getting into RDF & Semantic Web using N3. (last accessed: 19.12.2007).
17. Berners-Lee T., Hendler J., and Lassila O. The semantic web. Sci. Am. 284 5 (2001) 34-43
18. Burmester S., Giese H., Niere J., Tichy M., Wadsack J., Wagner R., Wendehals L., and Zündorf A. Tool integration at the meta-model level within the FUJABA tool suite. Int. J. Software Tools Technol. Transfer (STTT) 6 (2004) 203-218
19. CLIPS Basic Programming Guide (v. 6.24). (last accessed: 27.4.2007).
20. Chen I., Fan C., Lo P., Kuo L., and Yang C. ISWIVE: an integrated semantic web interactive visualization environment. Proceedings 19th International Conference on Advanced Information Networking and Applications (AINA'05) vol. 2 (2005), IEEE Computer Society, Washington, DC 701-706
21. di Battista G., Eades P., Tamassia R., and Tollis I.G. Graph Drawing: Algorithms for the Visualization of Graphs (1999), Prentice Hall
22. Dietrich J., Kozlenkov A., Schroeder M., and Wagner G. Rule-based agents for the semantic web. Electron. Commerce Res. Appl. 2 4 (2003) 323-338
23. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, dlvhex: a system for integrating multiple semantics in an answer-set programming framework, in: M. Fink, H. Tompits, S. Woltran (Eds.), Proceedings of 20th Workshop on Logic Programming and Constraint Systems (WLP '06), TU Wien, Inst. f. Informationssysteme, TR 1843-06-02, 2006, pp. 206-210.
24. Fluit C., Sabou M., and van Harmelen F. Ontology-based information visualization, Visualizing the Semantic Web (2003), Springer-Verlag pp. 36-48
25. Gallo G., Longo G., and Pallottino S. Directed hypergraphs and applications. Discrete Appl. Math. 42 2 (1993) 177-201
26. Gottlob G. Complexity results for nonmonotonic logics. J. Logic Comput. 2 (1992) 397-425
27. Governatori G. Representing business contracts in RuleML. Int. J. Cooperat. Inform. Syst. 14 2-3 (2005) 181-216
28. Governatori G., Dumas M., ter Hofstede A., and Oaks P. A formal approach to protocols and strategies for (legal) negotiation. Proceedings of 8th International Conference of Artificial Intelligence and Law (2001), ACM Press 168-177
29. Governatori G., Maher M.J., Antoniou G., and Billington D. Argumentation semantics for defeasible logic. J. Logic Comput. 14 5 (2004) 675-702
30. B.N. Grosof, M.D. Gandhe, T.W. Finin, SweetJess: translating DAMLRuleML to JESS, in: Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web. Held at 1st Int. Semantic Web Conference, 2002.
31. Grosof B.N., and Poon T.C. SweetDeal: representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions. Int. J. Electron. Commerce (IJEC) 8 4 (2004) 61-98 (Special Issue on Web E-commerce)
32. Han J., An A., and Cercone N. CViz: an interactive visualization system for rule induction. In: Hamilton H.J. (Ed). Proceedings of 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence. LNCS, vol. 1822 (2000), Springer-Verlag, London 214-226
33. Harary F. Graph Theory (1994), Addison-Wesley, Reading, MA
34. Huang Z., van Harmelen F., and ten Teije A. Reasoning with inconsistent ontologies: framework, prototype, and experiment. In: Davies J., Studer R., and Warren P. (Eds). Semantic Web Technologies: Trends and Research in Ontology-based Systems (2006), John Wiley and Sons 71-93
35. Kautz H.A., and Selman B. Hard problems for simple default theories. Artificial Intelligence 28 (1991) 243-279
36. Kontopoulos E., Bassiliades N., and Antoniou G. Visualizing defeasible logic rules for the semantic web. Proceedings of 1st Asian Semantic Web Conference (ASWC'06). LNCS 4185 (2006), Springer-Verlag, Beijing, China 278-292
37. E. Kontopoulos, K. Kravari, N. Bassiliades, Object-oriented modelling of RDF schema ontologies, in: Proceedings of 11th Pan-Hellenic Conference on Informatics (PCI 2007), Patras, Greece, 18-20 May 2007, pp. 479-489.
38. M.J. Maher, A model-theoretic semantics for defeasible logic, in: Proceedings of Workshop on Paraconsistent Computational Logic, 2002, pp. 67-80.
39. Maher M.J. Propositional defeasible logic has linear complexity. Theory Practice Logic Program. 1 6 (2001) 691-711
40. M.J. Maher, G. Governatori, A semantic decomposition of defeasible logics, in: Proceeding of AAAI'99, 1999, pp. 299-305.
41. Maher M.J., Rock A., Antoniou G., Billington D., and Miller T. Efficient defeasible reasoning systems. Int. J. Tools Artificial Intelligence 10 4 (2001) 483-501
42. C. Matheus, M. Kokar, K. Baclawski, J. Letkowski, An application of semantic web technologies to situation awareness, in: Proceedings of 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, 2005.
43. McBride, B. Jena: implementing the RDF model and syntax specification, in: Proceedings of 2nd International Workshop on the Semantic Web, 2001.
44. Nute D. Defeasible Reasoning. Proceedings of 20th International Conference on Systems Science (1987), IEEE Press 470-477
45. Nute D., and Erk K. Defeasible logic graphs: I. Theory. Decision Support Syst. 22 3 (1998) 277-293
46. Nute D., Hunter Z., and Henderson C. Defeasible logic graphs: II. Implementation. Decision Support Syst. 22 3 (1998) 295-306
47. M.J. O'Connor, H. Knublauch, S.W. Tu, B. Grossof, M. Dean, W.E. Grosso, M.A. Musen, Supporting rule system interoperability on the semantic web with SWRL, in: Proceedings of 4th International Semantic Web Conference (ISWC), Galway, Ireland, 2005.
48. Pfeiffer H.D., and Hartley R.T. Temporal, spatial, and constraint handling in the conceptual programming environment, CP. J. Exp. Theor. AI 4 2 (1992) 167-182
49. E. Pietriga, IsaViz: A Visual Authoring Tool for RDF. (last accessed: 20.11.2006).
50. Protégé Ontology Editor and Knowledge Acquisition System. (last accessed: 4.12.2006).
51. Reiter R. A logic for default reasoning. Artificial Intelligence J. 13 (1980) 81-132
52. Rissland E.L., and Skalak D.B. CABARET: rule interpretation in a hybrid architecture. Int. J. Man-Mach. Stud. 34 6 (1991) 839-887
53. Schild U.J., and Herzog S. The use of meta-rules in rule based legal computer systems. Proceedings of 4th International Conference on Artificial Intelligence and Law (ICAIL'93) (1993), ACM Press 100-109
54. M. Sintek, A. Lauer, The FRODO RDFSViz Tool. (last accessed: 20.11.2006).
55. Skylogiannis T., Antoniou G., Bassiliades N., Governatori G., and Bikakis A. DR-NEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies. Data Knowledge Eng. 63 (2007) 362-380
56. S. Stephens, The enterprise semantic web: technologies and applications for the real world, in: J. Cardoso, M. Hepp, M. Lytras (Eds.), The Semantic Web: Real-World Applications from Industry, Semantic Web and Beyond Computing for Human Experience, vol. 6, Springer, 2007, pp. 17-37. ISBN 978-0-387-48531-7.
57. Takeshi M., Noriaki I., Naoki F., and Takahira Y. A graphical RDF-based meta-model management tool. IEICE Trans. Inform. Syst. E89-D 4 (2006) 1368-1377 (Special Issue on Knowledge-Based Software Engineering)
58. Tamassia R. Graph drawing. In: Goodman J.E., and O'Rourke J. (Eds). Handbook of Discrete and Computational Geometry (1997), CRC Press 815-832
59. Ullman J.D. Principles of Database and Knowledge-Base Systems col. 1 (1988), Computer Science Press
60. Wagner G. Web rules need two kinds of negation. Proceedings of 1st Workshop on Semantic Web Reasoning. LNCS 2901 (2003), Springer 33-50