|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
| Syntax | Interface for different Triple syntaxes (e.g., PROLOG, native Triple) |
| Class Summary | |
| And | |
| Atom | |
| BinaryFormula | |
| Clause | |
| DoubleTerm | |
| Equiv | <-> formula. |
| ExistsFormula | |
| ForallFormula | |
| Formula | |
| HornAtom | |
| ImpliedBy | <- formula. |
| Implies | -> formula. |
| IntegerTerm | |
| Literal | |
| Molecule | Note: cannot be used in TRIPLE0, i.e., in RDF version! |
| MoleculeTerm | A MoleculeTerm is a molecule at term position. |
| Neg | |
| Negation | |
| Not | |
| Or | |
| PathExpression | A MoleculeTerm is a molecule at term position. |
| PrologSyntax | |
| QuantifierFormula | |
| ReifiedTriple | |
| Resource | |
| Structure | |
| Term | |
| Triple | |
| TripleExpression | The root of all TRIPLE language expressions. |
| TripleSyntax | A "native" TRIPLE syntax. |
| UnaryFormula | |
| Variable | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||