com.clarkparsia.pellet.expressivity

Class Expressivity

java.lang.Object

com.clarkparsia.pellet.expressivity.Expressivity

public class Expressivity
extends Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Evren Sirin, Harris Lin

Constructor Summary

Constructors

Constructor and Description
Expressivity()
Expressivity(Expressivity other)

Method Summary

Methods

Modifier and Type	Method and Description
void	addAnonInverse(aterm.ATermAppl p)
void	addNominal(aterm.ATermAppl n)
Set<aterm.ATermAppl>	getAnonInverses() Returns every property p such that inv(p) is used in an axiom in the KB.
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)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, 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 String toString()

Overrides:

toString in class 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 Set<aterm.ATermAppl> getNominals()

addNominal

public void addNominal(aterm.ATermAppl n)

getAnonInverses

public 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)