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

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

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