Found

The document has moved here.


Apache/2.2.3 (CentOS) Server at tw.rpi.edu Port 80

Instance Data

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
-3bd1c33c:1656f442053:-7f13
rdf:type owl:Restriction
owl:cardinality 1^^http://www.w3.org/2001/XMLSchema#nonNegativeInteger
owl:onProperty pmlp:hasContent
rdfs:subClassOf
-3bd1c33c:1656f442053:-7f14
rdf:type owl:Restriction
owl:cardinality 1^^http://www.w3.org/2001/XMLSchema#nonNegativeInteger
owl:onProperty pmlj:isFromEngine

Inlinks


Source(s) Prefix:Namespace Used Expandable Class(es)