# Saved by TopBraid on Wed Feb 02 20:45:58 CET 2011
# baseURI: http://www.bimtoolset.org/ontologies/bim.ttl
# imports: http://www.bimtoolset.org/ontologies/ob.ttl
# imports: http://www.bimtoolset.org/ontologies/mm.ttl

@prefix :        <http://www.bimtoolset.org/ontologies/bim.ttl#> .
@prefix ob:      <http://www.bimtoolset.org/ontologies/ob.ttl#> .
@prefix mm:      <http://www.bimtoolset.org/ontologies/mm.ttl#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .

<http://www.bimtoolset.org/ontologies/bim.ttl>
      rdf:type owl:Ontology ;
      owl:versionInfo "Created with TopBraid Composer"^^xsd:string .

:AfsluitbareToegang_1
      rdf:type ob:AfsluitbareToegang ;
      mm:individualDecomposition
              :Toegang_1 ;
      mm:individualDecomposition
              :Afsluiting_1 .

:Toegang_1
      rdf:type ob:Toegang .

:Afsluiting_1
      rdf:type ob:Afsluiting .

:Deur_1
      rdf:type :Deur ;
      mm:individualDecomposition
              :DeurBlad_1 ;
      mm:individualDecomposition
              :Slot_1 ;
      mm:individualFulfillment
              :IndividualFulfillment_1 ;
      mm:individualStatus
              "actual"^^xsd:string .

:DeurBlad_1
      rdf:type :DeurBlad ;
      mm:individualFulfillment
              :IndividualFulfillment_2 ;
      :dikte "350"^^xsd:string .

:Slot_1
      rdf:type :Slot ;
      mm:individualFulfillment
              :IndividualFulfillment_3 ;
      mm:individualStatus
              "required"^^xsd:string ;
      ob:veiligheidsKlasse "B OR C"^^xsd:string .

:IndividualFulfillment_1
      rdf:type mm:IndividualFulfillment ;
      mm:individualForFunction :AfsluitbareToegang_1 ;
      mm:reliabilityInHour "10000"^^xsd:float ;
      mm:maintainabilityInHour "8"^^xsd:float ;
      mm:availabilityInPercentage "0.999"^^xsd:float .
      
:IndividualFulfillment_2
      rdf:type mm:IndividualFulfillment ;
      mm:individualForFunction :Toegang_1 ;
      mm:reliabilityInHour "10000"^^xsd:float ;
      mm:maintainabilityInHour "8"^^xsd:float ;
      mm:availabilityInPercentage "0.999"^^xsd:float .

:IndividualFulfillment_3
      rdf:type mm:IndividualFulfillment ;
      mm:individualForFunction :Afsluiting_1 ;
      mm:reliabilityInHour "10000"^^xsd:float ;
      mm:maintainabilityInHour "8"^^xsd:float ;
      mm:availabilityInPercentage "0.999"^^xsd:float .