wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight" namespace { _"http://ip-super.org/ontologies/organisation/resont/v2.0.0#" /*, time _"http://ip-super.org/ontologies/time-ontology#", physq _"http://ip-super.org/ontologies/physical-quantities#"*/ , upo _"http://ip-super.org/ontologies/process/upo/v2.1.3#", dc _"http://purl.org/dc/elements/1.1#" , wsmostudio _"http://www.wsmostudio.org#" } ontology resont nonFunctionalProperties dc#title hasValue "SUPER Process Resource Ontology v2.0.0" dc#description hasValue "WSML-Flight ontology of the Process Resource Ontology for SUPER. This ontology can be used to describe abstract and tangible resources that are referred to in business process models and other knowledge representations about the process space of an enterprise. In particular, it can be used to relate required resources to individual activities in process models, so that one can reason about availability of those resources." dc#publisher hasValue "European FP6 Integrated Project SUPER" dc#subject hasValue {"process resource", "business resource"} dc#contributor hasValue { _"http://www.heppnetz.de", "Pierre Grenon" } dc#language hasValue "en-GB" dc#language hasValue "en-US" dc#date hasValue "$Date: 05/11/2008$" wsmostudio#version hasValue "0.7.3" endNonFunctionalProperties importsOntology { _"http://ip-super.org/ontologies/process/upo/v2.1.3#upo" } /* CONCEPT */ /* PROPERTYLIKE */ /* ROLE */ instance ConsumedModality memberOf upo#Modality instance DestroyedModality memberOf upo#Modality instance StructurallyModifiedModality memberOf upo#Modality instance PowerDepletedModality memberOf upo#Modality instance SharedModality memberOf upo#Modality instance UnsharedModality memberOf upo#Modality instance SharableModality memberOf upo#Modality instance UnsharableModality memberOf upo#Modality instance ReusableModality memberOf upo#Modality instance NonReusableModality memberOf upo#Modality concept TypeOfInputRole subConceptOf upo#TypeOfRole relationInstance typesofintputrolearetypesofinputrole isTypeOf ( TypeOfInputRole, upo#InputRole) concept ResourceRole subConceptOf upo#InputRole instance ResourceRole memberOf TypeOfInputRole axiom pdefresource definedBy ?r[upo#isRoleOf hasValue ?b] and ?r memberOf ResourceRole implies ?b memberOf upo#Resource. concept TypeOfResourceRole subConceptOf TypeOfInputRole relationInstance typesofresourcerolearetypesofresourcerole isTypeOf ( TypeOfResourceRole, ResourceRole ) concept TypeOfResourceRoleByRelevance subConceptOf TypeOfResourceRole concept PrimaryResource subConceptOf ResourceRole instance PrimaryResource memberOf TypeOfResourceRoleByRelevance concept SecondaryResource subConceptOf ResourceRole instance SecondaryResource memberOf TypeOfResourceRoleByRelevance concept TypeOfResourceRoleByUsage subConceptOf TypeOfResourceRole concept ConsumedResource subConceptOf ResourceRole instance ConsumedResource memberOf TypeOfResourceRoleByUsage axiom actdefconsumedresource definedBy upo#activityHasParticipantInRoleTypeWithModality (?a, ?p, ResourceRole, ConsumedModality) equivalent upo#activityHasParticipantInRoleType (?a, ?p, ConsumedResource). axiom evdefconsumedresource definedBy upo#activityHasParticipantInRoleType (?a, ?p, ConsumedResource) and upo#eventExemplifiesActivity (?e,?a) implies upo#eventHasParticipantInRoleTypeWithModality(?e, ?p, ConsumedResource, upo#Designed). concept PowerDepletedResource subConceptOf ConsumedResource instance PowerDepletedResource memberOf TypeOfResourceRoleByUsage axiom actdefpowerdepletedresource definedBy upo#activityHasParticipantInRoleTypeWithModality (?a, ?p, ResourceRole, PowerDepletedModality) equivalent upo#activityHasParticipantInRoleType (?a, ?p, PowerDepletedResource). axiom evdefpowerdepletedresource definedBy upo#activityHasParticipantInRoleType (?a, ?p, PowerDepletedResource) and upo#eventExemplifiesActivity (?e,?a) implies upo#eventHasParticipantInRoleTypeWithModality(?e, ?p, PowerDepletedResource, upo#Designed). concept StructurallyModifiedResource subConceptOf ConsumedResource instance StructurallyModifiedResource memberOf TypeOfResourceRoleByUsage axiom actdefstructurallymodifiedresource definedBy upo#activityHasParticipantInRoleTypeWithModality (?a, ?p, ResourceRole, StructurallyModifiedModality) equivalent upo#activityHasParticipantInRoleType (?a, ?p, StructurallyModifiedResource). axiom evdefstructurallymodifiedresource definedBy upo#activityHasParticipantInRoleType (?a, ?p, StructurallyModifiedResource) and upo#eventExemplifiesActivity (?e,?a) implies upo#eventHasParticipantInRoleTypeWithModality(?e, ?p, StructurallyModifiedResource, upo#Designed). concept DestroyedResource subConceptOf {ConsumedResource, NonReusableInput} instance DestroyedResource memberOf TypeOfResourceRoleByUsage axiom actdefdestroyedresource definedBy upo#activityHasParticipantInRoleTypeWithModality (?a, ?p, ResourceRole, DestroyedModality) equivalent upo#activityHasParticipantInRoleType (?a, ?p, DestroyedResource). axiom evdefdestroyedresource definedBy upo#activityHasParticipantInRoleType (?a, ?p, DestroyedResource) and upo#eventExemplifiesActivity (?e,?a) implies upo#eventHasParticipantInRoleTypeWithModality(?e, ?p, DestroyedResource, upo#Designed). /* Depleted */ relation activityCausesDepletionOfByQuantity ( ofType upo#BusinessActivity, ofType upo#Thing, ofType upo#Quantity) nonFunctionalProperties dc#description hasValue "activityCausesDepletionOfByQuantity(A,T,Q) means that T's pertaking in the execution of A causes T to lose some of its power in quantity Q. The nature of the power in question is embedded in the unit-dimension corresponding to Q." endNonFunctionalProperties relation eventCausesDepletionByQuantity ( ofType upo#Event, ofType upo#Thing, ofType upo#Quantity ) nonFunctionalProperties dc#description hasValue "eventCausesDepletionOfByQuantity(E,T,Q) means that T loses some of its power in quantity Q as a result of participanting in E. The nature of the power in question is embedded in the unit-dimension corresponding to Q." endNonFunctionalProperties /* Reuse */ concept TypeOfInputRoleByUsability subConceptOf TypeOfInputRole concept ReusableInput subConceptOf upo#InputRole instance ReusableInput memberOf TypeOfInputRoleByUsability concept NonReusableInput subConceptOf upo#InputRole instance NonReusableInput memberOf TypeOfInputRoleByUsability relation reusableFromActivityToActivity ( ofType upo#Thing, ofType upo#BusinessActivity, ofType upo#BusinessActivity) nonFunctionalProperties dc#description hasValue "reusableFromActivityToActivity(T, A1, A2) means that T is something that can be used in A1 and then also in A2." endNonFunctionalProperties relation reusableFromActivityToActivityInRoleType ( ofType upo#Thing, ofType upo#BusinessActivity, ofType upo#BusinessActivity, ofType upo#TypeOfRole) nonFunctionalProperties dc#description hasValue "reusableFromActivityToActivity(T, A1, A2, RT) means that T is something that can be used in A1 and then also in A2 while playing a role of the same type (see TypeOfRole) in A1 and A2." endNonFunctionalProperties axiom sufflowerreuseaafromrt definedBy reusableFromActivityToActivityInRoleType ( ?t, ?aa, ?ab, ?rt) implies reusableFromActivityToActivity ( ?t, ?aa, ?ab). axiom possiblereusewithuseispossibleuseactivities definedBy reusableFromActivityToActivityInRoleType ( ?t, ?aa, ?ab, ?rt) and upo#activityHasParticipantInRoleType (?aa, ?t, ?rt) implies upo#activityHasParticipantInRoleTypeWithModality (?ab, ?t, ?rt, upo#Possible). axiom reusableandusedarereusableinrtactivity definedBy reusableFromActivityToActivityInRoleType ( ?t, ?aa, ?ab, ?rt) and upo#activityHasParticipantInRoleType (?aa, ?t, ?rt) implies upo#activityHasParticipantInRoleTypeWithModality (?aa, ?t, ?rt, ReusableModality). axiom actdefreusableresource definedBy upo#activityHasParticipantInRoleTypeWithModality (?a, ?p, upo#InputRole, ReusableModality) equivalent upo#activityHasParticipantInRoleType (?a, ?p, ReusableInput). axiom actdefnonreusableresource definedBy upo#activityHasParticipantInRoleTypeWithModality (?a, ?p, upo#InputRole, NonReusableModality) equivalent upo#activityHasParticipantInRoleType (?a, ?p, NonReusableInput). /* too simplistic axiom reuseispossibleuseandtheother definedBy reusableFromActivityToActivityInRoleType ( ?t, ?aa, ?ab, ?rt) implies upo#activityHasParticipantInRoleTypeWithModality (?ab, ?t, ?rt, upo#Possible). */ relation resuableFromEventToEvent ( ofType upo#Thing, ofType upo#Event, ofType upo#Event ) relation resuableFromEventToEventInRoleType ( ofType upo#Thing, ofType upo#Event, ofType upo#Event, ofType upo#TypeOfRole ) /* Share */ concept TypeOfInputRoleBySharability subConceptOf TypeOfInputRole concept UnsharableInput subConceptOf upo#InputRole instance UnsharableInput memberOf TypeOfInputRoleBySharability concept SharableInput subConceptOf upo#InputRole instance SharableInput memberOf TypeOfInputRoleBySharability concept SharedInput subConceptOf upo#InputRole /*SharableInput*/ instance SharedInput memberOf TypeOfInputRoleBySharability concept UnsharedInput subConceptOf upo#InputRole instance UnsharedInput memberOf TypeOfInputRoleBySharability axiom defsharableinput definedBy upo#activityHasParticipantInRoleTypeWithModality (?a, ?p, SharedInput, upo#Possible) equivalent upo#activityHasParticipantInRoleType (?a, ?p, SharableInput). axiom defunsharableinput definedBy upo#activityHasParticipantInRoleTypeWithModality (?a, ?p, SharedInput, upo#Impossible) equivalent upo#activityHasParticipantInRoleType (?a, ?p, UnsharableInput). /* */ /* concept SupplierRole subConceptOf upo#Role axiom supplierssupply definedBy ?sa memberOf SupplyingActivity and ?sa[upo#doneBy ?ag] implies hasParticipantInRoleType(?sa,?ag, SupplierRole). */ concept SupplyingActivity subConceptOf upo#BusinessActivity actSuppliesType ofType upo#LooseTypeOfThing actSuppliesInMode ofType SupplyMode actHasSupplier ofType upo#Thing /* upo#Agent */ concept SupplyingEvent subConceptOf upo#Event evSuppliesType ofType upo#LooseTypeOfThing evSuppliesInMode ofType SupplyMode evHasSupplier ofType upo#Thing /* upo#Agent */ axiom transferacttoevsupptype definedBy ?ac[actSuppliesType hasValue ?ts] and upo#eventExemplifiesActivity(?ev,?ac) implies ?ev[evSuppliesType hasValue ?ts]. axiom transferacttoevsuppmode definedBy ?ac[actSuppliesInMode hasValue ?sm] and upo#eventExemplifiesActivity(?ev,?ac) implies ?ev[evSuppliesInMode hasValue ?sm]. axiom transferacttoevsupplier definedBy ?ac[actHasSupplier hasValue ?su] and upo#eventExemplifiesActivity(?ev,?ac) implies ?ev[evHasSupplier hasValue ?su]. concept SupplyMode subConceptOf upo#Modality instance ContinuousSupply memberOf SupplyMode instance DiscretizedSupply memberOf SupplyMode concept SupplyingElectricalPowerActivity subConceptOf SupplyingActivity concept SupplyingNetworkConnection subConceptOf SupplyingActivity concept SupplyingWater subConceptOf SupplyingActivity concept ElectricalPower subConceptOf upo#TemporalThing concept Water subConceptOf upo#TangibleThing concept NetworkConnection subConceptOf upo#TemporalThing axiom elecpowersupplyelecpower definedBy ?x memberOf SupplyingElectricalPowerActivity implies ?x[suppliesType hasValue ElectricalPower]. axiom watersupplywater definedBy ?x memberOf SupplyingWaterActivity implies ?x[suppliesType hasValue Water]. axiom netconsupplynetcon definedBy ?x memberOf SupplyingNetworkConnectionActivity implies ?x[suppliesType hasValue NetworkConnection]. axiom continuouspowersupply definedBy ?x memberOf SupplyingElectricalPowerActivity implies ?x[suppliesInMode hasValue ContinuousSupply]. axiom continuouswatersupply definedBy ?x memberOf SupplyingWaterActivity implies ?x[suppliesInMode hasValue ContinuousSupply]. axiom continousnetconsupply definedBy ?x memberOf SupplyingNetworkConnectionActivity implies ?x[suppliesMode hasValue ContinuousSupply]. /* Temporal, Tangible, and Intangible */ concept Machine subConceptOf upo#StrictlyTangibleThing nonFunctionalProperties dc#description hasValue "An instance of Machine is an apparatus of interrelated parts with separate functions." endNonFunctionalProperties concept MachineComponent subConceptOf upo#StrictlyTangibleThing nonFunctionalProperties dc#description hasValue "An instance of MachineComponent is an element of a Machine usually having a distinguished function within the machine." endNonFunctionalProperties concept MechanicalTool subConceptOf upo#StrictlyTangibleThing nonFunctionalProperties dc#description hasValue "An instance of MachinalTool is an implement for performing mechanical operations." endNonFunctionalProperties concept Document subConceptOf upo#TemporalThing nonFunctionalProperties dc#description hasValue "An instance of Document is a carrier of information." endNonFunctionalProperties /* hasContent ofType DocumentContent */ /* concept DocumentContent subConceptOf upo#IntangibleThing */ concept IntangibleDocument subConceptOf upo#IntangibleThing nonFunctionalProperties dc#description hasValue "An instance of IntangibleDocument is an intangible carrier of information, for example a PDF document." endNonFunctionalProperties concept TangibleDocument subConceptOf upo#TangibleThing nonFunctionalProperties dc#description hasValue "An instance of TangibleDocument is a tangible carrier of information, for example a printed document." endNonFunctionalProperties concept Data subConceptOf upo#IntangibleThing nonFunctionalProperties dc#description hasValue "An instance of Data is a body or collection of facts or information items." endNonFunctionalProperties concept Software subConceptOf upo#IntangibleThing nonFunctionalProperties dc#description hasValue "An instance of Software is a program for directing the operation of a computer or processing electronic data." endNonFunctionalProperties concept SoftwareAgent subConceptOf Software nonFunctionalProperties dc#description hasValue "An instance of SoftwareAgent is a program (see Software) for processing electronic data." endNonFunctionalProperties concept PatentDocument subConceptOf Document nonFunctionalProperties dc#description hasValue "An instance of PatentDocument is an instance of Document documenting a patent (see PatentRight)." endNonFunctionalProperties documentsPatent ofType PatentRight /* OLD PROPERTY RIGHTS REDO */ concept PropertyRight subConceptOf {upo#PropertyLike, upo#TemporalThing} isPropertyRightOf ofType upo#LegalAgent isPropertyRightOver ofType upo#Thing concept FullOwnership subConceptOf PropertyRight /* Could be a spec of all others as well concept FullOwnership subConceptOf {RightOfUse, RightOfBenefitRightOfUse, RightOfModification, RightOfDestruction, RightOfSale }*/ concept RightOfUse subConceptOf PropertyRight concept RightOfBenefit subConceptOf PropertyRight concept RightOfModification subConceptOf PropertyRight concept RightOfDestruction subConceptOf PropertyRight concept RightOfSale subConceptOf PropertyRight concept PatentRight subConceptOf PropertyRight nonFunctionalProperties dc#description hasValue "An instance of PatentRight is an exclusive right granted to an inventor to manufacture or sell her invention." endNonFunctionalProperties concept TypeOfPropertyRight subConceptOf upo#TypeOfPropertyLike nonFunctionalProperties dc#description hasValue "An instance of TypeOfPropertyRight is a designated subconcept of PropertyRight." endNonFunctionalProperties /* IsTypeOf ofType PropertyRight */ relationInstance typesofpropertyrightaretypesofpropertyright isTypeOf ( TypeOfPropertyRight, PropertyRight) instance PatentRight memberOf TypePropertyRight instance FullOwnership memberOf TypeOfPropertyRight instance RightOfUse memberOf TypeOfPropertyRight nonFunctionalProperties dc#description hasValue "Note: formerly PropertyRightUsus." endNonFunctionalProperties instance RightOfBenefit memberOf TypeOfPropertyRight nonFunctionalProperties dc#description hasValue "Note: " endNonFunctionalProperties instance RightOfModification memberOf TypeOfPropertyRight nonFunctionalProperties dc#description hasValue "Note: " endNonFunctionalProperties instance RightOfDestruction memberOf TypeOfPropertyRight instance RightOfSale memberOf TypeOfPropertyRight nonFunctionalProperties dc#description hasValue "Note: " endNonFunctionalProperties /* OLD RIGHTS TO INTEGRATE or ALIGN as subconcepts */ concept PropertyRightUsus subConceptOf PropertyRight concept PropertyRightUsusFructus subConceptOf PropertyRight concept PropertyRightAbusus subConceptOf PropertyRight concept PropertyRightIusAbutendi subConceptOf PropertyRight instance PropertyRightUsus memberOf TypeOfPropertyRight instance PropertyRightUsusFructus memberOf TypeOfPropertyRight instance PropertyRightAbusus memberOf TypeOfPropertyRight instance PropertyRightIusAbutendi memberOf TypeOfPropertyRight /* TODO Link property rights required to carry out activities and their exemplifications requiring resources with corresponding modal participation */ /* Agent Property-Right Thing */ relation agentHasPropertyRightOver ( ofType upo#Agent, ofType PropertyRight, ofType upo#Thing) nonFunctionalProperties dc#description hasValue "hasPropertyRightOver(A, PR, T) means that agent A has the property right PR (PropertyRight) over T. Note: the domain for the first argument, Agent, might be too generic and could narrowed to LegalAgent." endNonFunctionalProperties axiom hprotoattof definedBy hasPropertyRightOver ( ?ag, ?pr, ?t) implies ?pr[isPropertyRightOf hasValue ?ag]. axiom hprotoattover definedBy hasPropertyRightOver ( ?ag, ?pr, ?t) implies ?pr[isPropertyRightOver hasValue ?t]. /* Agent Type of Right Thing */ relation agentHasPropertyRightOfTypeOver ( ofType upo#Agent, ofType TypeOfPropertyRight, ofType upo#Thing) nonFunctionalProperties dc#relation hasValue "hasprtypesugarcoating" dc#description hasValue "hasPropertyRightOfTypeOver(a, prt, t) means that a, an instance of upo#Agent, has a property right of the type prt, an instance of TypeOfPropertyRight, over t, an instance of upo#Thing." endNonFunctionalProperties axiom hasprtypesugarcoatingsuff definedBy agentHasPropertyRightOver ( ?ag, ?pr, ?t) and ?pr memberOf ?prt and ?prt memberOf TypeOfPropertyRight implies agentHasPropertyRightOfTypeOver ( ?ag, ?prt, ?t). /* quantifier needed other way around */ /*relation hasPropertyRightOverWhen ( ofType upo#Agent, ofType PropertyRight, ofType upo#Thing, ofType upo#TimePosition) relation hasPropertyRightOfTypeOverWhen (ofType upo#Agent, ofType TypePropertyRight, ofType upo#Thing, ofType upo#TimePosition) */ relation agentHasPropertyRightTypeOverSomeType ( ofType upo#Agent, ofType TypeOfPropertyRight, ofType upo#TypeOfThing) nonFunctionalProperties dc#relation hasValue "pdefahprtotsome" dc#description hasValue "agentHasPropertyRightOfTypeOverSomeType(A, P, T) means that A, an instance of upo#Agent, has a property right of the type P, an instance of TypeOfPropertyRight, over some instances of T, an instance of upo#TypeOfThing. Note: Consider loosening to upo#LooseTypeOfThing so has to allow for any concept." endNonFunctionalProperties axiom pdefahprtotsome definedBy /*exists ?t */ agentHasPropertyRightTypeOver ( ?ag, ?prt, ?t) and ?t memberOf ?tt and ?tt memberOf TypeOfThing implies agentHasPropertyRightTypeOverSomeType ( ?ag, ?prt, ?tt). relation agentHasPropertyRightTypeOverAllType( ofType upo#Agent, ofType TypeOfPropertyRight, ofType upo#LooseTypeOfThing) nonFunctionalProperties dc#relation hasValue "pdefahprtotall1" dc#description hasValue "agentHasPropertyRightOfTypeOverAllType(A, P, T) means that A, an instance of upo#Agent, has a property right of the type P, an instance of TypeOfPropertyRight, over all instances of T, an instance of upo#LooseTypeOfThing (allowing for any concept to be in this argument position). This relation can be used to represent, for example, the fact that an icecream shop owns all the icecream in their fridge." endNonFunctionalProperties axiom pdefahprtotall1 definedBy agentHasPropertyRightTypeOverAllType(?ag,?prt,?tt) and ?t memberOf ?tt implies agentHasPropertyRightTypeOver(?ag,?prt,?t). relation agentHasPropertyRightTypeOverTypeInQuantity( ofType upo#Agent, ofType TypeOfPropertyRight, ofType upo#TypeOfThing, ofType upo#Quantity) nonFunctionalProperties dc#description hasValue "agentHasPropertyRightOfTypeOverTypeInQuantity(A, P, T, Q) means that A, an instance of upo#Agent, has a property right of the type P, an instance of TypeOfPropertyRight, over instances of T, an instance of upo#LooseTypeOfThing (allowing for any concept to be in this argument position) in quantity Q. This relation can be used to represent, for example, the fact that an icecream shop owns all the icecream in their fridge." endNonFunctionalProperties axiom agthasprtinquantityissome definedBy agentHasPropertyRightOfTypeOverTypeInQuantity(?ag, ?prt, ?tt, ?quant) implies agentHasPropertyRightOfTypeOverSomeType(?ag, ?prt, ?tt).