Standards » Infrastructure Area » NML WG

Taken from: https://forge.ogf.org/sf/go/artf6564?nav=1

NML is flexible, but that comes at the price that it is often possible to describe a network in different ways, often in
more or less detail.

The shorter description can often be expanded to a longer description by using some logic.

Example 1:
<Topology X> locatedAt <Location L>,
<Topology X> hasTopology <Topology Y>
implies:
<Topology Y> locatedAt <Location L>,

Example 2:
<PortGroup PG> hasPort <Port P>
<Port P> hasLabel <Label v>
<PortGroup G> isSource <LinkGroup LG>
<LinkGroup PG> hasLink <Link L>
<Link L> hasLabel <Label v>
implies:
<Port P> isSource <Link L>

We need to define this logic in our document.