N3Logic: A Logical Framework For the World Wide Web

Tim Berners-Lee Dan Connolly Lalana Kagal Yosi Scharf Jim Hendler

Published in: CoRR (2007)

Keyphrases

logical framework
inference rules
reasoning tasks
epistemic logic
belief revision
linear logic
higher order logic
normative systems
web pages
possibilistic logic
coalition logic
logic programming
image sequences
general purpose
multi dimensional