1. Angele, J., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies in Information Systems, pp. 29–50. Springer, Heidelberg (2004)
2. Berardi, D., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., Su, J., Tabet, S.: SWSL: Semantic Web Services Language. Technical report, Semantic Web Services Initiative (April 2005), http://www.daml.org/services/swsl/
3. Berners-Lee, T.: Primer: Getting into RDF & Semantic Web using N3 (2004), http://www.w3.org/2000/10/swap/Primer.html
4. Bonner, A., Kifer, M.: An overview of transaction logic. Theoretical Comput. Sci. 133, 205–265 (1994)
5. Bonner, A., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto (November 1995), http://www.cs.toronto.edu/~bonner/transaction-logic.html