Logics for the Semantic Web

  title={Logics for the Semantic Web},
  author={Jos de Bruijn},
This chapter introduces a number of formal logical languages which form the backbone of the Semantic Web. They are used for the representation of both ontologies and rules. The basis for all languages presented in this chapter is the classical First-Order Logic. Description Logics is a family of languages which represent subsets of first-order logic. Expressive description logic languages form the basis for popular ontology languages on the Semantic Web. Logic programming is based on a subset… CONTINUE READING
4 Citations
12 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 12 references

OWL web ontology language reference

  • M. schema Dean, G. Schreiber
  • 2004
Highly Influential
4 Excerpts

RDF vocabulary description language 1.0: RDF schema (Rec

  • DC Washington, R. V. Guha
  • 2004

From SHIQ and RDF to OWL

  • I. Horrocks, P. F. Patel-Schneider, Harmelen, F. van
  • 2003
1 Excerpt

Similar Papers

Loading similar papers…