Unique Name Assumption: Ontology (computer science), Description Logic, Closed World Assumption

Closed World Assumption: Formal Logic, Open Assumption, Raymond Reiter

Default Logic: Non Monotonic Logic, Raymond Reiter, Closed World Assumption

Open World Assumption: Formal Logic, Truth Value, Statement (logic)

Weak Ontology: Ontology (Computer Science), Ontology, Mathematics, Boolean Logic, Computer Science, Artificial Intelligence