Permit multiple bodies for a given template
Allowing for multiple bodies allows the same signature to be expanded in different ways. This allows, e.g., a template to be expanded s.t. it is compatible with DOLCE, BFO, etc. Then during expansion process one can specify which upper ontology to use. Suggestion: this might be possible by having multiple sub-properties of ottr:pattern.
Allows for formalizing which upper ontology is used, i.e., it is explicit in a template if it is BFO compliant. This could allow for checking compliance of an ontology with an upper ontology: e.g., if the BFO flag is provided each instance must have a BFO pattern; if it doesn't raise a warning/error.
Can we support templates with the same signature but with different bodies (or a template with multiple bodies)? Motivation: one template with the same “abstract semantics”, but which may be implemented with different vocabularies/ontologies, e.g., metadata described using (1) RDFS only, or (2) Dublin core. Tasks: How to specify the different bodies? Suggest to name bodies with URIs, looking to XSLTs modes. How does expansion work? Issues:
Discussion: Identify and describe use cases. It may be that this is the wrong medicine. Use case: representing a statement in different vocabularies (ISO 15926/BFO, SKOS/DC) Use case: representing a statement in different equivalent logical forms (RDF triples vs. OWL axioms) Use case: translate to different OWL profiles (DL, QL, RL)