Open johanwk opened 7 months ago
Annotations and restrictions are added in description lists.
A single typo will produce an invalid OWL file.
Write a function that checks the file before tangling to ontology: that every description term is
annotation-property-hierarchy
elot-omn-property-keywords
If errors are found, place point at the first error. List the errors in a message. Consider using highlighting to make the errors easy to find.
Annotations and restrictions are added in description lists.
A single typo will produce an invalid OWL file.
Write a function that checks the file before tangling to ontology: that every description term is
annotation-property-hierarchy
elot-omn-property-keywords
If errors are found, place point at the first error. List the errors in a message. Consider using highlighting to make the errors easy to find.