dead_simple_owl_design_patterns icon indicating copy to clipboard operation
dead_simple_owl_design_patterns copied to clipboard

Published 20 hours ago • verified publisher icon INCATools

Add keys for linking patterns (for QC & visualisation)

Open dosumis opened this issue 4 years ago • 0 comments

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

    • 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

dosumis avatar Jun 21 '21 17:06 dosumis