|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.opencyc.inferencesupport.Literal | +--org.opencyc.inferencesupport.QueryLiteral
QueryLiteral object to model the attributes and behavior of a query literal.
Copyright 2001 Cycorp, Inc., license is open source GNU LGPL.
THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
UnitTest.testQueryLiteral()
Fields inherited from class org.opencyc.inferencesupport.Literal |
formula, nbrFormulaInstances, NO_SUBSUMPTION, SUBSUMED_BY, SUBSUMES, variables |
Constructor Summary | |
QueryLiteral(CycList formula)
Constructs a new QueryLiteral object from a CycList. |
|
QueryLiteral(java.lang.String formulaString)
Constructs a new QueryLiteral object from a CycList String representation. |
Method Summary | |
java.lang.Object |
clone()
Creates and returns a copy of this QueryLiteral. |
static QueryLiteral |
conjoin(QueryLiteral queryLiteral1,
QueryLiteral queryLiteral2)
|
QueryLiteral |
instantiate(CycVariable cycVariable,
java.lang.Object value)
Returns a new QueryLiteral which is the result of substituting the given Object value for the given CycVariable. |
static java.util.ArrayList |
simplifyQueryLiteralExpression(CycList cycList)
Simplifies a query literal expression. |
Methods inherited from class org.opencyc.inferencesupport.Literal |
compareTo, cyclify, determineSubsumption, equals, gatherVariables, getArguments, getArity, getFormula, getPredicate, getVariables, hasEvaluatableNumericalArgs, hashCode, isAllDifferent, isEvaluatable, isGround, isIrreflexive, isSubsumedBy, isUnary, isValidConstraintRuleExpression, substituteVariable, subsumes, toString |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.lang.Comparable |
compareTo |
Constructor Detail |
public QueryLiteral(java.lang.String formulaString) throws CycApiException
formulaString
- the query literal's formula String, which must be a well formed OpenCyc
query represented by a CycList.public QueryLiteral(CycList formula)
formula
- the query literal's formula, which must be a well formed OpenCyc
query represented by a CycList.Method Detail |
public static java.util.ArrayList simplifyQueryLiteralExpression(CycList cycList) throws java.io.IOException
(#$and (
cycList
- the query literal expression that is simplifiedUnitTest.testQueryLiteral()
public java.lang.Object clone()
clone
in class java.lang.Object
public QueryLiteral instantiate(CycVariable cycVariable, java.lang.Object value)
cycVariable
- the variable for substitutionvalue
- the value which is substituted for each occurrance of the variablepublic static QueryLiteral conjoin(QueryLiteral queryLiteral1, QueryLiteral queryLiteral2)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |