Skip to main content

Semantic Web Architecture: Stack or Two Towers?

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNISA,volume 3703)


We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an architecture that maximises compatibility with existing languages, in particular RDF and OWL, will benefit the development of the Semantic Web, and still allow for forms of closed world assumption and negation as failure.


  • Description Logic
  • World Semantic
  • Closed World Assumption
  • Stable Model Semantic
  • Rule Language

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/11552222_4
  • Chapter length: 5 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-32028-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, IJCAI 2005 (2005) (to appear)

    Google Scholar 

  2. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL web ontology language reference. W3C Recommendation, February 10 (2004), Available at

  3. Berners-Lee, T.: WWW past & future (2003), Available at

  4. Berners-Lee, T.: Web for real people (2005), Available at

  5. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2004), pp. 141–151. Morgan Kaufmann, Los Altos (2004)

    Google Scholar 

  6. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)

    Google Scholar 

  7. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pp. 48–57. ACM, New York (2003)

    CrossRef  Google Scholar 

  8. Haarslev, V., Möller, R., Wessel, M.: Querying the Semantic Web with Racer+ nRQL. In: Proc. of the KI 2004 Intl. Workshop on Applications of Description Logics, ADL 2004 (2004)

    Google Scholar 

  9. Hayes, P.: RDF model theory. W3C Recommendation, February 10 (2004), Available at

  10. Hayes, P., Menzel, C.: Simple common logic. In: W3C Workshop on Rule Languages for Interoperability, Washington, D.C., USA, April 27–28 (2005)

    Google Scholar 

  11. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining owl and ruleml. W3C Member Submission, May 21 (2004), Available at

  12. Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 549–563. Springer, Heidelberg (2004)

    CrossRef  Google Scholar 

  13. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. of Web Semantics (2005) (to appear)

    Google Scholar 

  14. SPARQL query language for RDF. W3C Working Draft, October (2004), Available at

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J. (2005). Semantic Web Architecture: Stack or Two Towers?. In: Fages, F., Soliman, S. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2005. Lecture Notes in Computer Science, vol 3703. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28793-3

  • Online ISBN: 978-3-540-32028-9

  • eBook Packages: Computer ScienceComputer Science (R0)