16:17, 31 July 2009 (diff | hist) . .(+1,340) . . N Submissions:DisjointnessOfComplement (DOC) (New page: {{Logical_OP_Proposal_toolbar}} {{Include Image}} {{Logical OP General Template |Name=DisjointnessOfComplement (DOC) |SubmittedBy=Catherine Roussey, Oscar Corcho, }} {{Logical OP Descript...)
15:34, 31 July 2009 (diff | hist) . .(+339) . . N Submissions:OnlynessIsLoneliness (OIL) (The ontology developer created a universal restriction to say that C1 instances can only be linked with property R to C2 instances. Next, a new universal restriction is added saying that C1 instances)