<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://spinrdf.org/spin#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#">
<owl:AnnotationProperty rdf:about="http://spinrdf.org/spin#abstract">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
<rdfs:subPropertyOf rdf:resource="http://spinrdf.org/spin#systemProperty"/>
<rdfs:comment>Can be set to true to indicate that this module shall not be instantiated. Abstract modules are only there to organize other modules into hierarchies.</rdfs:comment>
<rdfs:label>abstract</rdfs:label>
<rdfs:domain rdf:resource="http://spinrdf.org/spin#Module"/>
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
</owl:AnnotationProperty>
</rdf:RDF>
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://spinrdf.org/spin#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#">
<owl:AnnotationProperty rdf:about="http://spinrdf.org/spin#abstract">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
<rdfs:subPropertyOf rdf:resource="http://spinrdf.org/spin#systemProperty"/>
<rdfs:comment>Can be set to true to indicate that this module shall not be instantiated. Abstract modules are only there to organize other modules into hierarchies.</rdfs:comment>
<rdfs:label>abstract</rdfs:label>
<rdfs:domain rdf:resource="http://spinrdf.org/spin#Module"/>
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
</owl:AnnotationProperty>
</rdf:RDF>