... no Father is his own Father (nonreflexive). If X is the Father _of Y, Y is not the Father _of X (antisymmetric), though of course if X isa Father and the Father _of Y, Y can be a Father.There ... con-straints, and rules. But then, the purpose of an ontology is quite distinct fromthat of a thesaurus. An ontology does try to capture and represent the meaning of a domain, a set of domains, or the ... working in the Semantic Web turn their focus to the so-called web of proof and trust, pragmatic issueswill become much more important, and one could then categorize that level as the Pragmatic Web. ...