|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.omwg.logicalexpression | |
|---|---|
| org.omwg.logicalexpression | |
| org.omwg.ontology | |
| org.wsmo.factory | |
| org.wsmo.validator | |
| Classes in org.omwg.logicalexpression used by org.omwg.logicalexpression | |
|---|---|
| Atom
This interface represents an atom with a n-ary domain, where n is the arity of the predicate represented. |
|
| AtomicExpression
This interface represents an atomic expression. |
|
| AttributeConstraintMolecule
Represents a constraining attribute molecule (e.g. |
|
| AttributeInferenceMolecule
Represents a inferring attribute molecule (e.g. |
|
| AttributeMolecule
Represents the super class of all molecules containing attributes: (a[b hasValue c] or a[b ofType c] or a[b impliesType c]) |
|
| AttributeValueMolecule
Represents a value attribute molecule (e.g. |
|
| Binary
This interface represents all binary logical expressions, as e.g. |
|
| CompoundExpression
Representing Compound Expressions. |
|
| CompoundMolecule
Represents a compound molecule which is a container for simple molecules E.g., "x subConceptOf {y,z}" or "a[b hasValue c] memberOf d". |
|
| Conjunction
This interface represents specific kind of Binary. |
|
| Constraint
This interface stand for a specific kind of Unary,
a contraint. |
|
| Disjunction
This interface represents specific kind of Binary. |
|
| Equivalence
This interface represents specific kind of Binary. |
|
| ExistentialQuantification
This interface represents quantified logical expressions, i.e. |
|
| Implication
This interface represents specific kind of Binary. |
|
| InverseImplication
This interface represents specific kind of Binary. |
|
| LogicalExpression
This interface represents a logical expression that is either an atomic or a compound logical expression. |
|
| LogicProgrammingRule
This interface stand for a specific kind of Binary,
a logic programming rule. |
|
| MembershipMolecule
Represents a molecule of the form "a memberOf b" |
|
| Molecule
This interface stands for a molecule |
|
| Negation
This interface stand for a specific kind of Unary,
a negation. |
|
| NegationAsFailure
|
|
| Quantified
This interface represents quantified logical expressions, i.e. |
|
| SubConceptMolecule
Represents a Molecule of the Form "a subConceptOf b" |
|
| Unary
This interface stands for unary logical expressions, which consequently have a single operand. |
|
| UniversalQuantification
This interface represents quantified logical expressions, i.e. |
|
| Visitor
This interface represents an visitor for the logical expression tree structure. |
|
| Classes in org.omwg.logicalexpression used by org.omwg.ontology | |
|---|---|
| LogicalExpression
This interface represents a logical expression that is either an atomic or a compound logical expression. |
|
| Classes in org.omwg.logicalexpression used by org.wsmo.factory | |
|---|---|
| Atom
This interface represents an atom with a n-ary domain, where n is the arity of the predicate represented. |
|
| AttributeConstraintMolecule
Represents a constraining attribute molecule (e.g. |
|
| AttributeInferenceMolecule
Represents a inferring attribute molecule (e.g. |
|
| AttributeValueMolecule
Represents a value attribute molecule (e.g. |
|
| CompoundMolecule
Represents a compound molecule which is a container for simple molecules E.g., "x subConceptOf {y,z}" or "a[b hasValue c] memberOf d". |
|
| Conjunction
This interface represents specific kind of Binary. |
|
| Constraint
This interface stand for a specific kind of Unary,
a contraint. |
|
| Disjunction
This interface represents specific kind of Binary. |
|
| Equivalence
This interface represents specific kind of Binary. |
|
| ExistentialQuantification
This interface represents quantified logical expressions, i.e. |
|
| Implication
This interface represents specific kind of Binary. |
|
| InverseImplication
This interface represents specific kind of Binary. |
|
| LogicalExpression
This interface represents a logical expression that is either an atomic or a compound logical expression. |
|
| LogicProgrammingRule
This interface stand for a specific kind of Binary,
a logic programming rule. |
|
| MembershipMolecule
Represents a molecule of the form "a memberOf b" |
|
| Molecule
This interface stands for a molecule |
|
| Negation
This interface stand for a specific kind of Unary,
a negation. |
|
| NegationAsFailure
|
|
| SubConceptMolecule
Represents a Molecule of the Form "a subConceptOf b" |
|
| UniversalQuantification
This interface represents quantified logical expressions, i.e. |
|
| Classes in org.omwg.logicalexpression used by org.wsmo.validator | |
|---|---|
| LogicalExpression
This interface represents a logical expression that is either an atomic or a compound logical expression. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||