Thinking on the Web: Berners-Lee, Gödel, and Turing

What is web intelligence? Empowering the information age

Gödel : What is decidable?

Turing : What is machine intelligence?

Berners-Lee : What is solvable on the web?

Web ontology and logic. Resource description framework

Web ontology language

Ontology engineering

Logic, rules, and inference

Semantic web rule language

Semantic web applications

Web ontology language for services

Semantic search technology

Semantic patterns and adaptive software

Semantic tools

Challenges and opportunities.