| act | <https://w3id.org/lcanet/activity#> |
| dc | <http://purl.org/dc/elements/1.1/> |
| dcterms | <http://purl.org/dc/terms/> |
| owl | <http://www.w3.org/2002/07/owl#> |
| rdf | <http://www.w3.org/1999/02/22-rdf-syntax-ns#> |
| rdfs | <http://www.w3.org/2000/01/rdf-schema#> |
| swrl | <http://www.w3.org/2003/11/swrl#> |
| swrla | <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#> |
| swrlb | <http://www.w3.org/2003/11/swrlb#> |
| vann | <http://purl.org/vocab/vann/> |
| xml | <http://www.w3.org/XML/1998/namespace> |
| xsd | <http://www.w3.org/2001/XMLSchema#> |
IRI: https://w3id.org/lcanet/activity#Activity
IRI: https://w3id.org/lcanet/activity#ActivityTag
IRI: https://w3id.org/lcanet/activity#Biosphere
IRI: https://w3id.org/lcanet/activity#ComposedActivity
IRI: https://w3id.org/lcanet/activity#ElementaryFlow
IRI: https://w3id.org/lcanet/activity#EmissionFlow
IRI: https://w3id.org/lcanet/activity#EnvironemntalType
IRI: https://w3id.org/lcanet/activity#Flow
IRI: https://w3id.org/lcanet/activity#FlowTag
IRI: https://w3id.org/lcanet/activity#IntermediateFlow
IRI: https://w3id.org/lcanet/activity#ProductFlow
IRI: https://w3id.org/lcanet/activity#ResourceFlow
IRI: https://w3id.org/lcanet/activity#SequencedActivity
IRI: https://w3id.org/lcanet/activity#Technosphere
IRI: https://w3id.org/lcanet/activity#WasteFlow
IRI: https://w3id.org/lcanet/activity#connected
IRI: https://w3id.org/lcanet/activity#hasActivityPart
IRI: https://w3id.org/lcanet/activity#hasActivityTag
has characteristics: asymmetric, irreflexive
IRI: https://w3id.org/lcanet/activity#hasEndActivity
has characteristics: asymmetric, irreflexive
IRI: https://w3id.org/lcanet/activity#hasEnvironmentalType
IRI: https://w3id.org/lcanet/activity#hasFlowTag
IRI: https://w3id.org/lcanet/activity#hasInputFlow
IRI: https://w3id.org/lcanet/activity#hasInputProduct
IRI: https://w3id.org/lcanet/activity#hasOutputFlow
IRI: https://w3id.org/lcanet/activity#hasOutputProduct
IRI: https://w3id.org/lcanet/activity#hasStartActivity
has characteristics: asymmetric, irreflexive
IRI: https://w3id.org/lcanet/activity#isEndActivityOf
IRI: https://w3id.org/lcanet/activity#isInputFlowOf
IRI: https://w3id.org/lcanet/activity#isInputProductOf
IRI: https://w3id.org/lcanet/activity#isOutputFlowOf
IRI: https://w3id.org/lcanet/activity#isOutputProductOf
IRI: https://w3id.org/lcanet/activity#isPartOfActivity
IRI: https://w3id.org/lcanet/activity#isStartActivityOf
IRI: http://purl.org/dc/terms/creator
IRI: http://purl.org/dc/terms/date
IRI: http://purl.org/dc/elements/1.1/description
IRI: http://purl.org/dc/terms/description
IRI: https://w3id.org/lcanet/activity#Exchange_Percentage
IRI: http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled
IRI: http://purl.org/dc/terms/issued
IRI: http://purl.org/dc/terms/license
IRI: http://purl.org/vocab/vann/preferredNamespacePrefix
IRI: http://purl.org/vocab/vann/preferredNamespaceUri
IRI: http://purl.org/dc/terms/publisher
IRI: http://purl.org/dc/terms/title
has Input Flow op(?x,?f) -> Flow c(?f)
has Output Flow op(?x,?f) -> Flow c(?f)
for any flow type: emission (resources) or intermediate flows
Flow c(?f) , Sequenced Activity c(?a) , has Activity Part op(?a,?b) , is Input Flow Of op(?f,?b) , Activity c(?b) -> is Input Flow Of op(?f,?a)
for any flow type: elementary (resources) or intermediate flows
Composed Activity c(?a) , Flow c(?f) , has Activity Part op(?a,?b) , is Input Flow Of op(?f,?b) , Activity c(?b) -> is Input Flow Of op(?f,?a)
Composed Activity c(?a) , Flow c(?f) , has Activity Part op(?a,?b) , is Input Product Of op(?f,?b) , Activity c(?b) -> is Input Product Of op(?f,?a)
Flow c(?f) , Sequenced Activity c(?a) , is Input Product Of op(?f,?b) , Activity c(?b) , has Start Activity op(?a,?b) -> is Input Product Of op(?f,?a)
for any flow type: elementary (emissions) or intermediate flows
Composed Activity c(?a) , Flow c(?f) , has Activity Part op(?a,?b) , is Output Flow Of op(?f,?b) , Activity c(?b) -> is Output Flow Of op(?f,?a)
for any flow type: elementary (emissions) or intermediate flows
Flow c(?f) , Sequenced Activity c(?a) , has Activity Part op(?a,?b) , is Output Flow Of op(?f,?b) , Activity c(?b) -> is Output Flow Of op(?f,?a)
Composed Activity c(?a) , Flow c(?f) , has Activity Part op(?a,?b) , is Output Product Of op(?f,?b) , Activity c(?b) -> is Output Product Of op(?f,?a)
has End Activity op(?a,?b) , Flow c(?f) , Sequenced Activity c(?a) , is Output Product Of op(?f,?b) , Activity c(?b) -> is Output Product Of op(?f,?a)
The obligation of writing it as a rule comes from the fact that asserting Tans(has_Part_Activity) makes the property non-simple yileding in several estrictions on its usage, including cardinality restrictions which appears in the Composed_Activity class.
has Activity Part op(?,?) , has Activity Part op(?,?) -> has Activity Part op(?,?)
The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.