|
Class Summary |
| GLogicFormula |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPAnd |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPAtom |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPBinaryOperator |
Title: Triple |
| GLPClause |
A GLP clause (which a rule is a sublcass of). |
| GLPEquiv |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPExists |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPExpression |
This is the superclass of all GLP language elements |
| GLPForall |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPImpliedBy |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPImplies |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPLloydToporTransform |
Title: Triple |
| GLPNot |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPOr |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPQuantifiedFormula |
Title: Triple |
| GLPRule |
A rule has a head and a body. |
| GLPTerm |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPTermConstant |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPTermDouble |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPTermFunction |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPTermInteger |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPTermVariable |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |
| GLPUnaryOperator |
|
| VariableGenerator |
Title: Triple Description: RDF Query and Inference Language Copyright:
Copyright (c) 2001 Company: Stanford University |