Introducing Layers of Abstraction to Semantic Web Programming

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7046)


Developers of ontologies and Semantic Web applications have to decide on languages and environments for developing the ontology schema, asserting statements, specifying and executing queries, specifying rules, and inferencing. Such languages and environments are not well-integrated and lack common abstraction mechanisms. This paper presents a concept framework to alleviate those problems. This is demonstrated by a complex sample application: reasoning over business process models.


Semantic Web software engineering business process models Lisp Prolog 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Encyclopedia Britannica Ultimate Reference Suite (2010)Google Scholar
  2. 2.
    Havey, M.: Essential Business Process Modeling. O’Reilly Media, Sebastopol (2005)Google Scholar
  3. 3.
    van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. ACM SIGPLAN Notices 35, 26–36 (2000)CrossRefGoogle Scholar
  4. 4.
    Backus, J.W.: The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. In: Proceedings of the International Conference on Information Processing, pp. 125–132. UNESCO (1959)Google Scholar
  5. 5.
    Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic Web Architecture: Stack or Two Towers?, pp. 37–41. Springer, Heidelberg (2005)Google Scholar
  6. 6.
    Kifer, M., de Bruijn, J., Boley, H., Fensel, D.: A Realistic Architecture for the Semantic Web, pp. 17–29. Springer, Heidelberg (2005)Google Scholar
  7. 7.
    Humm, B., Engelschall, R.: Language-Oriented Programming via DSL Stacking. In: Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT 2010), Athens, Greece, pp. 279–287 (2010)Google Scholar
  8. 8.
    Knublauch, H.: The Object-Oriented Semantic Web with SPIN (2009),
  9. 9.
    Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. KR 2004. AAAI Press (2004)Google Scholar
  10. 10.
    Phouc, D.L., Polleres, A., Morbidoni, C., Hauswirth, M., Tummarello, G.: Rapid Prototyping of Semantic Mash-Ups through Semantic Web Pipes. In: Proceeedings of the 18th International World Wide Web Conference (WWW 2009). ACM, Madrid (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  1. 1.Hochschule DarmstadtUniversity of Applied SciencesDarmstadtGermany

Personalised recommendations