Logic

Adding logic to the web is an important step that lies before the semantic web community. Adding logic essentially means to use rules to make inferences and choose courses of action or answer questions. A mixture of mathematical and engineering solutions complete the task. The problem is that if the logic is too powerful then it can easily be tricked by asking it to consider paradox's such as "this sentence is false". However the logic must be powerful enough to describe the complex properties of objects. This isn't too much of a problem however since most of the information that will need to be expressed on the semantic web will be along the lines of "A 6" spanner is a type of wrench" which is easily written in existing languages with little extra vocabulary. 

There is a debate about how and indeed whether it will be possible to add a powerful logical language to the Semantic Web with many people believing that RDF lacks the power to quantify. However work continues to make A logical language possible. 

Previous chapter                                                                         Next chapter