Conversation
Contributor
|
Would be great to see documentation on how this works with equiv axioms, and whether lists of length zero are supported. This could come as a later PR but ideally we could see it all working together |
|
Zero-length lists are supported in multi-clause statements (but not outside). SubClauses are dependent on a non-zero-length list in their parent clause. There is no special treatment for equivalentTo axioms. I can see that this is potentially dangerous, but in the end, this is just a dumb templating system. The same basic rules apply for multi-clause templating of any text field. I |
balhoff
approved these changes
Nov 3, 2021
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
In relation with #334, list (MultiValue) support added to multi_clause construct.
Now list_vars and data_list_vars can be used with clauses. This feature is supported in texts (def, comment, etc.), logical axioms and annotations. GCI (general class inclusion axioms) are not supported yet and not in short term plan.
Axioms supports " and ", " or " as separator and consecutively generates IntersectionOf and UnionOf constructs. When used with annotations, generates a separate axiom per list item.
Limitations (these restrictions are checked by https://github.com/INCATools/dead_simple_owl_design_patterns validator):
Example usage