1 xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:sto="http://vistology.com/ont/2009/especs/STO.owl#" xmlns:stox="http://vistology.com/ont/2009/especs/STOExtension.owl#" xmlns:bgk="http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#" xmlns:s0="http://vistology.com/ont/2009/especs/S0.owl#" xmlns:s3="http://vistology.com/ont/2009/especs/S3.owl#" AccidentUpdateVehicleRule1 <triple> <subject variable="EventA"/> <predicate resource="rdf:type"/> <object resource="sto:Event"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind1"/> </triple> <triple> <subject variable="Ind1"/> <predicate resource="rdf:type"/> <object resource="bgk:Bridge"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind2"/> </triple> <triple> <subject variable="Ind2"/> <predicate resource="rdf:type"/> <object resource="bgk:Accident"/> </triple> <triple> <subject variable="Ind2"/> <predicate resource="bgk:cleared"/> <object resource="sto:_0"/> </triple> <triple> <subject variable="Ind2"/> <predicate resource="bgk:blockedLanes"/> <object variable="Num"/> </triple> <triple> <subject variable="Num"/> <predicate resource="rdf:type"/> <object variable="NumClass"/> </triple> <notEquals><NumClass/><param resource="rdfs:Resource"/></notEquals> <triple> <subject variable="Ind2"/> <predicate resource="bgk:participant"/> <object variable="Ind3"/> </triple> <triple> <subject variable="Ind1"/> <predicate resource="bgk:isPlaceOf"/> <object variable="Ind2"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantRelation"/> <object resource="bgk:isPlaceOf"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantRelation"/> <object resource="bgk:participant"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind3"/> </triple> <triple> <subject variable="Ind3"/> <predicate resource="rdf:type"/> <object variable="Ind3Type"/> </triple> <triple> <subject variable="Ind3Type"/> <predicate resource="rdfs:subClassOf"/> <object resource="bgk:Vehicle"/> </triple> <triple> <subject variable="FS"/> <predicate resource="rdf:type"/> <object resource="s3:PartialClosure"/> </triple> <triple> <subject variable="FS"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind4"/> </triple> <triple> <subject variable="Ind4"/> <predicate resource="rdf:type"/> <object resource="bgk:Bridge"/> </triple> <triple> <subject variable="FS"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind5"/> </triple> <triple> <subject variable="Ind5"/> <predicate resource="rdf:type"/> <object resource="bgk:Accident"/> </triple> <triple> <subject variable="Ind5"/> <predicate resource="bgk:blockedLanes"/> <object variable="Num2"/> </triple> <triple> <subject variable="Num2"/> <predicate resource="rdf:type"/> <object variable="Num2Class"/> </triple> <equals><NumClass/><Num2Class/></equals> <triple> <subject variable="FS"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind6"/> </triple> <triple> <subject variable="Ind6"/> <predicate resource="owl:sameAs"/> <object variable="Ind3"/> </triple> <triple> <subject variable="Ind1"/> <predicate resource="owl:sameAs"/> <object variable="Ind4"/> </triple> <triple> <subject variable="Ind1"/> <predicate resource="stox:hasUniqueAttribute"/> <object variable="Ind1Att"/> </triple> <triple> <subject variable="Ind1Att"/> <predicate resource="rdf:type"/> <object resource="stox:UniqueLocation"/> </triple> <triple> <subject variable="Ind1Att"/> <predicate resource="stox:hasUniqueAttributeValue"/> <object variable="Ind1AttVal"/> </triple> <triple> <subject variable="Ind1AttVal"/> <predicate resource="rdf:type"/> <object resource="stox:UniqueValue"/> </triple> <triple> <subject variable="Ind1AttVal"/> <predicate resource="stox:uniqueAttributeValue"/> <object variable="val"/> </triple> <triple> <subject variable="val"/> <predicate resource="rdf:type"/> <object variable="ValueClass"/> </triple> <notEquals><ValueClass/><param resource="rdfs:Resource"/></notEquals> <println>Transition: http://vistology.com/ont/2009/especs/S3.owl#PartialClosure to http://vistology.com/ont/2009/especs/S3.owl#PartialClosure</println> <println>FS: <FS/> s3:PartialClosure</println> <println>add: <Ind2/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#Accident</println> <println>add: <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#cleared http://vistology.com/ont/2009/especs/STO.owl#_0</println> <println>add: <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#blockedLanes <Num/></println> <println>rewrite: <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#blockedLanes <Num/> to <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#blockedLanes <Num2/></println> <println>add: <Num/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type <NumClass/></println> <println>rewrite: <Num/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type <NumClass/> to <Num2/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type <Num2Class/></println> <println>add: <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#participant <Ind3/></println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantRelation http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#isPlaceOf</println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantIndividual <Ind1/></println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantIndividual <Ind2/></println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantIndividual <Ind3/></println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantRelation http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#participant</println> <println>add: <Ind1/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#isPlaceOf <Ind2/></println> <println>add: <Ind1/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#Bridge</println> <println>add: <Ind1/> http://vistology.com/ont/2009/especs/STOExtension.owl#hasUniqueAttribute <Ind1Att/></println> <println>add: <Ind1Att/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/STOExtension.owl#UniqueLocation</println> <println>add: <Ind1Att/> http://vistology.com/ont/2009/especs/STOExtension.owl#hasUniqueAttributeValue <Ind1AttVal/></println> <println>add: <Ind1AttVal/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/STOExtension.owl#UniqueValue</println> <println>add: <Ind1AttVal/> http://vistology.com/ont/2009/especs/STOExtension.owl#uniqueAttributeValue <val/></println> <println>add: <val/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2001/XMLSchema#string</println> <println>add: <FS/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/STO.owl#FocalSituation</println> <println>add: <Ind3/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type <Ind3Type/></println> xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:sto="http://vistology.com/ont/2009/especs/STO.owl#" xmlns:stox="http://vistology.com/ont/2009/especs/STOExtension.owl#" xmlns:bgk="http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#" xmlns:s0="http://vistology.com/ont/2009/especs/S0.owl#" xmlns:s3="http://vistology.com/ont/2009/especs/S3.owl#" AccidentUpdatePersonRule2 <triple> <subject variable="EventA"/> <predicate resource="rdf:type"/> <object resource="sto:Event"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind1"/> </triple> <triple> <subject variable="Ind1"/> <predicate resource="rdf:type"/> <object resource="bgk:Bridge"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind2"/> </triple> <triple> <subject variable="Ind2"/> <predicate resource="rdf:type"/> <object resource="bgk:Accident"/> </triple> <triple> <subject variable="Ind2"/> <predicate resource="bgk:cleared"/> <object resource="sto:_0"/> </triple> <triple> <subject variable="Ind2"/> <predicate resource="bgk:blockedLanes"/> <object variable="Num"/> </triple> <triple> <subject variable="Num"/> <predicate resource="rdf:type"/> <object variable="NumClass"/> </triple> <notEquals><NumClass/><param resource="rdfs:Resource"/></notEquals> <triple> <subject variable="Ind2"/> <predicate resource="bgk:participant"/> <object variable="Ind3"/> </triple> <triple> <subject variable="Ind1"/> <predicate resource="bgk:isPlaceOf"/> <object variable="Ind2"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantRelation"/> <object resource="bgk:isPlaceOf"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantRelation"/> <object resource="bgk:participant"/> </triple> <triple> <subject variable="EventA"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind3"/> </triple> <triple> <subject variable="Ind3"/> <predicate resource="rdf:type"/> <object resource="bgk:Person"/> </triple> <triple> <subject variable="FS"/> <predicate resource="rdf:type"/> <object resource="s3:PartialClosure"/> </triple> <triple> <subject variable="FS"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind4"/> </triple> <triple> <subject variable="Ind4"/> <predicate resource="rdf:type"/> <object resource="bgk:Bridge"/> </triple> <triple> <subject variable="FS"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind5"/> </triple> <triple> <subject variable="Ind5"/> <predicate resource="rdf:type"/> <object resource="bgk:Accident"/> </triple> <triple> <subject variable="Ind5"/> <predicate resource="bgk:blockedLanes"/> <object variable="Num2"/> </triple> <triple> <subject variable="Num2"/> <predicate resource="rdf:type"/> <object variable="Num2Class"/> </triple> <equals><NumClass/><Num2Class/></equals> <triple> <subject variable="FS"/> <predicate resource="sto:relevantIndividual"/> <object variable="Ind6"/> </triple> <triple> <subject variable="Ind6"/> <predicate resource="owl:sameAs"/> <object variable="Ind3"/> </triple> <triple> <subject variable="Ind1"/> <predicate resource="owl:sameAs"/> <object variable="Ind4"/> </triple> <triple> <subject variable="Ind1"/> <predicate resource="stox:hasUniqueAttribute"/> <object variable="Ind1Att"/> </triple> <triple> <subject variable="Ind1Att"/> <predicate resource="rdf:type"/> <object resource="stox:UniqueLocation"/> </triple> <triple> <subject variable="Ind1Att"/> <predicate resource="stox:hasUniqueAttributeValue"/> <object variable="Ind1AttVal"/> </triple> <triple> <subject variable="Ind1AttVal"/> <predicate resource="rdf:type"/> <object resource="stox:UniqueValue"/> </triple> <triple> <subject variable="Ind1AttVal"/> <predicate resource="stox:uniqueAttributeValue"/> <object variable="val"/> </triple> <triple> <subject variable="val"/> <predicate resource="rdf:type"/> <object variable="ValueClass"/> </triple> <notEquals><ValueClass/><param resource="rdfs:Resource"/></notEquals> <println>Transition: http://vistology.com/ont/2009/especs/S3.owl#PartialClosure to http://vistology.com/ont/2009/especs/S3.owl#PartialClosure</println> <println>FS: <FS/> s3:PartialClosure</println> <println>add: <Ind2/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#Accident</println> <println>add: <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#cleared http://vistology.com/ont/2009/especs/STO.owl#_0</println> <println>add: <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#blockedLanes <Num/></println> <println>rewrite: <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#blockedLanes <Num/> to <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#blockedLanes <Num2/></println> <println>add: <Num/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type <NumClass/></println> <println>rewrite: <Num/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type <NumClass/> to <Num2/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type <Num2Class/></println> <println>add: <Ind2/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#participant <Ind3/></println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantRelation http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#isPlaceOf</println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantIndividual <Ind1/></println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantIndividual <Ind2/></println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantIndividual <Ind3/></println> <println>add: <FS/> http://vistology.com/ont/2009/especs/STO.owl#relevantRelation http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#participant</println> <println>add: <Ind1/> http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#isPlaceOf <Ind2/></println> <println>add: <Ind1/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#Bridge</println> <println>add: <Ind1/> http://vistology.com/ont/2009/especs/STOExtension.owl#hasUniqueAttribute <Ind1Att/></println> <println>add: <Ind1Att/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/STOExtension.owl#UniqueLocation</println> <println>add: <Ind1Att/> http://vistology.com/ont/2009/especs/STOExtension.owl#hasUniqueAttributeValue <Ind1AttVal/></println> <println>add: <Ind1AttVal/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/STOExtension.owl#UniqueValue</println> <println>add: <Ind1AttVal/> http://vistology.com/ont/2009/especs/STOExtension.owl#uniqueAttributeValue <val/></println> <println>add: <val/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/2001/XMLSchema#string</println> <println>add: <FS/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/STO.owl#FocalSituation</println> <println>add: <Ind3/> http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#Person</println>