Combining an Inference Engine with Databases: A Rule Server

  • Tanel Tammet
  • Vello Kadarpik
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2876)


Complex Semantic Web applications require easy-to-use tools for data and rule storage along with query mechanisms. We describe a prototype server software RLS which is used similarly to the ordinary usage of SQL RDBMS software in application programming. The server combines first-order theorem provers with several query and rule language layers for application development in the Semantic Web context.


Pension Fund Inference Engine Predicate Symbol Propositional Variation Query Answering 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Berners-Lee,Connolly,Hawke03]
    Berners-Lee, T., Connolly, D., Hawke, S.: Semantic Web tutorial using N3 (2003),
  2. [Handbook01]
    Robinson, A.J., Voronkov, A. (eds.): Handbook of Automated Reasoning. MIT Press, Cambridge (2001)zbMATHGoogle Scholar
  3. [Handbook03]
    Baader, F., Calvanese, V., McGuinness, V., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  4. [Tammet97]
    Tammet, T.G.: Journal of Automated Reasoning 18(2), 199–204 (1997)CrossRefGoogle Scholar
  5. [Tammet98]
    Tammet, T.: Towards Efficient Subsumption. In: Kirchner, C., Kirchner, H. (eds.) CADE 1998. LNCS (LNAI), vol. 1421, pp. 427–441. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  6. [Tammet02]
    Tammet, T.G.: Tallinn Technical University,
  7. [Tammet03]
    Tammet, T.: Extending classical theorem proving for the Semantic Web. Draft paper Google Scholar
  8. [SCL]
    Simple Common Logic. Mailing list archive of the working group,
  9. [RDF]
    RDF Semantics. In: Hayes, P. (ed.) W3C Working Draft, W3C (January 23, 2003),
  10. [OWL]
    OWL Web Ontology Language. In: Patel-Schneider, P.F, Hayes, P., Horrocks, I., (eds.) Semantics and Abstract Syntax. W3C Working Draft, W3C (March 31, 2003),

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Tanel Tammet
    • 1
  • Vello Kadarpik
    • 1
  1. 1.Tallinn Technical University 

Personalised recommendations