wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://www.heppnetz.de/ontologies/pro#",
  dc _"http://purl.org/dc/elements/1.1#",
  wsml _"http://www.wsmo.org/wsml/wsml-syntax#",
  upo _"http://www.ip-super.org/ontologies/UPO/20070620#", 
  bfo _"http://www.ip-super.org/ontologies/BFO/20070831#"}

ontology _"http://www.heppnetz.de/ontologies/resont"
  nonFunctionalProperties 
    dc#title hasValue "SUPER Process Resources Ontology"
    dc#description hasValue "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.
Written by Martin Hepp, http://www.heppnetz.de" 
    dc#contributor hasValue { _"http://www.heppnetz.de" } 
    dc#language hasValue "en-US" 
    wsml#version hasValue "$Revision: 1.0 $"
  endNonFunctionalProperties

importsOntology _"http://www.ip-super.org/ontologies/BFO/20070831#"

concept Activity subConceptOf bfo#Function

concept Entity
relation requiresAsResource (ofType Activity, ofType Object, ofType TypeOfPropertyRight, ofType _boolean) 

concept Object 
 	concept TangibleObject subConceptOf Object 

concept Machine subConceptOf TangibleObject

concept Tool subConceptOf TangibleObject

concept System subConceptOf TangibleObject

concept Infrastructure subConceptOf TangibleObject 

concept Component subConceptOf TangibleObject

concept Accessory subConceptOf TangibleObject

concept IntangibleResourceOrRight subConceptOf Object

concept Software subConceptOf IntangibleResourceOrRight

concept DataOrKnowledgeAsset subConceptOf IntangibleResourceOrRight

concept Patent subConceptOf IntangibleResourceOrRight

concept Document subConceptOf IntangibleResourceOrRight

concept Service subConceptOf Object

concept ContinuousSupply subConceptOf Service
	concept Water subConceptOf ContinuousSupply
	concept PowerSupply subConceptOf ContinuousSupply

concept NetworkConnection subConceptOf ContinuousSupply

concept TypeOfPropertyRight

instance PropertyRightUsus memberOf TypeOfPropertyRight
instance PropertyRightUsusFructus memberOf TypeOfPropertyRight
instance PropertyRightAbusus memberOf TypeOfPropertyRight
instance PropertyRightIusAbutendi memberOf TypeOfPropertyRight

relation hasPropertyRightOnObject (ofType Entity, ofType Object, ofType TypeOfPropertyRight)