Demonstration of semantic and inter-input constraints on software in OWL 2 and SPARQL for fulfilling the M1 Machine FAIR Use Case

<p>This video demonstrates using hypothetical examples how to (1) find a valid dataset for input into a software using OWL 2 classification inference, (2) &nbsp;validly combine two software using OWL 2 subsumption inference to infer that the output of software 1 is valid input to software 2, and (3) combine OWL 2 inference with a SPARQL query to find two datasets that satisfy &nbsp;a software's inter-input constraints.</p>