Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionNext revisionBoth sides next revision | ||
srdl2_tutorial [2013/02/05 13:17] – created tenorth | srdl2_tutorial [2013/02/05 13:19] – [Ontology organization] tenorth | ||
---|---|---|---|
Line 15: | Line 15: | ||
The ontology structure has been re-organized to increase modularity. Now, the system can, for example, also be used to describe only components or only components and capabilities. The diagram below shows which parts of the ontology import which other ones. | The ontology structure has been re-organized to increase modularity. Now, the system can, for example, also be used to describe only components or only components and capabilities. The diagram below shows which parts of the ontology import which other ones. | ||
- | [[Image: | + | {{ : |
* srdl2: Only generic cross-file relations like the generic dependsOn property | * srdl2: Only generic cross-file relations like the generic dependsOn property | ||
Line 27: | Line 27: | ||
The matching has been simplified a lot and effectively reduced to the following statement: | The matching has been simplified a lot and effectively reduced to the following statement: | ||
- | missing_cap_for_action(Action, | + | |
| | ||
\+ cap_available_on_robot(Cap, | \+ cap_available_on_robot(Cap, | ||
A missing capability is thus defined as one that is required by an action, but not provided by the robot. Required means that either the action itself or any sub-action has a dependency on this capability: | A missing capability is thus defined as one that is required by an action, but not provided by the robot. Required means that either the action itself or any sub-action has a dependency on this capability: | ||
- | required_cap_for_action(Action, | + | |
| | ||
- | required_cap_for_action(Action, | + | |
| | ||
| |