|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| Atom | common superclass |
| AtomList | |
| Builtin | |
| BuiltinAtom | consists of a builtin and a List of arguments |
| ClassAtom | consists of a classPredicate and argument1 |
| DataRangeAtom | consists of a dataRange and argument1 |
| DatavaluedPropertyAtom | consists of a propertyPredicate (owl:DatatypeProperty), argument1 (owl:Thing), and argument2 (rdfs:Literal) |
| DifferentIndividualsAtom | consists of argument1 (owl:Thing) and argument2 (owl:Thing) |
| Imp | implication (rule) |
| IndividualPropertyAtom | consists of a propertyPredicate (owl:ObjectProperty), argument1 (owl:Thing), and argument2 (owl:Thing) |
| SameIndividualAtom | consists of argument1 (owl:Thing) and argument2 (owl:Thing) |
| Variable | indicate that a URI is being used as a variable |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||