Skip to content
Snippets Groups Projects
Commit 6fa93bc6 authored by Brutzman, Don's avatar Brutzman, Don
Browse files

updated build, tests sat

parent 9aef2a4d
No related branches found
No related tags found
No related merge requests found
......@@ -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)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment