Logical formalisms for agreement technologies

Agreement Technologies

Volumn , Issue , 2013, Pages 69-82

  Zimmermann, Antoine ^a  

^a Henri FAYOL institute   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

ABSTRACT NOTIONS; AGREEMENT TECHNOLOGIES; FORMAL SEMANTICS; KNOWLEDGE SYSTEM; LOGICAL FORMALISM;

SEMANTICS;

EID: 84900546625     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-94-007-5583-3_5     Document Type: Chapter

References (30)

1. Analyti, A., G. Antoniou, and C. V. Damasio. 2011. MWeb: A principled framework for modular web rule bases and its semantics. ACM Transaction on Computational Logics 17(2): 46.
2. Analyti, A., G. Antoniou, C. V. Damasio, and G. Wagner. 2008. Extended rdf as a semantic foundation of rule markup languages. Journal of Artificial Intelligence Research 32: 37-94.
3. Bao, J., D. Caragea, and V. G. Honavar. 2006. On the semantics of linking and importing in modular ontologies. In Proceedings of the 5th international semantic web conference on the semantic web - ISWC 2006, Athens, GA, USA, November 5-9, 2006. Lecture Notes in Computer Science, ed. I. F. Cruz, et al., vol. 4273, 72-86. Berlin/Heidelberg: Springer.
4. Bao, J., G. Voutsadakis, G. Slutzki, and V. G. Honavar. 2009. Package-based description logics. In Modular ontologies: Concepts, theories and techniques for knowledge modularization. Lecture Notes in Computer Science, ed. H. Stuckenschmidt, C. Parent, and S. Spaccapietra, vol. 5445, 349-371. Berlin/Heidelberg: Springer.
5. Beziau, J. Y., W. Carnielli, and D. M. Gabbay. 2007. Handbook of paraconsistency. London: College Publications.
6. Borgida, A., and L. Serafini. 2003. Distributed description logics: Assimilating information from peer sources. Journal on Data Semantics 1: 153-184.
7. Calvanese, D., E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and A. Y. Turhan (eds.). 2007.Proceedings of the 20th international workshop on description logics DL’07, June 8-10, 2007, Brixen/Bressanone, Italy. Bolzano University Press.
8. Carroll, J. J., C. Bizer, P. Hayes, and P. Stickler. 2007. Named graphs, provenance and trust. In Proceedings of the 14th international conference on world wide web, WWW 2005, Chiba, Japan, May 10-14, 2005, ed. A. Ellis and T. Hagino, 613-622. ACM.
9. Chesnevar, C. I., A. G. Maguitman, and R. P. Loui. 2000. Logical models of argument. ACM Computing Survey 32(4): 337-383.
10. Cruz, I. F., S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika, M. Uschold, and L. Aroyo (eds.). 2006. Proceedings of the 5th international semantic web conference on the semantic web - ISWC 2006, Athens, GA, USA, November 5-9, 2006. Lecture Notes in Computer Science, vol. 4273. Berlin/Heidelberg: Springer
11. Cuenca-Grau, B., and O. Kutz. 2007. Modular ontology languages revisisted. In SWeCKa 2007: Proceedings of the IJCAI-2007 workshop on semantic web for collaborative knowledge acquisition, Hyderabad, India, January 7, 2007, ed. V. G. Honavar, T. Finin, D. Caragea, D. Mladenic, and Y. Sure.
12. Cuenca-Grau, B., B. Parsia, and E. Sirin. 2006. Combining OWL ontologies using E-connections. Journal of Web Semantics 4(1): 40-59.
13. García, A. J., and G. R. Simari. 2004. Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4(1-2): 95-138.
14. Ghidini, C., and L. Serafini. 2000. Distributed first order logics. In: Frontiers of combining systems 2. Studies in Logic and Computation, ed. D. M. Gabbay and M. de Rijke, vol. 7, 121-139. Baldock/Philadelphia: Research Studies Press. citeseer.ist.psu.edu/ghidini98distributed.html.
15. Guha, R. V., R. McCool, and R. Fikes. 2004. Contexts for the semantic web. In Proceedings of the third international semantic web conference on the Semantic Web - ISWC 2004, Hiroshima, Japan, November 7-11, 2004. Lecture Notes in Computer Science, ed. F. van Harmelen, S. McIlraith, and D. Plexousakis, vol. 3298, 32-46. Berlin/Heidelberg: Springer.
16. Harris, S., and A. Seaborne. SPARQL 1.1 query language - W3C working draft 5 January 2012. W3C Working Draft, World Wide Web Consortium (W3C) (2012). http://www.w3.org/TR/2012/WD-sparql11-query-20120105/.
17. Hitzler, P., and F. van Harmelen. 2010. A reasonable semantic web. Semantic Web Journal 1(1). Available from http://www.semantic-web-journal.net/.
18. Hogan, A., A. Harth, and A. Polleres. 2008. Saor: Authoritative reasoning for the web. In: Proceedings of the 3rd Asian semantic web conference on the semantic web, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Lecture Notes in Computer Science, ed. J. Domingue and C. Anutariya, vol. 5367, 76-90. Berlin/New York: Springer.
19. Homola, M. 2007. Distributed description logics revisited. In Proceedings of the 20th international workshop on description logics DL’07, June 8-10, 2007, Brixen/Bressanone, Italy, ed. D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and A. Y. Turhan. Bolzano University Press. http://ceur-ws.org/Vol-250/paper_51.pdf.
20. Homola, M., and L. Serafini. 2012. Contextualized knowledge repositories for the semantic web. Journal of Web Semantics 12: 64-87.
21. Huang, Z., F. van Harmelen, and A. ten Teije. 2005. Reasoning with inconsistent ontologies. In IJCAI-05, Proceedings of the nineteenth international joint conference on artificial intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005, ed. L. P. Kaelbling and A. Saffiotti, 454-459. Professional Book Center.
22. Kutz, O., C. Lutz, F. Wolter, and M. Zakharyaschev. 2004. E-connections of abstract description systems. Artificial Intelligence 156(1): 1-73.
23. Lenat, D. B. 1995. CYC: a large-scale investment in knowledge infrastructure. Communications of the ACM 38(11): 33-38. http://doi.acm.org/10.1145/219717.219745.
24. McCarthy, J. L. 1987. Generality in artificial intelligence. Communications of the ACM 30(12): 1029-1035.
25. Meilicke, C., H. Stuckenschmidt, and A. Tamilin. 2008. Supporting manual mapping revision using logical reasoning. In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008, ed. D. Fox and C. P. Gomes, 1213-1218. AAAI.
26. Serafini, L., and A. Tamilin. 2005. DRAGO: Distributed reasoning architecture for the semantic web. In Proceedings of the Second European Semantic Web Conference on the semantic web: Research and applications, ESWC 2005, Heraklion, Crete, Greece, May 29-June 1, 2005. Lecture Notes in Computer Science, ed. A. Gomez-Perez and J. Euzenat, vol. 3532, 361-376. Springer.
27. Zimmermann, A. 2007. Integrated distributed description logics. In Proceedings of the 20th international workshop on description logics DL’07, Brixen/Bressanone, Italy, June 8-10, 2007, ed. D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and A. Y. Turhan, 507-514. Bolzano University Press. http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-250/paper_37.pdf.
28. Zimmermann, A., and C. L. Duc. 2008. Reasoning on a network of aligned ontologies. In Proceedings of the second international conference on web reasoning and rule systems, RR 2008, Karlsruhe, Germany, October/November 2008, Lecture Notes in Computer Science, ed. D. Calvanese and H. Lausen, vol. 5341, 43-57. Springer.
29. Zimmermann, A., and J. Euzenat. 2006. Three semantics for distributed systems and their relations with alignment composition. In Proceedings of the 5th international semantic web conference on the semantic web - ISWC 2006, Athens, GA, USA, November 5-9, 2006. Lecture Notes in Computer Science, I. F. Cruz, S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika, M. Uschold, and L. Aroyo, vol. 4273, 16-29. Berlin/Heidelberg: Springer. http://iswc2006. semanticweb.org/items/Zimmermann2006jw. pdf.
30. Zimmermann, A., R. Sahay, R. Fox, and A. Polleres. 2009. Heterogeneity and context in semantic-web-enabled HCLS systems. In Proceedings of teh confederated international conferences on the move to meaningful internet systems: OTM 2009, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Part II. Lecture Notes in Computer Science, ed. D. Calvanese and H. Lausen, vol. 5871, 1165-1182. Springer.