Sunday, June 20, 2004

The Semantic Web as a Language of Logic

An article by Tim Berners Lee in which he discusses the semantic web from the viewpoint of mathematical logic. The key thing to take away is that there's an inherent tension between expressiveness and manageability - the more we can say, the harder it is for us to be sure that what we say makes sense, or to say things within a reasonable timeframe; think of the difference between propositional logic and first-order logic.

This looks at the Semantic Web design in the light a little reading on formal logic, of the Access Limited Logic system, in particular, and in the light of logical languages in general.
I'll have quite a bit more to say about this later when I'm less pressed for time.

2 Comments:

Blogger harvir said...

Veryyyyyyyyy nice blog i kinda like it coz it got alot of information that can be useful for me very informative you go guys and one thing more i got a site that i prefer to everybody maybe you will like it to go have a look in your free timeBlack financial freedom man

October 6, 2005 at 3:20 PM  
Blogger lokokid said...

Hi i am totally blown away with the blogs people have created its so much fun to read alot of good info and you have also one of the best blogs !! Have some time check my link to !!Make fast easy money online

October 6, 2005 at 10:49 PM  

Post a Comment

<< Home