FAQ by WuJiewen.com

ID #1019

Why reasoning on the Semantic Web must be monotonic?

There are intriguing discussions on this question by various computer scientists. A knowledge about the closed world assumption and epistemic operator may be helpful.

Tags: logic

Related entries:

• What are the commonly seen Latin words/phrases etc. in technical papers?
• Difference between implication and entailment (logical implication)?

You can comment this FAQ