![]() | Querying Cyc with the Web Interface |
![]() | Queries within Microtheories |
![]() | Resource Limits for Queries |
The ASK facility allows the user to make a query backward by selecting Backchain Forever or selecting and entering a number of backchain steps under Backchaining Control in the Inference Parameters section. The default value is No Backchaining, meaning that the query will be forward. Entering an integer in the text field next to backchain steps specifies the maximum depth of axioms which can be considered by the inference engine when it is backchaining.
An example of a backward rule in the Cyc KB is:
(#$implies (#$and (#$isa ?U #$Person) (#$spouse ?U ?X)) (#$maritalStatus ?X #$Married))