@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix ns0: <http://purl.org/dc/elements/1.1/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

<http://semanticscience.org/resource/SIO_000315>
    rdfs:label "functional specification"@en .

<http://semanticscience.org/resource/SIO_000621>
    ns0:identifier "SIO_000621" ;
    dc:description "A formal specification is a mathematical description of software or hardware that may be used to develop an implementation."@en ;
    dc:identifier "SIO:000621" ;
    a owl:Class ;
    rdfs:isDefinedBy <http://semanticscience.org/ontology/sio.owl> ;
    rdfs:label "formal specification"@en ;
    rdfs:subClassOf <http://semanticscience.org/resource/SIO_000315> ;
    owl:EquivalentClass <http://semanticscience.org/resource/formal-specification> .

<http://semanticscience.org/resource/SIO_000621.rdf>
    dc:subject <http://semanticscience.org/resource/SIO_000621> ;
    a owl:Ontology ;
    rdfs:label "Summary document for SIO_000621" ;
    owl:imports <http://semanticscience.org/ontology/sio.owl> .

<http://semanticscience.org/resource/SIO_001080>
    rdfs:label "vocabulary"@en ;
    rdfs:subClassOf <http://semanticscience.org/resource/SIO_000621> .

<http://semanticscience.org/resource/SIO_001391>
    rdfs:label "ontology"@en ;
    rdfs:subClassOf <http://semanticscience.org/resource/SIO_000621> .

<http://semanticscience.org/resource/formal-specification>
    owl:EquivalentClass <http://semanticscience.org/resource/SIO_000621> .