disconnected axioms

[VladimirAlexiev]

Starting at https://github.com/iofoundry/Core/blob/main/Core.rdf#L2412 there are 12 disconnected axioms, i.e. restrictions that are not attached to any class.

I found them by converting to Turtle, then sorting by paragraph. I find it much easier to read RDF in that way. Here they are:

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:ActionSpecification ;
  owl:intersectionOf  ( iof-core:InformationContentEntity
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:prescribes ;
                          owl:someValuesFrom  bfo:BFO_0000015
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:Algorithm ;
  owl:intersectionOf  ( iof-core:PlanSpecification
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:prescribes ;
                          owl:someValuesFrom  iof-core:ComputingProcess
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:Assembly ;
  owl:intersectionOf  ( iof-core:MaterialArtifact
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:isSpecifiedOutputOf ;
                          owl:someValuesFrom  iof-core:AssemblyProcess
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:CommercialServiceSpecification ;
  owl:intersectionOf  ( iof-core:PlanSpecification
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:prescribes ;
                          owl:someValuesFrom  iof-core:CommercialService
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:DesignSpecification ;
  owl:intersectionOf  ( iof-core:InformationContentEntity
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:prescribes ;
                          owl:someValuesFrom  bfo:BFO_0000002
                        ]
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:satisfies ;
                          owl:someValuesFrom  iof-core:RequirementSpecification
                        ]
                        [ rdf:type           owl:Restriction ;
                          owl:allValuesFrom  bfo:BFO_0000002 ;
                          owl:onProperty     iof-core:prescribes
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:InformationContentEntity ;
  owl:intersectionOf  ( bfo:BFO_0000031
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:isAbout ;
                          owl:someValuesFrom  bfo:BFO_0000001
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:MaterialComponent ;
  owl:intersectionOf  ( bfo:BFO_0000040
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:componentPartOfAtAllTimes ;
                          owl:someValuesFrom  bfo:BFO_0000040
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:MaterialComponentRole ;
  owl:intersectionOf  ( bfo:BFO_0000023
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:roleOf ;
                          owl:someValuesFrom  [ rdf:type            owl:Class ;
                                                owl:intersectionOf  ( bfo:BFO_0000040
                                                                      [ rdf:type            owl:Restriction ;
                                                                        owl:onProperty      iof-core:componentPartOfAtSomeTime ;
                                                                        owl:someValuesFrom  bfo:BFO_0000040
                                                                      ]
                                                                    )
                                              ]
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:ObjectiveSpecification ;
  owl:intersectionOf  ( iof-core:InformationContentEntity
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:prescribes ;
                          owl:someValuesFrom  [ rdf:type     owl:Class ;
                                                owl:unionOf  ( iof-core:Capability iof-core:ProcessCharacteristic
                                                               [ rdf:type            owl:Class ;
                                                                 owl:intersectionOf  ( bfo:BFO_0000002
                                                                                       [ rdf:type            owl:Restriction ;
                                                                                         owl:onProperty      iof-core:isOutputOf ;
                                                                                         owl:someValuesFrom  bfo:BFO_0000015
                                                                                       ]
                                                                                     )
                                                               ]
                                                             )
                                              ]
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:PlanSpecification ;
  owl:intersectionOf  ( iof-core:InformationContentEntity
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      bfo:BFO_0000110 ;
                          owl:someValuesFrom  iof-core:ActionSpecification
                        ]
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      bfo:BFO_0000110 ;
                          owl:someValuesFrom  iof-core:ObjectiveSpecification
                        ]
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:prescribes ;
                          owl:someValuesFrom  iof-core:PlannedProcess
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:RawMaterialRole ;
  owl:intersectionOf  ( bfo:BFO_0000023
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:roleOf ;
                          owl:someValuesFrom  [ rdf:type            owl:Class ;
                                                owl:intersectionOf  ( bfo:BFO_0000040
                                                                      [ rdf:type            owl:Restriction ;
                                                                        owl:onProperty      bfo:BFO_0000056 ;
                                                                        owl:someValuesFrom  [ rdf:type            owl:Class ;
                                                                                              owl:intersectionOf  ( iof-core:BuyingBusinessProcess
                                                                                                                    [ rdf:type            owl:Restriction ;
                                                                                                                      owl:onProperty      bfo:BFO_0000057 ;
                                                                                                                      owl:someValuesFrom  [ rdf:type            owl:Class ;
                                                                                                                                            owl:intersectionOf  ( iof-core:BusinessOrganization
                                                                                                                                                                  [ rdf:type            owl:Restriction ;
                                                                                                                                                                    owl:onProperty      iof-core:hasRole ;
                                                                                                                                                                    owl:someValuesFrom  iof-core:ManufacturerRole
                                                                                                                                                                  ]
                                                                                                                                                                )
                                                                                                                                          ]
                                                                                                                    ]
                                                                                                                  )
                                                                                            ]
                                                                      ]
                                                                      [ rdf:type            owl:Restriction ;
                                                                        owl:onProperty      bfo:BFO_0000177 ;
                                                                        owl:someValuesFrom  [ rdf:type            owl:Class ;
                                                                                              owl:intersectionOf  ( iof-core:MaterialProduct
                                                                                                                    [ rdf:type            owl:Restriction ;
                                                                                                                      owl:onProperty      iof-core:isOutputOf ;
                                                                                                                      owl:someValuesFrom  iof-core:ProductProductionProcess
                                                                                                                    ]
                                                                                                                  )
                                                                                            ]
                                                                      ]
                                                                      [ rdf:type            owl:Restriction ;
                                                                        owl:onProperty      iof-core:isInputOf ;
                                                                        owl:someValuesFrom  iof-core:ProductProductionProcess
                                                                      ]
                                                                    )
                                              ]
                        ]
                      )
] .

[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-core:RequirementSpecification ;
  owl:intersectionOf  ( iof-core:InformationContentEntity
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:satisfiedBy ;
                          owl:someValuesFrom  bfo:BFO_0000001
                        ]
                      )
] .