Computables serve for //computing// relations during the reasoning process instead of asserting them manually. This can for instance be done by querying external sources of information, or by combining the information in the knowledge base in order to create new statements. | Computables serve for //computing// relations during the reasoning process instead of asserting them manually. This can for instance be done by querying external sources of information, or by combining the information in the knowledge base in order to create new statements. |
When you wish to include answers generated by computables into the result set, you need to use //rdf_triple(Prop,Subj,Obj)// instead of //rdf_has(Subj,Prob,Obj)//, and //rdfs_instance_of(Inst,Class)// instead of //rdfs_individual_of(Inst,Class)//. These predicates will return all results their non-computable counterparts generate and, in addition to that, all results computed by any computable attached to the respective property or a sub-property of that. | When you wish to include answers generated by computables into the result set, you need to use //rdf_triple(Prop,Subj,Obj)// instead of //rdf_has(Subj,Prob,Obj)//, and //rdfs_instance_of(Inst,Class)// instead of //rdfs_individual_of(Inst,Class)//. These predicates will return all results their non-computable counterparts generate and, in addition to that, all results computed by any computable attached to the respective property or a sub-property of that. |