Base Template ClassifiedDescription


This is a template for typed description of things.

ClassifiedDescription(a, b, c) means that b is a string (or any ClassOfInformationRepresentation) and c a type of description assignment, and that b is a c-type description for a.

Roles:
1 hasObject Thing
2 hasDescription ClassOfInformationRepresentation
3 hasContext ClassOfClassOfDescription

Axiom:

ClassifiedDescription(x1, x2, x3) <-> 
Thing(x1) & 
ClassOfInformationRepresentation(x2) & 
ClassOfClassOfDescription(x3) & 
exists u(ClassOfDescriptionTriple(u, x2, x1) & 
ClassificationTemplate(u, x3)) . 

EXAMPLE The statement ClassifiedDescription(Activity123,'DELIVERY OF 3TQ10W01', XYZ Company Activity Description)

Home
About PCA
Reference Data Services
Projects
Workgroups