pm#ontology  a set of categories, and definitions or axioms about these categories
  supertype:  structured_ADT__structured_abstract_data_type
  part:  category_identifier  category_definition
  equal:  ontology (pm)
  subtype:  Dolce_version__Dolce  a version of the Dolce ontology
     subtype:  dolce_full__dolcefull__Dolce  a full version of Dolce
     subtype:  Dolce_lite__dl  a restricted version of Dolce that can be expressed in OWL DL

1 schema is about ontology
[graph1_on_ontology
     [any ontology (^$(no inheritance)$^),
          may have for member: several category_identifier,
          may have for member: several category_definition,
          result of: a creation,
          may have for creator: a person,
          may have for url: a URL]
];

No  statement uses a specialization of ontology; click here to add a statement.