Package openllet.core.expressivity

Class Expressivity

  • public class Expressivity
extends java.lang.Object

    Copyright: Copyright (c) 2008

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin, Harris Lin

    • Constructor Detail

      • Expressivity

        public Expressivity()

    • Method Detail

      • isEL

        public boolean isEL()

      • toString

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

      • setHasNegation

        public void setHasNegation​(boolean v)

      • setHasAllValues

        public void setHasAllValues​(boolean v)

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

      • setHasRoleHierarchy

        public void setHasRoleHierarchy​(boolean v)

      • setHasReflexivity

        public void setHasReflexivity​(boolean v)

      • setHasIrreflexivity

        public void setHasIrreflexivity​(boolean v)

      • hasDisjointRoles

        public boolean hasDisjointRoles()

      • setHasDisjointRoles

        public void setHasDisjointRoles​(boolean v)

      • setHasAsymmetry

        public void setHasAsymmetry​(boolean v)

      • hasComplexSubRoles

        public boolean hasComplexSubRoles()

      • setHasComplexSubRoles

        public void setHasComplexSubRoles​(boolean v)

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

      • setHasDomain

        public void setHasDomain​(boolean v)

      • setHasRange

        public void setHasRange​(boolean v)

      • setHasIndividual

        public void setHasIndividual​(boolean v)

      • hasNominal

        public boolean hasNominal()

      • getNominals

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

      • addNominal

        public void addNominal​(openllet.aterm.ATermAppl n)

      • getAnonInverses

        public java.util.Set<openllet.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​(openllet.aterm.ATermAppl p)