Proposal for linking DOSDP patterns for QC/constraints (metamodelling) & for visualization of pattern relationships. Note: this does not mean inheritance of axioms.
parent/child relationship
Child patterns should have or extend the vars in the parent pattern.
Range of vars may be further restricted in the child pattern
disjoint_with: There should be no OWL class that 'conforms to' both the pattern and a pattern declared disjoint_with it. The meaning of 'conforms to' is not specified in dosdp tools (this is left to implementers to decide), but practically refers to matching via the DOSDP_tools query system matching only on EquivalentTo statements.
Keys to add:
parent_pattern: the pattern_name (better to use IRI?) of a single parent pattern.
disjoint_pattern: the pattern_name (better to use IRI?) of a single(?) disjoint pattern
STATUS: Draft
Proposal for linking DOSDP patterns for QC/constraints (metamodelling) & for visualization of pattern relationships. Note: this does not mean inheritance of axioms.
parent/child relationship
disjoint_with: There should be no OWL class that 'conforms to' both the pattern and a pattern declared disjoint_with it. The meaning of 'conforms to' is not specified in dosdp tools (this is left to implementers to decide), but practically refers to matching via the DOSDP_tools query system matching only on EquivalentTo statements.
Keys to add:
parent_pattern: the pattern_name (better to use IRI?) of a single parent pattern. disjoint_pattern: the pattern_name (better to use IRI?) of a single(?) disjoint pattern