diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql index c7135562..c1d3f7d3 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | |||
@@ -3,7 +3,7 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite.queries | |||
3 | import "http://www.example.org/satellite" | 3 | import "http://www.example.org/satellite" |
4 | 4 | ||
5 | @Constraint(severity = "error", key = {Element}, | 5 | @Constraint(severity = "error", key = {Element}, |
6 | message = "A communicating element may not have two transmitting communication subsystems..") | 6 | message = "A communicating element may not have two transmitting communication subsystems.") |
7 | pattern communicationLinkDoesNotStartAtContainingElement(Element : CommunicatingElement) { | 7 | pattern communicationLinkDoesNotStartAtContainingElement(Element : CommunicatingElement) { |
8 | find transmittingCommSubsystem(Element, Comm1); | 8 | find transmittingCommSubsystem(Element, Comm1); |
9 | find transmittingCommSubsystem(Element, Comm2); | 9 | find transmittingCommSubsystem(Element, Comm2); |
@@ -15,6 +15,12 @@ private pattern transmittingCommSubsystem(Element : CommunicatingElement, Comm : | |||
15 | CommSubsystem.target(Comm, _); | 15 | CommSubsystem.target(Comm, _); |
16 | } | 16 | } |
17 | 17 | ||
18 | @Constraint(severity = "error", key = {Station}, | ||
19 | message = "The ground station network may not have outgoing communication links.") | ||
20 | pattern transmittingGroundStationNetwork(Station : GroundStationNetwork) { | ||
21 | find transmittingCommSubsystem(Station, _); | ||
22 | } | ||
23 | |||
18 | // At least two spacecraft must have the interferometry payload configured | 24 | // At least two spacecraft must have the interferometry payload configured |
19 | 25 | ||
20 | @Constraint(severity = "error", key = {Mission}, | 26 | @Constraint(severity = "error", key = {Mission}, |