search

iofoundry / ontology

MIT License
31 stars 12 forks source link

Maintenance: 2 disconnected restrictions #86

Open VladimirAlexiev opened 1 month ago

VladimirAlexiev commented 1 month ago

These restrictions are disconnected and so they have no effect:

https://github.com/VladimirAlexiev/iof-ontology/blob/8f99741b4bb76f022a828e4466c965c869a025cc/maintenance/Maintenance.rdf#L553-L574

They look like thsi in turtle:


[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-maint:MaintenanceProcess ;
  owl:intersectionOf  ( iof-core:PlannedProcess
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:prescribedBy ;
                          owl:someValuesFrom  iof-maint:MaintenanceStrategy
                        ]
                      )
] .
[ rdf:type            owl:Class ;
  rdfs:subClassOf     iof-maint:MaintenanceStrategy ;
  owl:intersectionOf  ( iof-core:PlanSpecification
                        [ rdf:type            owl:Restriction ;
                          owl:onProperty      iof-core:prescribes ;
                          owl:someValuesFrom  iof-maint:MaintenanceProcess
                        ]
                      )
] .
mhodki commented 1 month ago

We have started to have a look at this.