Skip to main content
Top

2013 | OriginalPaper | Chapter

4. Agreement Technologies and the Semantic Web

Author : Axel Polleres

Published in: Agreement Technologies

Publisher: Springer Netherlands

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Here we discuss the relationship between Agreement Technologies and the Semantic Web, especially focusing on how Semantic Web standards play a role in the Agreement Technologies stack, but also issues related to Linked Data and the Web of Data. We start the chapter with an account of Semantic Web standards and ensue with the role they play in Agreement Technologies.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
go back to reference Angles, R., and C. Gutierrez. 2008. The expressive power of sparql. In international semantic web conference (ISWC 2008). Lecture Notes in Computer Science, vol. 5318, 114–129. Karlsruhe: Springer. Angles, R., and C. Gutierrez. 2008. The expressive power of sparql. In international semantic web conference (ISWC 2008). Lecture Notes in Computer Science, vol. 5318, 114–129. Karlsruhe: Springer.
go back to reference Baader, F. 2003. Terminological cycles in a description logic with existential restrictions. In Proceedings of the eighteenth international joint conference on artificial intelligence (IJCAI2003), Acapulco, Mexico, 325–330. Baader, F. 2003. Terminological cycles in a description logic with existential restrictions. In Proceedings of the eighteenth international joint conference on artificial intelligence (IJCAI2003), Acapulco, Mexico, 325–330.
go back to reference Baader, F., S. Brandt, and C. Lutz. 2005. Pushing the el envelope. InProceedings of the nineteenth international joint conference on artificial intelligence (IJCAI2005), 364–369. Edinburgh: Professional Book Center. Baader, F., S. Brandt, and C. Lutz. 2005. Pushing the el envelope. InProceedings of the nineteenth international joint conference on artificial intelligence (IJCAI2005), 364–369. Edinburgh: Professional Book Center.
go back to reference Baselice, S., P. A. Bonatti, and G. Criscuolo. 2009. On finitely recursive programs. TPLP 9(2): 213–238.MathSciNetMATH Baselice, S., P. A. Bonatti, and G. Criscuolo. 2009. On finitely recursive programs. TPLP 9(2): 213–238.MathSciNetMATH
go back to reference Berners-Lee, T., D. Connolly, L. Kagal, Y. Scharf, and J. Hendler. 2008. N3logic: a logical framework for the world wide web. Theory and Practice of Logic Programming 8(3): 249–269.MathSciNetMATHCrossRef Berners-Lee, T., D. Connolly, L. Kagal, Y. Scharf, and J. Hendler. 2008. N3logic: a logical framework for the world wide web. Theory and Practice of Logic Programming 8(3): 249–269.MathSciNetMATHCrossRef
go back to reference Bojārs, U., J. G. Breslin, D. Berrueta, D. Brickley, S. Decker, S. Fernández, C. Görn, A. Harth, T. Heath, K. Idehen, K. Kjernsmo, A. Miles, A. Passant, A. Polleres, L. Polo, and M. Sintek. 2007. SIOC core ontology specification. W3C Member Submission Available at http://www.w3.org/Submission/sioc-spec/. Bojārs, U., J. G. Breslin, D. Berrueta, D. Brickley, S. Decker, S. Fernández, C. Görn, A. Harth, T. Heath, K. Idehen, K. Kjernsmo, A. Miles, A. Passant, A. Polleres, L. Polo, and M. Sintek. 2007. SIOC core ontology specification. W3C Member Submission Available at http://​www.​w3.​org/​Submission/​sioc-spec/​.
go back to reference Calimeri, F., S. Cozza, G. Ianni, and N. Leone. 2009. Magic sets for the bottom-up evaluation of finitely recursive programs. In Logic programming and nonmonotonic reasoning, 10th international conference (LPNMR 2009). Lecture Notes in Computer Science, ed. E. Erdem, F. Lin, and T. Schaub, vol. 5753, 71–86. Potsdam: Springer. Calimeri, F., S. Cozza, G. Ianni, and N. Leone. 2009. Magic sets for the bottom-up evaluation of finitely recursive programs. In Logic programming and nonmonotonic reasoning, 10th international conference (LPNMR 2009). Lecture Notes in Computer Science, ed. E. Erdem, F. Lin, and T. Schaub, vol. 5753, 71–86. Potsdam: Springer.
go back to reference Calvanese, D., G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. 2007. Tractable reasoning and efficient query answering in description logics: The dl-lite family. Journal of Automated Reasoning 39(3): 385–429.MathSciNetMATHCrossRef Calvanese, D., G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. 2007. Tractable reasoning and efficient query answering in description logics: The dl-lite family. Journal of Automated Reasoning 39(3): 385–429.MathSciNetMATHCrossRef
go back to reference Cranor, L., B. Dobbs, S. Egelman, G. Hogben, J. Humphrey, M. Langheinrich, M. Marchiori, M. Presler-Marshall, J. Reagle, M. Schunter, D. A. Stampley, and R. Wenning. 2006. The platform for privacy preferences 1.1 (P3P1.1) specification. W3C Working Group Note. Available at http://www.w3.org/TR/P3P11/. Cranor, L., B. Dobbs, S. Egelman, G. Hogben, J. Humphrey, M. Langheinrich, M. Marchiori, M. Presler-Marshall, J. Reagle, M. Schunter, D. A. Stampley, and R. Wenning. 2006. The platform for privacy preferences 1.1 (P3P1.1) specification. W3C Working Group Note. Available at http://​www.​w3.​org/​TR/​P3P11/​.
go back to reference de Bruijn, J., A. Polleres, R. Lara, and D. Fensel. 2005. OWL − . Final draft d20.1v0.2, WSML. de Bruijn, J., A. Polleres, R. Lara, and D. Fensel. 2005. OWL − . Final draft d20.1v0.2, WSML.
go back to reference Eiter, T., G. Ianni, R. Schindlauer, and H. Tompits. 2006b. Effective integration of declarative rules with external evaluations for semantic-web reasoning. In Proceedings of the 3rd European Semantic Web Conference (ESWC2006). LNCS, vol. 4011, 273–287. Budva: Montenegro. Eiter, T., G. Ianni, R. Schindlauer, and H. Tompits. 2006b. Effective integration of declarative rules with external evaluations for semantic-web reasoning. In Proceedings of the 3rd European Semantic Web Conference (ESWC2006). LNCS, vol. 4011, 273–287. Budva: Montenegro.
go back to reference Eiter, T., G. Ianni, T. Krennwallner, and A. Polleres. 2008. Rules and ontologies for the semantic web. In Reasoning Web 2008. Lecture Notes in Computer Science, ed. C. Baroglio, P. A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, and S. Schaffert, vol. 5224, 1–53. Venice: Springer. http://www.polleres.net/publications/eite-etal-2008.pdf. Eiter, T., G. Ianni, T. Krennwallner, and A. Polleres. 2008. Rules and ontologies for the semantic web. In Reasoning Web 2008. Lecture Notes in Computer Science, ed. C. Baroglio, P. A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, and S. Schaffert, vol. 5224, 1–53. Venice: Springer. http://​www.​polleres.​net/​publications/​eite-etal-2008.​pdf.
go back to reference Eiter, T., and M. Simkus. 2010. FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. ACM Transactions on Computational Logic 11(2): 1–45.MathSciNetCrossRef Eiter, T., and M. Simkus. 2010. FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. ACM Transactions on Computational Logic 11(2): 1–45.MathSciNetCrossRef
go back to reference Euzenat, J., and P. Shvaiko. 2007. Ontology matching. Heidelberg: Springer.MATH Euzenat, J., and P. Shvaiko. 2007. Ontology matching. Heidelberg: Springer.MATH
go back to reference Grosof, B. N., I. Horrocks, R. Volz, and S. Decker. 2003. Description logic programs: Combining logic programs with description logic. In 12th international conference on world wide web (WWW’03), 48–57. Budapest: ACM. Grosof, B. N., I. Horrocks, R. Volz, and S. Decker. 2003. Description logic programs: Combining logic programs with description logic. In 12th international conference on world wide web (WWW’03), 48–57. Budapest: ACM.
go back to reference Gutiérrez, C., C. A. Hurtado, A. O. Mendelzon. 2004. Foundations of semantic web databases. In Proceedings of the twenty-third acm sigact-sigmod-sigart symposium on principles of database systems (PODS 2004), 95–106. Paris: ACM. Gutiérrez, C., C. A. Hurtado, A. O. Mendelzon. 2004. Foundations of semantic web databases. In Proceedings of the twenty-third acm sigact-sigmod-sigart symposium on principles of database systems (PODS 2004), 95–106. Paris: ACM.
go back to reference Harth, A., J. Umbrich, A. Hogan, and S. Decker. 2007. YARS2: A federated repository for querying graph structured data from the web. In 6th international semantic web conference, 2nd Asian semantic web conference, 211–224. Berlin/New York: Springer Harth, A., J. Umbrich, A. Hogan, and S. Decker. 2007. YARS2: A federated repository for querying graph structured data from the web. In 6th international semantic web conference, 2nd Asian semantic web conference, 211–224. Berlin/New York: Springer
go back to reference Horrocks, I., and P. F. Patel-Schneider. 2004. Reducing owl entailment to description logic satisfiability. Journal of Web Semantics 1(4): 345–357.CrossRef Horrocks, I., and P. F. Patel-Schneider. 2004. Reducing owl entailment to description logic satisfiability. Journal of Web Semantics 1(4): 345–357.CrossRef
go back to reference Horrocks, I., O. Kutz, and U. Sattler. 2006. The even more irresistible sroiq. In Proceedings of the tenth international conference on principles of knowledge representation and reasoning (KR’06), 57–67. Lake District of the United Kingdom: AAAI. Horrocks, I., O. Kutz, and U. Sattler. 2006. The even more irresistible sroiq. In Proceedings of the tenth international conference on principles of knowledge representation and reasoning (KR’06), 57–67. Lake District of the United Kingdom: AAAI.
go back to reference Ianni, G., A. Martello, C. Panetta, and G. Terracina. 2009. Efficiently querying RDF(S) ontologies with Answer Set Programming. Journal of Logic and Computation (Special issue) 19(4): 671–695. doi:10.1093/logcom/exn043.MathSciNetMATH Ianni, G., A. Martello, C. Panetta, and G. Terracina. 2009. Efficiently querying RDF(S) ontologies with Answer Set Programming. Journal of Logic and Computation (Special issue) 19(4): 671–695. doi:10.1093/logcom/exn043.MathSciNetMATH
go back to reference Kifer, M., G. Lausen, and J. Wu. 1995. Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4): 741–843.MathSciNetMATHCrossRef Kifer, M., G. Lausen, and J. Wu. 1995. Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4): 741–843.MathSciNetMATHCrossRef
go back to reference Krötzsch, M., S. Rudolph, and P. Hitzler. 2007. Complexity boundaries for horn description logics. In Proceedings of the twenty-second aaai conference on artificial intelligence (AAAI), Vancouver, 452–457. Krötzsch, M., S. Rudolph, and P. Hitzler. 2007. Complexity boundaries for horn description logics. In Proceedings of the twenty-second aaai conference on artificial intelligence (AAAI), Vancouver, 452–457.
go back to reference Moses, T. 2005. eXtensible access control markup language (XACML) version 2.0. OASIS Standard Moses, T. 2005. eXtensible access control markup language (XACML) version 2.0. OASIS Standard
go back to reference Motik, B., B. C. Grau, I. Horrocks, Z. Wu, A. Fokoue, C. Lutz, D. Calvanese, J. Carroll, G. D. Giacomo, J. Hendler, I. Herman, B. Parsia, P. F. Patel-Schneider, A. Ruttenberg, U. Sattler, and M. Schneider. 2009. OWL 2 web ontology language profiles. W3c recommendation, W3C. Available at http://www.w3.org/TR/owl2-profiles/. Motik, B., B. C. Grau, I. Horrocks, Z. Wu, A. Fokoue, C. Lutz, D. Calvanese, J. Carroll, G. D. Giacomo, J. Hendler, I. Herman, B. Parsia, P. F. Patel-Schneider, A. Ruttenberg, U. Sattler, and M. Schneider. 2009. OWL 2 web ontology language profiles. W3c recommendation, W3C. Available at http://​www.​w3.​org/​TR/​owl2-profiles/​.
go back to reference Muñoz, S., J. Pérez, and C. Gutiérrez. 2007. Minimal deductive systems for rdf. In Proceedings of the 4th European semantic web conference (ESWC2007), ed. E. Franconi, M. Kifer, and W. May. Lecture Notes in Computer Science, vol. 4519, 53–67. Innsbruck: Springer. Muñoz, S., J. Pérez, and C. Gutiérrez. 2007. Minimal deductive systems for rdf. In Proceedings of the 4th European semantic web conference (ESWC2007), ed. E. Franconi, M. Kifer, and W. May. Lecture Notes in Computer Science, vol. 4519, 53–67. Innsbruck: Springer.
go back to reference Pérez, J., M. Arenas, and C. Gutierrez. 2006. Semantics and complexity of SPARQL. In International semantic web conference (ISWC 2006), 30–43. Berlin/New York: Springer. Pérez, J., M. Arenas, and C. Gutierrez. 2006. Semantics and complexity of SPARQL. In International semantic web conference (ISWC 2006), 30–43. Berlin/New York: Springer.
go back to reference Pérez, J., M. Arenas, and C. Gutierrez. 2009. Semantics and complexity of SPARQL. ACM Transactions on Database Systems 34(3): Article 16, 45p. Pérez, J., M. Arenas, and C. Gutierrez. 2009. Semantics and complexity of SPARQL. ACM Transactions on Database Systems 34(3): Article 16, 45p.
go back to reference Polleres, A., and D. Huynh (eds.). 2009. Special issue: The web of data. Journal of Web Semantics 7(3): 135. Elsevier. Polleres, A., and D. Huynh (eds.). 2009. Special issue: The web of data. Journal of Web Semantics 7(3): 135. Elsevier.
go back to reference Schindlauer, R. 2006. Answer-set programming for the semantic web. Ph.D. thesis, Vienna University of Technology. Schindlauer, R. 2006. Answer-set programming for the semantic web. Ph.D. thesis, Vienna University of Technology.
go back to reference Schmidt, M., M. Meier, and G. Lausen. 2010. Foundations of SPARQL query optimization. In 13th international conference on database theory (ICDT2010), Lausanne. Schmidt, M., M. Meier, and G. Lausen. 2010. Foundations of SPARQL query optimization. In 13th international conference on database theory (ICDT2010), Lausanne.
go back to reference SQL-99. 1999. Information technology – database language SQL- Part 3: call level interface (SQL/CLI). Tech. Rep. INCITS/ISO/IEC 9075-3, INCITS/ISO/IEC. Standard Specification. SQL-99. 1999. Information technology – database language SQL- Part 3: call level interface (SQL/CLI). Tech. Rep. INCITS/ISO/IEC 9075-3, INCITS/ISO/IEC. Standard Specification.
go back to reference ter Horst, H. J. 2005. Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. Journal of Web Semantics 3: 79–115.MathSciNetCrossRef ter Horst, H. J. 2005. Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. Journal of Web Semantics 3: 79–115.MathSciNetCrossRef
Metadata
Title
Agreement Technologies and the Semantic Web
Author
Axel Polleres
Copyright Year
2013
Publisher
Springer Netherlands
DOI
https://doi.org/10.1007/978-94-007-5583-3_4

Premium Partner