N3Logic: A logical framework for the World Wide Web.

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

Published in: Theory Pract. Log. Program. (2008)

Keyphrases

case based reasoning
logical framework
inference rules
epistemic logic
belief revision
reasoning tasks
higher order logic
normative systems
web pages
linear logic
coalition logic
possibilistic logic
decision making
programming language
logic programming
temporal information