-
Notifications
You must be signed in to change notification settings - Fork 19
Defining Axioms
Paula Gearon edited this page Mar 7, 2017
·
1 revision
Axioms are a triple (like those found in the head or body of a rule) without any variables. They are of the form:
[entity attribute value]
The entity value can be either a keyword, or an ID from the Storage API. These are created with the (naga.store.new-node storage) function, which is a member of the naga.store.Storage protocol, and is store dependent.
The attribute value needs to be a keyword (depending on storage type, this may need to be pre-defined by the storage).
Values may be anything accepted by the store. This includes keywords and IDs (i.e. all valid entity values), and may also include strings, numbers, dates, URIs, etc.