Chain resolution for the semantic web

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3097, Issue , 2004, Pages 307-320

  Tammet, Tanel ^a  

^a TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); FORMAL LOGIC; INFERENCE ENGINES; OPTIMIZATION; PROJECT MANAGEMENT; THEOREM PROVING; AUTOMATION; CHAINS; COMPUTATION THEORY; SEMANTIC WEB;

CHAIN RESOLUTION; COMPLIATION-BASED SCHEMA; FIRST ORDER LOGIC (FOL); SEMANTIC WEB; RESOLUTION ALGORITHMS; RESOLUTION MECHANISMS; RESOLUTION-BASED METHODS; SEARCH SPACES; SEARCH STRATEGIES;

WORLD WIDE WEB; THEOREM PROVING;

EID: 9444285908     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25984-8_21     Document Type: Conference Paper

References (13)

1. [Case] http://www.cs.miami.edu/~tptp/CASC/
2. [Fermüller93] Fermüller, C., Leitsch, A., Tammet, T., Zamov, N. Resolution methods for decision problems. Lecture Notes in Artificial Intelligence 679, Springer Verlag, 1993.
3. [Handbook01] Robinson, A.J., Voronkov, A., editors. Handbook of Automated Reasoning. MIT Press, 2001.
4. [Handbook03] Baader, F., Calvanese, V., McGuinness, V., Nardi, D., Patel-Schneider, P., editors. The Description Logic Handbook. Cambridge University Press, 2003.
5. [HustadtSchmidt00] Hustadt, U., Schmidt, R. A. Issues of decidability for description logics in the framework of resolution. In G. Salzer and R. Caferra, editors, Automated Deduction in Classical and Non-Classical Logics, pp. 192-206. LNAI1761, Springer.
6. [OWL] 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/
7. [RDF] RDF Semantics. W3C Working Draft 23 January 2003. W3C. Hayes, P. ed. http://www.w3.org/TR/rdf-mt/
8. [SemanticWeb01] Berners-Lee, T., Hendler, J., Lassila, O. The Semantic Web. Scientific American, May 2001.
9. [SemanticWebURL] Semantic web. http://www.w3.org/2001/sw/.W3C.
10. [TPTP] http://www.cs.miami.edu/~tptp/
11. [Tammet97] Tammet, T. Gandalf. Journal of Automated Reasoning vol 18 No 2 (1997) 199-204.
12. [Tammet98] Tammet, T. Towards Efficient Subsumption. In CADE-15, pages 427-441, Lecture Notes in Computer Science vol. 1421, Springer Verlag, 1998.
13. [Tammet02] Tammet, T. Gandalf. http://www.ttu.ee/it/gandalf/, Tallinn Technical University.