|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.put.semintec.mining.association.Pattern
public class Pattern
Represents a pattern.
Constructor Summary | |
---|---|
Pattern(org.semanticweb.kaon2.api.logic.QueryDefinition qd)
|
Method Summary | |
---|---|
java.util.ArrayList |
computeUndistinguishedVariables()
|
java.util.ArrayList |
computeUndistinguishedVariablesSharedWith(Atom a)
|
java.util.ArrayList |
determineVariablesConnectedToLastAtom(Atom lastAtom)
Determines, according to principles of SMARTCALL transformation, bindings of what variables will be affected by adding new atom (except the reference variable) |
boolean |
equivalentTo(Pattern p,
KnowledgeBase kb)
|
void |
evaluate(int refClassFrequency,
KnowledgeBase kb)
Evaluates pattern, that is calculates its support |
int |
getFrequency()
Getter of the property frequency |
org.semanticweb.kaon2.api.logic.QueryDefinition |
getQueryDefinition()
Getter of the property queryDefinition |
double |
getSupport()
Getter of the property support |
java.util.ArrayList |
getUndistinguishedVariables()
Getter of the property undistinguishedVariables |
boolean |
isFrequent(double minSupp)
|
boolean |
isSatisfiable(KnowledgeBase kb)
|
boolean |
isSFree(KnowledgeBase kb)
Checks if the pattern is semantically free w.r.t. given knowledge base, that is if it is not possible to delete any of its atoms without affecting the semantics. |
Pattern |
refine(Atom a)
Refines pattern by adding an atom to it |
Pattern |
rewriteVariablesToDistinguishedOnes()
Rewrites query Q1 associated with the given pattern into new query Q2 where all variables of Q1 (distinguished and undistinguished ones) are distinguished in Q2 |
void |
setFrequency(int frequency)
Setter of the property frequency |
void |
setQueryDefinition(org.semanticweb.kaon2.api.logic.QueryDefinition queryDefinition)
Setter of the property queryDefinition |
void |
setSupport(double support)
Setter of the property support |
void |
setUndistinguishedVariables(java.util.ArrayList undistinguishedVariables)
Setter of the property undistinguishedVariables |
java.util.List |
skolemize(KnowledgeBase kb)
Skolemizes a query associated with the given pattern -- replaces all variables with new constants thus creating new ABox |
boolean |
subsumedBy(Pattern p,
KnowledgeBase kb)
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Pattern(org.semanticweb.kaon2.api.logic.QueryDefinition qd)
QueryDefinition
- associated with the patternMethod Detail |
---|
public org.semanticweb.kaon2.api.logic.QueryDefinition getQueryDefinition()
public void setQueryDefinition(org.semanticweb.kaon2.api.logic.QueryDefinition queryDefinition)
queryDefinition
- The queryDefinition to set.public java.util.ArrayList getUndistinguishedVariables()
public void setUndistinguishedVariables(java.util.ArrayList undistinguishedVariables)
undistinguishedVariables
- The undistinguishedVariables to set.public int getFrequency()
public void setFrequency(int frequency)
frequency
- The frequency to set.public double getSupport()
public void setSupport(double support)
support
- The support to set.public Pattern refine(Atom a) throws org.semanticweb.kaon2.api.KAON2Exception
a
- Atom by which current pattern is extended
org.semanticweb.kaon2.api.KAON2Exception
public boolean equivalentTo(Pattern p, KnowledgeBase kb) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
p
- A pattern that is tested whether it is semantically equivalent to the given pattern.kb
- A knowledge base w.r.t. pattern equivalence is tested.
java.lang.InterruptedException
org.semanticweb.kaon2.api.KAON2Exception
public boolean isSFree(KnowledgeBase kb) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
kb
- A knowledge base
java.lang.InterruptedException
org.semanticweb.kaon2.api.KAON2Exception
org.semanticweb.kaon2.api.KAON2Exception
java.lang.InterruptedException
public java.util.List skolemize(KnowledgeBase kb) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
kb
- A knowledge base to store result of the skolemization
java.lang.InterruptedException
org.semanticweb.kaon2.api.KAON2Exception
public boolean isSatisfiable(KnowledgeBase kb) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
kb
- A knowledge base
org.semanticweb.kaon2.api.KAON2Exception
java.lang.InterruptedException
public boolean subsumedBy(Pattern p, KnowledgeBase kb) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
p
- A pattern that is tested whether it subsumes the given pattern.kb
- A knowledge base w.r.t. pattern subsumption is tested.
org.semanticweb.kaon2.api.KAON2Exception
java.lang.InterruptedException
public void evaluate(int refClassFrequency, KnowledgeBase kb) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
refClassFrequency
- Frequency of the reference class wrt which the support of the pattern is calculatedkb
- Knowledge base wrt which pattern should be evaluated
java.lang.InterruptedException
org.semanticweb.kaon2.api.KAON2Exception
public boolean isFrequent(double minSupp) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
minSupp
- Minimum support threshold
java.lang.InterruptedException
org.semanticweb.kaon2.api.KAON2Exception
public java.util.ArrayList computeUndistinguishedVariables()
public java.util.ArrayList computeUndistinguishedVariablesSharedWith(Atom a)
a
- Atom with the variables from which the resulting list should be generated
public Pattern rewriteVariablesToDistinguishedOnes() throws org.semanticweb.kaon2.api.KAON2Exception
org.semanticweb.kaon2.api.KAON2Exception
public java.util.ArrayList determineVariablesConnectedToLastAtom(Atom lastAtom) throws org.semanticweb.kaon2.api.KAON2Exception
lastAtom
- Last atom of the pattern
org.semanticweb.kaon2.api.KAON2Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |