count-software-with-input-format.rq

prefix obo: <http://purl.obolibrary.org/obo/>
prefix dc: <http://purl.org/dc/elements/1.1/>

select (count (distinct ?x) as ?numberSoftwareWithInputFormat) 
from <http://www.pitt.edu/obc/ide/apollo-sv>
from <http://www.pitt.edu/obc/ide/classes-and-indexing-instances>
from <http://www.pitt.edu/obc/ide/article-instances>
from <http://www.pitt.edu/obc/ide/article-deleted-instances>
from <http://ide.obc.io/auth>
from <http://www.pitt.edu/obc/mdc/content>
where {
  ?x rdf:type ?softwareOrSubclass .
  ?softwareOrSubclass rdfs:subClassOf* obo:IAO_0000010 .
 
  ?v rdf:type obo:APOLLO_SV_00000525 .  #v is executable
  ?u rdf:type obo:APOLLO_SV_00000524 .  #u is compiling
  ?u obo:OBI_0000293 ?x .               #compiling has source code as input
  ?u obo:OBI_0000299 ?v .               #compiling has executable as output
  ?parsingPlan obo:BFO_0000050 ?v .		 #data parsing plan spec part of executable
  ?dataParsing obo:OBI_0000417 ?parsingPlan . #parsing achieves parsing plan objective
  ?dataParsing obo:OBI_0000417 ?inputSpec .  #parsing achieves spec objective
  ?dataParsing rdf:type obo:APOLLO_SV_00000566 . #parsing individual is instance of parsing
  ?inputSpec rdf:type obo:IAO_0000098 .
  #filter out punned individuals
     FILTER ( ?x != obo:IAO_0000010 )
     FILTER ( ?x != ?softwareOrSubclass )
     FILTER ( ?softwareOrSubclass != obo:APOLLO_SV_00000525 )
}