Not logged in : Login |
When document D is the definitiveDocument for property P, any statement X P Y is true iff and only if the semantics of document D include that statement. For example, there may be a definitive document for the zipcode of airports by airport code, and so on. This is useful to let a reasoner know that it can extend its query to the given document. (Cwm will do this if its mode includes "r").
Attributes | Values |
---|---|
type | |
label |
|
domain | |
range | |
comment |
|