com.clarkparsia.pellet.expressivity
Class Expressivity

java.lang.Object
  extended by com.clarkparsia.pellet.expressivity.Expressivity

public class Expressivity
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Evren Sirin, Harris Lin

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

Expressivity

public Expressivity()

Expressivity

public Expressivity(Expressivity other)
Method Detail

isEL

public boolean isEL()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

hasNegation

public boolean hasNegation()
Returns:
Returns the hasNegation.

setHasNegation

public void setHasNegation(boolean v)

hasAllValues

public boolean hasAllValues()
Returns:
Returns the hasAllValues.

setHasAllValues

public void setHasAllValues(boolean v)

hasDisjointClasses

public boolean hasDisjointClasses()
Returns:
Returns the hasDisjointClasses.

setHasDisjointClasses

public void setHasDisjointClasses(boolean v)

hasInverse

public boolean hasInverse()
Returns:
Returns the hasInverse.

setHasInverse

public void setHasInverse(boolean v)

hasFunctionality

public boolean hasFunctionality()
Returns:
Returns the hasFunctionality.

setHasFunctionality

public void setHasFunctionality(boolean v)

hasCardinality

public boolean hasCardinality()
Returns:
Returns the hasCardinality.

setHasCardinality

public void setHasCardinality(boolean v)

hasCardinalityQ

public boolean hasCardinalityQ()
Returns:
Returns the hasCardinality.

setHasCardinalityQ

public void setHasCardinalityQ(boolean v)

hasFunctionalityD

public boolean hasFunctionalityD()
Returns true if a cardinality restriction (less than or equal to 1) is defined on any datatype property


setHasFunctionalityD

public void setHasFunctionalityD(boolean v)

hasCardinalityD

public boolean hasCardinalityD()
Returns true if a cardinality restriction (greater than 1) is defined on any datatype property


setHasCardinalityD

public void setHasCardinalityD(boolean v)

hasTransitivity

public boolean hasTransitivity()
Returns:
Returns the hasTransitivity.

setHasTransitivity

public void setHasTransitivity(boolean v)

hasRoleHierarchy

public boolean hasRoleHierarchy()
Returns:
Returns the hasRoleHierarchy.

setHasRoleHierarchy

public void setHasRoleHierarchy(boolean v)

hasReflexivity

public boolean hasReflexivity()

setHasReflexivity

public void setHasReflexivity(boolean v)

hasIrreflexivity

public boolean hasIrreflexivity()

setHasIrreflexivity

public void setHasIrreflexivity(boolean v)

hasDisjointRoles

public boolean hasDisjointRoles()

setHasDisjointRoles

public void setHasDisjointRoles(boolean v)

hasAntiSymmmetry

public boolean hasAntiSymmmetry()
Deprecated. Use hasAsymmmetry()


hasAsymmmetry

public boolean hasAsymmmetry()

setHasAntiSymmetry

public void setHasAntiSymmetry(boolean v)
Deprecated. Use setHasAsymmetry(boolean)


setHasAsymmetry

public void setHasAsymmetry(boolean v)

hasComplexSubRoles

public boolean hasComplexSubRoles()

setHasComplexSubRoles

public void setHasComplexSubRoles(boolean v)

hasDatatype

public boolean hasDatatype()
Returns:
Returns the hasDatatype.

setHasDatatype

public void setHasDatatype(boolean v)

hasUserDefinedDatatype

public boolean hasUserDefinedDatatype()

setHasUserDefinedDatatype

public void setHasUserDefinedDatatype(boolean v)

hasKeys

public boolean hasKeys()

setHasKeys

public void setHasKeys(boolean v)

hasDomain

public boolean hasDomain()

setHasDomain

public void setHasDomain(boolean v)

hasRange

public boolean hasRange()

setHasRange

public void setHasRange(boolean v)

hasIndividual

public boolean hasIndividual()

setHasIndividual

public void setHasIndividual(boolean v)

hasNominal

public boolean hasNominal()

getNominals

public java.util.Set<aterm.ATermAppl> getNominals()

addNominal

public void addNominal(aterm.ATermAppl n)

getAnonInverses

public java.util.Set<aterm.ATermAppl> getAnonInverses()
Returns every property p such that inv(p) is used in an axiom in the KB. The named inverses are not considered.

Returns:
the set of properties whose anonymous inverse is used

addAnonInverse

public void addAnonInverse(aterm.ATermAppl p)


Copyright © 2004 Evren Sirin. All Rights Reserved.