Combining an inference engine with databases: A rule server

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2876, Issue , 2003, Pages 136-149

  Tammet, Tanel ^a   Kadarpik, Vello ^a  

^a TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; DIGITAL STORAGE; RELATIONAL DATABASE SYSTEMS; SOFTWARE PROTOTYPING;

APPLICATION DEVELOPMENT; APPLICATION PROGRAMMING; FIRST ORDER; QUERY MECHANISMS; SEMANTIC WEB APPLICATIONS; SERVER SOFTWARES; THEOREM PROVERS;

SEMANTIC WEB;

EID: 0242308012     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39715-1_10     Document Type: Article

References (10)

1. Berners-Lee, T. Connolly, D. Hawke, S. Semantic Web tutorial using N3. 2003. http://www.w3.org/2000/10/swap/doc/tutorial-1.pdf
2. Robinson, A.J., Voronkov, A., editors. Handbook of Automated Reasoning. MIT Press, 2001.
3. Baader, F., Calvanese, V., McGuinness, V., Nardi, D., Patel-Schneider, P., editors. The Description Logic Handbook. Cambridge University Press, 2003.
4. Tammet, T. Gandalf. Journal of Automated Reasoning vol 18 No 2 (1997) 199-204.
5. Tammet, T. Towards Efficient Subsumption. In CADE-15, pages 427-441, Lecture Notes in Computer Science vol. 1421, Springer Verlag, 1998.
6. Tammet, T. Gandalf. http://www.ttu.ee/it/gandalf/, Tallinn Technical University.
7. Tammet, T. Extending classical theorem proving for the Semantic Web. Draft paper.
8. Simple Common Logic. Mailing list archive of the working group. http://philebus.tamu.edu/mailman/listinfo/scl
9. RDF Semantics. W3C Working Draft 23 January 2003. W3C. Hayes, P. ed. http://www.w3.org/TR/rdf-mt/
10. OWL Web Ontology Language. Semantics and Abstract Syntax. W3C Working Draft 31 March 2003. W3C. Patel-Schneider, P.F, Hayes, P., Horrocks, I., eds. http://www.w3.org/TR/owl-semantics/