Changes in productservicesystem/ProductServiceSystem.rdf

Changed

Classes

ManufacturingResourceRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/ManufacturingResourceRole

Axioms

  • constr:ManufacturingResourceRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in_at_some_time .constr:ManufacturingProcess)
  • constr:ManufacturingResourceRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in .constr:ManufacturingProcess)

ProductFamily

  • IRI: https://spec.industrialontologies.org/ontology/construct/ProductFamily

Axioms

  • constr:ProductFamily ⊑ ∃ bfo:has_member_part_at_some_time .constr:ProductVariantSet
  • constr:ProductFamily ⊑ ∃ bfo:has_member_part .constr:ProductVariantSet

ProductFamilySpecification

  • IRI: https://spec.industrialontologies.org/ontology/construct/ProductFamilySpecification

Axioms

  • constr:ProductFamilySpecification ⊑ ∃ bfo:has_continuant_part_at_some_time .constr:ProductVariantSetSpecification
  • constr:ProductFamilySpecification ⊑ ∃ bfo:has_continuant_part .constr:ProductVariantSetSpecification

ProductServiceSystem

  • IRI: https://spec.industrialontologies.org/ontology/construct/ProductServiceSystem

Axioms

  • constr:ProductServiceSystem ⊑ ∃ bfo:has_member_part_at_some_time .(constr:Agent ⊔ constr:GroupOfAgents)
  • constr:ProductServiceSystem ⊑ ∃ bfo:has_member_part_at_some_time .constr:BusinessOrganization
  • constr:ProductServiceSystem ⊑ ∃ bfo:has_member_part_at_some_time .constr:MaterialProduct
  • constr:ProductServiceSystem ⊑ ∃ bfo:has_member_part .(constr:Agent ⊔ constr:GroupOfAgents)
  • constr:ProductServiceSystem ⊑ ∃ bfo:has_member_part .constr:BusinessOrganization
  • constr:ProductServiceSystem ⊑ ∃ bfo:has_member_part .constr:MaterialProduct

ProductProviderRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/ProductServiceSystem/ProductProviderRole

Axioms

  • _:ProductProviderRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ bfo:participates_in_at_some_time .(constr:BuyingBusinessProcess ⊔ constr:SupplyingBusinessProcess))
  • _:ProductProviderRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ bfo:participates_in .(constr:BuyingBusinessProcess ⊔ constr:SupplyingBusinessProcess))

ProductServiceSystemConsumerRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/ProductServiceSystemConsumerRole

Axioms

  • constr:ProductServiceSystemConsumerRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ bfo:participates_in_at_some_time .constr:ProductServiceSystemBusinessProcess)
  • constr:ProductServiceSystemConsumerRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ bfo:participates_in .constr:ProductServiceSystemBusinessProcess)

ProductServiceSystemProviderRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/ProductServiceSystemProviderRole

Axioms

  • constr:ProductServiceSystemProviderRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ bfo:participates_in_at_some_time .constr:ProductServiceSystemBusinessProcess)
  • constr:ProductServiceSystemProviderRole ⊑ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ bfo:participates_in .constr:ProductServiceSystemBusinessProcess)

ProductServiceSystemResourceRole

  • IRI: https://spec.industrialontologies.org/ontology/construct/ProductServiceSystemResourceRole

Axioms

  • constr:ProductServiceSystemResourceRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in_at_some_time .constr:ProductServiceSystemBusinessProcess)
  • constr:ProductServiceSystemResourceRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in .constr:ProductServiceSystemBusinessProcess)

ProductVariantSet

  • IRI: https://spec.industrialontologies.org/ontology/construct/ProductVariantSet

Axioms

  • constr:ProductVariantSet ⊑ ∃ bfo:has_member_part_at_some_time .constr:MaterialProduct
  • constr:ProductVariantSet ⊑ ∃ bfo:has_member_part .constr:MaterialProduct

ProductVariantSetSpecification

  • IRI: https://spec.industrialontologies.org/ontology/construct/ProductVariantSetSpecification

Axioms

  • constr:ProductVariantSetSpecification ⊑ ∃ bfo:has_continuant_part_at_some_time .constr:ProductDesignSpecification
  • constr:ProductVariantSetSpecification ⊑ ∃ bfo:has_continuant_part .constr:ProductDesignSpecification