|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Term | |
---|---|
org.omwg.logicalexpression | |
org.omwg.logicalexpression.terms | |
org.omwg.ontology | |
org.wsmo.common | |
org.wsmo.factory |
Uses of Term in org.omwg.logicalexpression |
---|
Methods in org.omwg.logicalexpression that return Term | |
---|---|
Term |
AttributeMolecule.getAttribute()
|
Term |
Molecule.getLeftParameter()
|
Term |
Atom.getParameter(int i)
The index i points to a position in the Atom's list of arguments. |
Term |
Molecule.getRightParameter()
|
Methods in org.omwg.logicalexpression that return types with arguments of type Term | |
---|---|
List<Term> |
Atom.listParameters()
|
Methods in org.omwg.logicalexpression with parameters of type Term | |
---|---|
List<AttributeConstraintMolecule> |
CompoundMolecule.listAttributeConstraintMolecules(Term t)
retrieving all molecules of the type "a[b ofType c]", where Term t equals the attribute name of the molecule |
List<AttributeInferenceMolecule> |
CompoundMolecule.listAttributeInferenceMolecules(Term t)
retrieving all molecules of the type "a[b impliesType c]", where Term t equals the attribute name of the molecule |
List<AttributeValueMolecule> |
CompoundMolecule.listAttributeValueMolecules(Term t)
retrieving all molecules of the type "a[b hasValue c]", where Term t equals the attribute name of the molecule |
void |
AttributeMolecule.setAttribute(Term t)
|
void |
Molecule.setLeftOperand(Term t)
|
void |
Molecule.setRightOperand(Term t)
|
Method parameters in org.omwg.logicalexpression with type arguments of type Term | |
---|---|
void |
Atom.setParameters(List<Term> parameter)
|
Uses of Term in org.omwg.logicalexpression.terms |
---|
Subinterfaces of Term in org.omwg.logicalexpression.terms | |
---|---|
interface |
BuiltInConstructedTerm
Built in contructed terms (symbols) represent such constructed terms that are defined as built-in. |
interface |
ConstructedTerm
The interface for constructed terms (function symbols). |
interface |
NumberedAnonymousID
An interface representing an anonymous numbered identifier |
Methods in org.omwg.logicalexpression.terms that return Term | |
---|---|
Term |
ConstructedTerm.getParameter(int i)
The index i points to a position in the ConstructedTerm's list of arguments. |
Uses of Term in org.omwg.ontology |
---|
Subinterfaces of Term in org.omwg.ontology | |
---|---|
interface |
ComplexDataValue
Interface or class description |
interface |
DataValue
Data Value reoresents wsml data values (correspond to xml data values). |
interface |
SimpleDataValue
Interface or class description |
interface |
Variable
represents a variable (for a logical expression) |
Uses of Term in org.wsmo.common |
---|
Subinterfaces of Term in org.wsmo.common | |
---|---|
interface |
Identifier
Base interface for identifiers. |
interface |
IRI
An interface representing an Internationalised Resource Identifier. |
interface |
UnnumberedAnonymousID
An interface representing an anonymous unnumbered identifier |
Uses of Term in org.wsmo.factory |
---|
Methods in org.wsmo.factory with parameters of type Term | |
---|---|
CompoundMolecule |
LogicalExpressionFactory.createAttribusteValues(Term instanceID,
Term attributeID,
List attributeValues)
Creates a compound molecule of the form: john[relative hasValue {mary,lisa}] |
AttributeConstraintMolecule |
LogicalExpressionFactory.createAttributeConstraint(Term instanceID,
Term attributeID,
Term attributeType)
Creates a simple molecule of the form: john[age ofType _integer] |
CompoundMolecule |
LogicalExpressionFactory.createAttributeConstraints(Term instanceID,
Term attributeID,
List attributeTypes)
Creates a compund molecule of the form: john[age ofType {human,man}] |
AttributeInferenceMolecule |
LogicalExpressionFactory.createAttributeInference(Term instanceID,
Term attributeID,
Term attributeType)
Creates a simple molecule of the form: john[anchestor impliesType human] |
CompoundMolecule |
LogicalExpressionFactory.createAttributeInferences(Term instanceID,
Term attributeID,
List attributeType)
Creates a compund molecule of the form: john[anchestor impliesType {human,man}] |
AttributeValueMolecule |
LogicalExpressionFactory.createAttributeValue(Term instanceID,
Term attributeID,
Term attributeValue)
Creates a simple molecule of the form: john[age hasValue 2] |
MembershipMolecule |
LogicalExpressionFactory.createMemberShipMolecule(Term idInstance,
Term idConcept)
Creates a simple molecule of the form: a memberOf b |
CompoundMolecule |
LogicalExpressionFactory.createMemberShipMolecules(Term idInstance,
List idConcepts)
Creates a compound molecule of the form: a memberOf {b,c}. |
SubConceptMolecule |
LogicalExpressionFactory.createSubConceptMolecule(Term idConcept,
Term idSuperConcept)
Creates a simple molecule of the form: a subConceptOf b |
CompoundMolecule |
LogicalExpressionFactory.createSubConceptMolecules(Term idConcept,
List idSuperConcept)
Creates a simple molecule of the form: a subConceptOf {b,c} |
Method parameters in org.wsmo.factory with type arguments of type Term | |
---|---|
Atom |
LogicalExpressionFactory.createAtom(Identifier id,
List<Term> params)
creates an atom (e.g. |
ConstructedTerm |
LogicalExpressionFactory.createConstructedTerm(IRI functionSymbol,
List<Term> terms)
creates a constructed term (e.g. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |