Version 1 (modified by onnopaap, 13 years ago)

--

Base Template ClassificationOfClassOfRelationship


This is a template for classifying relations.

ClassificationOfClassOfRelationship(a, b) means that a is a relation and b a class of relations,
and that a is a member of b.

Roles:
1 hasClass ClassOfRelationship
2 hasClassClassifier ClassOfClassOfRelationship

Axiom:

ClassificationOfClassOfRelationship(x1, x2) <-> 
ClassOfRelationship(x1) & 
ClassOfClassOfRelationship(x2) & 
ClassificationOfClass(x1, x2) . 

NOTE This template is a specialised version of ClassificationOfClass, with the added restriction that the first argument is a relation (a ClassOfRelationship), and the second argument is a class of relations (a ClassOfClassOfRelationship).

Home
About PCA
Reference Data Services
Projects
Workgroups