Tim Berners-Lee Dan Connolly Lalana Kagal Yosi Scharf Jim Hendler N3Logic: A Logical Framework For the World Wide Web http://arxiv.org/abs/0711.1533 2007 CoRR abs/0711.1533 db/journals/corr/corr0711.html#abs-0711-1533 informal publication