From 6fa93bc6c84f87f4cd7ca20065987cfe740ec048 Mon Sep 17 00:00:00 2001 From: "Brutzman, Don" <brutzman@nps.edu> Date: Mon, 31 Aug 2020 16:43:25 -0700 Subject: [PATCH] updated build, tests sat --- build.all.log.txt | 78 +++++++++++++++++++++++++---------------------- 1 file changed, 42 insertions(+), 36 deletions(-) diff --git a/build.all.log.txt b/build.all.log.txt index d2c9809..5e9b9a3 100644 --- a/build.all.log.txt +++ b/build.all.log.txt @@ -2,14 +2,14 @@ ant -f C:\\x-nps-gitlab\\NetworkOptionalWarfare\\ethicalcontrol all convertAvclToMeoTurtle.examples.all: convert all AVCL missions to MeoTurtle source code validate mission SailorOverboard.xml using referenced AVCL schema... -convertAvclToMeoTurtle missions/avcl/SailorOverboard.xml to missions/turtle/SailorOverboardConverted.ttl using stylesheets/AvclToTurtle.xslt -SailorOverboard.xml conversion to missions/turtle/SailorOverboardConverted.ttl using stylesheets/AvclToTurtle.xslt +convertAvclToMeoTurtle missions/avcl/SailorOverboard.xml to missions/turtle/SailorOverboardConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt +SailorOverboard.xml conversion to missions/turtle/SailorOverboardConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [info] Goal id='Goal6' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='Goal7' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='Goal8' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) validate mission LifeboatTracking.xml using referenced AVCL schema... -convertAvclToMeoTurtle missions/avcl/LifeboatTracking.xml to missions/turtle/LifeboatTrackingConverted.ttl using stylesheets/AvclToTurtle.xslt -LifeboatTracking.xml conversion to missions/turtle/LifeboatTrackingConverted.ttl using stylesheets/AvclToTurtle.xslt +convertAvclToMeoTurtle missions/avcl/LifeboatTracking.xml to missions/turtle/LifeboatTrackingConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt +LifeboatTracking.xml conversion to missions/turtle/LifeboatTrackingConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='LBT4.0' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.1' *** [warn] Goal id='LBT4.1' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.2' *** [warn] Goal id='LBT4.2' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.3' @@ -19,8 +19,8 @@ LifeboatTracking.xml conversion to missions/turtle/LifeboatTrackingConverted.ttl *** [info] Goal id='LBT99.2' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='LBT99.3' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) validate mission PiratesSeizingMerchantDefense.xml using referenced AVCL schema... -convertAvclToMeoTurtle missions/avcl/PiratesSeizingMerchantDefense.xml to missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl using stylesheets/AvclToTurtle.xslt -PiratesSeizingMerchantDefense.xml conversion to missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl using stylesheets/AvclToTurtle.xslt +convertAvclToMeoTurtle missions/avcl/PiratesSeizingMerchantDefense.xml to missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt +PiratesSeizingMerchantDefense.xml conversion to missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='PSMD14.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD14.2' *** [warn] Goal id='PSMD14.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD14.3' *** [warn] Goal id='PSMD22.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD22.1' @@ -44,8 +44,8 @@ PiratesSeizingMerchantDefense.xml conversion to missions/turtle/PiratesSeizingMe *** [info] Goal id='PSMD99.2' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='PSMD99.3' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) validate mission HospitalShipEmDecoy1.Opponent.xml using referenced AVCL schema... -convertAvclToMeoTurtle missions/avcl/HospitalShipEmDecoy1.Opponent.xml to missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl using stylesheets/AvclToTurtle.xslt -HospitalShipEmDecoy1.Opponent.xml conversion to missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl using stylesheets/AvclToTurtle.xslt +convertAvclToMeoTurtle missions/avcl/HospitalShipEmDecoy1.Opponent.xml to missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt +HospitalShipEmDecoy1.Opponent.xml conversion to missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='HSEMD.Foe.1' phase 'undefined' *** [warn] Goal id='HSEMD.Foe.2' phase 'undefined' *** [warn] Goal id='HSEMD.Foe.2' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.3' @@ -60,16 +60,16 @@ HospitalShipEmDecoy1.Opponent.xml conversion to missions/turtle/HospitalShipEmDe *** [info] Goal id='HSEMD.Foe.7' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [warn] Goal id='HSEMD.Foe.7' phase 'undefined' validate mission HospitalShipEmDecoy2.Defender.SenseDecideAct.xml using referenced AVCL schema... -convertAvclToMeoTurtle missions/avcl/HospitalShipEmDecoy2.Defender.SenseDecideAct.xml to missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl using stylesheets/AvclToTurtle.xslt -HospitalShipEmDecoy2.Defender.SenseDecideAct.xml conversion to missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl using stylesheets/AvclToTurtle.xslt +convertAvclToMeoTurtle missions/avcl/HospitalShipEmDecoy2.Defender.SenseDecideAct.xml to missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt +HospitalShipEmDecoy2.Defender.SenseDecideAct.xml conversion to missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='HSEMD.reflex.12' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.13' *** [warn] Goal id='HSEMD.reflex.13' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.14' *** [warn] Goal id='HSEMD.reflex.14' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.17' *** [warn] Goal id='HSEMD.reflex.17' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.99.0' *** [info] Goal id='HSEMD.reflex.99.0' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) validate mission HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml using referenced AVCL schema... -convertAvclToMeoTurtle missions/avcl/HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml to missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl using stylesheets/AvclToTurtle.xslt -HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml conversion to missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl using stylesheets/AvclToTurtle.xslt +convertAvclToMeoTurtle missions/avcl/HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml to missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt +HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml conversion to missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='HSEMD.OODA.22' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.23' *** [warn] Goal id='HSEMD.OODA.23' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.24' *** [warn] Goal id='HSEMD.OODA.24' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.27' @@ -79,6 +79,7 @@ HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml conversion to missions/turt *** [info] Goal id='HSEMD.OODA.99.0' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) convertAvclToLisp.examples.all: remove compiled Allegro Common Lisp ACL files (if any) +Deleting C:\x-nps-gitlab\NetworkOptionalWarfare\ethicalcontrol\missions\lisp\SailorOverboardConverted.fasl convert all AVCL missions to Lisp source code convertAvclToLisp missions/avcl/SailorOverboard.xml to missions/lisp/SailorOverboardConverted.cl using stylesheets/AvclToLisp.xslt Mission SailorOverboard.xml: set $initialGoal=goalGoal1 (i.e. initial AVCL Goal) @@ -260,29 +261,33 @@ ORDER by ASC(?property) # alphabetize ############################################### Metaquery results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionExecutionOntologyQuery_01.rq ---------------------------------------------------------------------- -| property | domain | range | -===================================================================== -| meo:appliesTo | meo:Constraint | _:b0 | -| meo:canFulfill | meo:VehicleFeature | meo:GoalRequirement | -| meo:canIdentify | meo:Vehicle | meo:Constraint | -| meo:canMeet | meo:Vehicle | meo:Goal | -| meo:canPerform | meo:Vehicle | meo:Mission | -| meo:canTest | meo:VehicleFeature | meo:Constraint | -| meo:hasConstraint | meo:Mission | meo:Constraint | -| meo:hasEndCondition | meo:Goal | meo:EndCondition | -| meo:hasFeature | meo:Vehicle | meo:VehicleFeature | -| meo:hasNext | meo:Goal | meo:Goal | -| meo:hasNextOnException | meo:Goal | meo:Goal | -| meo:hasNextOnFailure | meo:Goal | meo:Goal | -| meo:hasNextOnSuccess | meo:Goal | meo:Goal | -| meo:includes | meo:Mission | meo:Goal | -| meo:isFollowedBy | meo:Goal | meo:Goal | -| meo:isPerformableBy | meo:Mission | meo:Vehicle | -| meo:meetsRequirement | meo:Vehicle | meo:GoalRequirement | -| meo:requires | meo:Goal | meo:GoalRequirement | -| meo:startsWith | meo:Mission | meo:Goal | ---------------------------------------------------------------------- +------------------------------------------------------------------------- +| property | domain | range | +========================================================================= +| meo:accomplishes | meo:EndCondition | meo:IntendedOutcome | +| meo:canAchieve | meo:Vehicle | meo:IntendedOutcome | +| meo:canFulfill | meo:VehicleFeature | meo:IntendedOutcome | +| meo:canIdentify | meo:Vehicle | meo:Constraint | +| meo:canMeasure | meo:VehicleFeature | meo:EndCondition | +| meo:canMeet | meo:Vehicle | meo:Goal | +| meo:canPerform | meo:Vehicle | meo:Mission | +| meo:constrainsGoal | meo:Constraint | meo:Goal | +| meo:constrainsMission | meo:Constraint | meo:Mission | +| meo:hasEndCondition | meo:Goal | meo:EndCondition | +| meo:hasFeature | meo:Vehicle | meo:VehicleFeature | +| meo:hasGoalConstraint | meo:Goal | meo:Constraint | +| meo:hasMissionConstraint | meo:Mission | meo:Constraint | +| meo:hasNextGoal | meo:Goal | meo:Goal | +| meo:hasNextGoalOnException | meo:Goal | meo:Goal | +| meo:hasNextGoalOnFailure | meo:Goal | meo:Goal | +| meo:hasNextGoalOnSuccess | meo:Goal | meo:Goal | +| meo:includes | meo:Mission | meo:Goal | +| meo:isFollowedBy | meo:Goal | meo:Goal | +| meo:isInitialGoal | meo:Goal | meo:Mission | +| meo:isPerformableBy | meo:Mission | meo:Vehicle | +| meo:mustSatisfy | meo:Goal | meo:IntendedOutcome | +| meo:startsWith | meo:Mission | meo:Goal | +------------------------------------------------------------------------- =========================== Mission queries: @@ -1224,8 +1229,9 @@ arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQue =============== --------------- +clean.owldoc: clean: zip: Building zip: C:\x-nps-gitlab\NetworkOptionalWarfare\ethicalcontrol\EthicalControlArchive.zip all: -BUILD SUCCESSFUL (total time: 58 seconds) +BUILD SUCCESSFUL (total time: 59 seconds) -- GitLab