|
pmlj:Query
|
| rdf:type |
owl:Class
|
| rdfs:comment |
A Query is a formal representation of user's question. For example, the content of the query can be '(type TonysSpecialty ?x)' which is encoded in KIF. An inference engine will take the query's content as input and find corresponding answers, each of which is a tree of node sets representing the proof traces obtained from the inference engine. @en
|
| rdfs:label |
Query@en
|
| rdfs:subClassOf |
pmlj:JustificationElement
|
| rdfs:subClassOf |
|
1be3fb23:124e68ef70e:-71ac
|
| rdf:type |
owl:Restriction
|
| owl:cardinality |
1^^http://www.w3.org/2001/XMLSchema#nonNegativeInteger
| | owl:onProperty |
pmlp:hasContent
|
|
| rdfs:subClassOf |
|
Inlinks