Suggestion: new ROBOT report check for logical definitions without a genus

[matentzn]

I quite often see this:

A = R some C

This nearly always, if not always, points to an error. I suggest a new test:
Severity: WARN
Test:

PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>


SELECT DISTINCT ?entity ?property ?value ?y WHERE {
 ?entity owl:equivalentClass ?ec .
  ?ec rdf:type owl:Restriction .
  ?ec owl:someValuesFrom ?y .
  ?ec owl:onProperty ?property .
  FILTER (!isBlank(?entity))
  FILTER (!isBlank(?y))
  BIND("No genus in definition" as ?value)
ORDER BY ?entity

[matentzn]

Note to self, this would break all phenotype ontologies. maybe reconsider. Closing for now but will perhaps revisit

[matentzn]

Changed my mind. Will do this.