|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.clarkparsia.pellet.expressivity.Expressivity
public class Expressivity
Title:
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
Constructor Summary | |
---|---|
Expressivity()
|
|
Expressivity(Expressivity other)
|
Method Summary | |
---|---|
void |
addAnonInverse(aterm.ATermAppl p)
|
void |
addNominal(aterm.ATermAppl n)
|
java.util.Set<aterm.ATermAppl> |
getAnonInverses()
Returns every property p such that inv(p) is used in an axiom in the KB. |
java.util.Set<aterm.ATermAppl> |
getNominals()
|
boolean |
hasAllValues()
|
boolean |
hasAntiSymmmetry()
Deprecated. Use hasAsymmmetry() |
boolean |
hasAsymmmetry()
|
boolean |
hasCardinality()
|
boolean |
hasCardinalityD()
Returns true if a cardinality restriction (greater than 1) is defined on any datatype property |
boolean |
hasCardinalityQ()
|
boolean |
hasComplexSubRoles()
|
boolean |
hasDatatype()
|
boolean |
hasDisjointClasses()
|
boolean |
hasDisjointRoles()
|
boolean |
hasDomain()
|
boolean |
hasFunctionality()
|
boolean |
hasFunctionalityD()
Returns true if a cardinality restriction (less than or equal to 1) is defined on any datatype property |
boolean |
hasIndividual()
|
boolean |
hasInverse()
|
boolean |
hasIrreflexivity()
|
boolean |
hasKeys()
|
boolean |
hasNegation()
|
boolean |
hasNominal()
|
boolean |
hasRange()
|
boolean |
hasReflexivity()
|
boolean |
hasRoleHierarchy()
|
boolean |
hasTransitivity()
|
boolean |
hasUserDefinedDatatype()
|
boolean |
isEL()
|
void |
setHasAllValues(boolean v)
|
void |
setHasAntiSymmetry(boolean v)
Deprecated. Use setHasAsymmetry(boolean) |
void |
setHasAsymmetry(boolean v)
|
void |
setHasCardinality(boolean v)
|
void |
setHasCardinalityD(boolean v)
|
void |
setHasCardinalityQ(boolean v)
|
void |
setHasComplexSubRoles(boolean v)
|
void |
setHasDatatype(boolean v)
|
void |
setHasDisjointClasses(boolean v)
|
void |
setHasDisjointRoles(boolean v)
|
void |
setHasDomain(boolean v)
|
void |
setHasFunctionality(boolean v)
|
void |
setHasFunctionalityD(boolean v)
|
void |
setHasIndividual(boolean v)
|
void |
setHasInverse(boolean v)
|
void |
setHasIrreflexivity(boolean v)
|
void |
setHasKeys(boolean v)
|
void |
setHasNegation(boolean v)
|
void |
setHasRange(boolean v)
|
void |
setHasReflexivity(boolean v)
|
void |
setHasRoleHierarchy(boolean v)
|
void |
setHasTransitivity(boolean v)
|
void |
setHasUserDefinedDatatype(boolean v)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Expressivity()
public Expressivity(Expressivity other)
Method Detail |
---|
public boolean isEL()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean hasNegation()
public void setHasNegation(boolean v)
public boolean hasAllValues()
public void setHasAllValues(boolean v)
public boolean hasDisjointClasses()
public void setHasDisjointClasses(boolean v)
public boolean hasInverse()
public void setHasInverse(boolean v)
public boolean hasFunctionality()
public void setHasFunctionality(boolean v)
public boolean hasCardinality()
public void setHasCardinality(boolean v)
public boolean hasCardinalityQ()
public void setHasCardinalityQ(boolean v)
public boolean hasFunctionalityD()
public void setHasFunctionalityD(boolean v)
public boolean hasCardinalityD()
public void setHasCardinalityD(boolean v)
public boolean hasTransitivity()
public void setHasTransitivity(boolean v)
public boolean hasRoleHierarchy()
public void setHasRoleHierarchy(boolean v)
public boolean hasReflexivity()
public void setHasReflexivity(boolean v)
public boolean hasIrreflexivity()
public void setHasIrreflexivity(boolean v)
public boolean hasDisjointRoles()
public void setHasDisjointRoles(boolean v)
public boolean hasAntiSymmmetry()
hasAsymmmetry()
public boolean hasAsymmmetry()
public void setHasAntiSymmetry(boolean v)
setHasAsymmetry(boolean)
public void setHasAsymmetry(boolean v)
public boolean hasComplexSubRoles()
public void setHasComplexSubRoles(boolean v)
public boolean hasDatatype()
public void setHasDatatype(boolean v)
public boolean hasUserDefinedDatatype()
public void setHasUserDefinedDatatype(boolean v)
public boolean hasKeys()
public void setHasKeys(boolean v)
public boolean hasDomain()
public void setHasDomain(boolean v)
public boolean hasRange()
public void setHasRange(boolean v)
public boolean hasIndividual()
public void setHasIndividual(boolean v)
public boolean hasNominal()
public java.util.Set<aterm.ATermAppl> getNominals()
public void addNominal(aterm.ATermAppl n)
public java.util.Set<aterm.ATermAppl> getAnonInverses()
public void addAnonInverse(aterm.ATermAppl p)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |