Package openllet.core

Class KnowledgeBaseImplFullSync

    • Constructor Detail

      • KnowledgeBaseImplFullSync

        public KnowledgeBaseImplFullSync()

    • Method Detail

      • copy

        public KnowledgeBase copy​(boolean emptyABox)
        Description copied from class: KnowledgeBaseImpl
        Create a copy of this KB. Depending on the value of emptyABox either a completely new copy of ABox will be created or the new KB will have an empty ABox. If emptyABox parameter is true but the original KB contains nominals in its RBox or TBox the new KB will have the definition of those _individuals (but not ) In either case, the new KB will point to the same RBox and TBox so changing one KB's RBox or TBox will affect other.
        Specified by:
        copy in interface KnowledgeBase
        Overrides:
        copy in class KnowledgeBaseImpl
        Parameters:
        emptyABox - If true ABox is not copied to the new KB
        Returns:
        A copy of this KB

      • addKey

        public void addKey​(openllet.aterm.ATermAppl c,
                   java.util.Set<openllet.aterm.ATermAppl> properties)
        Specified by:
        addKey in interface KnowledgeBase
        Overrides:
        addKey in class KnowledgeBaseImpl

      • addObjectPropertyValue

        @Deprecated
public void addObjectPropertyValue​(openllet.aterm.ATermAppl p,
                                   openllet.aterm.ATermAppl s,
                                   openllet.aterm.ATermAppl o)
        Deprecated.
        Overrides:
        addObjectPropertyValue in class KnowledgeBaseImpl

      • addObjectProperty

        public boolean addObjectProperty​(openllet.aterm.ATerm p)
        Description copied from class: KnowledgeBaseImpl
        Add a new object property. If property was earlier defined to be a datatype property then this function will simply return without changing the KB.
        Specified by:
        addObjectProperty in interface KnowledgeBase
        Overrides:
        addObjectProperty in class KnowledgeBaseImpl
        Parameters:
        p - Name of the property
        Returns:
        True if property is added, false if not

      • addDatatypeProperty

        public boolean addDatatypeProperty​(openllet.aterm.ATerm p)
        Description copied from class: KnowledgeBaseImpl
        Add a new object property. If property was earlier defined to be a datatype property then this function will simply return without changing the KB.
        Specified by:
        addDatatypeProperty in interface KnowledgeBase
        Overrides:
        addDatatypeProperty in class KnowledgeBaseImpl
        Returns:
        True if property is added, false if not

      • getAnnotations

        public java.util.Set<openllet.aterm.ATermAppl> getAnnotations​(openllet.aterm.ATermAppl s,
                                                              openllet.aterm.ATermAppl p)

      • getIndividualsWithAnnotation

        public java.util.Set<openllet.aterm.ATermAppl> getIndividualsWithAnnotation​(openllet.aterm.ATermAppl p,
                                                                            openllet.aterm.ATermAppl o)

      • addSubProperty

        public void addSubProperty​(openllet.aterm.ATerm sub,
                           openllet.aterm.ATermAppl sup)

      • addEquivalentProperty

        public void addEquivalentProperty​(openllet.aterm.ATermAppl p1,
                                  openllet.aterm.ATermAppl p2)

      • addDisjointProperties

        public void addDisjointProperties​(openllet.aterm.ATermList properties)

      • addDisjointProperty

        public void addDisjointProperty​(openllet.aterm.ATermAppl p1,
                                openllet.aterm.ATermAppl p2)

      • addDisjointProperty

        public void addDisjointProperty​(openllet.aterm.ATermAppl p1,
                                openllet.aterm.ATermAppl p2,
                                DependencySet ds)

      • addInverseProperty

        public void addInverseProperty​(openllet.aterm.ATermAppl p1,
                               openllet.aterm.ATermAppl p2)

      • addTransitiveProperty

        public void addTransitiveProperty​(openllet.aterm.ATermAppl p)

      • addSymmetricProperty

        public void addSymmetricProperty​(openllet.aterm.ATermAppl p)

      • addAntisymmetricProperty

        @Deprecated
public void addAntisymmetricProperty​(openllet.aterm.ATermAppl p)
        Deprecated.

      • addAsymmetricProperty

        public void addAsymmetricProperty​(openllet.aterm.ATermAppl p)

      • getIndividuals

        public java.util.Set<openllet.aterm.ATermAppl> getIndividuals()
        Specified by:
        getIndividuals in interface Base
        Overrides:
        getIndividuals in class KnowledgeBaseImpl
        Returns:
        the set of all _individuals. Returned set is unmodifiable!

      • isClassified

        public boolean isClassified()
        Description copied from class: KnowledgeBaseImpl
        Returns true if the classification check has been done and nothing in the KB has changed after that.
        Specified by:
        isClassified in interface Base
        Overrides:
        isClassified in class KnowledgeBaseImpl
        Returns:
        true if the classification check has been done and nothing in the KB has changed after that.

      • isConsistencyDone

        public boolean isConsistencyDone()
        Description copied from class: KnowledgeBaseImpl
        Returns true if the consistency check has been done and nothing in the KB has changed after that.
        Specified by:
        isConsistencyDone in interface KnowledgeBase
        Overrides:
        isConsistencyDone in class KnowledgeBaseImpl
        Returns:
        true if the consistency check has been done and nothing in the KB has changed after that.

      • isDatatypeProperty

        public boolean isDatatypeProperty​(openllet.aterm.ATerm p)

      • getUnsatisfiableClasses

        public java.util.Set<openllet.aterm.ATermAppl> getUnsatisfiableClasses()
        Description copied from class: KnowledgeBaseImpl
        Returns all unsatisfiable classes in the KB excluding the BOTTOM concept. The result may be empty if there is no user-defined concept in the KB that is unsatisfiable.
        Specified by:
        getUnsatisfiableClasses in interface KnowledgeBase
        Overrides:
        getUnsatisfiableClasses in class KnowledgeBaseImpl
        Returns:
        all unsatisfiable classes in the KB excluding the BOTTOM concept

      • getAllUnsatisfiableClasses

        public java.util.Set<openllet.aterm.ATermAppl> getAllUnsatisfiableClasses()
        Description copied from class: KnowledgeBaseImpl
        Returns all unsatisfiable classes in the KB including the BOTTOM concept. Since BOTTOM concept is built-in the result will always have at least one element.
        Specified by:
        getAllUnsatisfiableClasses in interface KnowledgeBase
        Overrides:
        getAllUnsatisfiableClasses in class KnowledgeBaseImpl
        Returns:
        all unsatisfiable classes in the KB including the BOTTOM concept

      • isDisjointClass

        public boolean isDisjointClass​(openllet.aterm.ATermAppl c1,
                               openllet.aterm.ATermAppl c2)

      • isComplement

        public boolean isComplement​(openllet.aterm.ATermAppl c1,
                            openllet.aterm.ATermAppl c2)

      • getProperties

        public java.util.Set<openllet.aterm.ATermAppl> getProperties()
        Returns:
        the set of all properties.

      • getObjectProperties

        public java.util.Set<openllet.aterm.ATermAppl> getObjectProperties()
        Returns:
        the set of all object properties.

      • getDataProperties

        public java.util.Set<openllet.aterm.ATermAppl> getDataProperties()
        Returns:
        the set of all object properties.

      • getAllSuperProperties

        public java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getAllSuperProperties​(openllet.aterm.ATermAppl prop)

      • getSubProperties

        public java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getSubProperties​(openllet.aterm.ATermAppl prop,
                                                                               boolean direct)
        Description copied from interface: PropertiesBase
        Return the sub properties of p. Depending on the second parameter the result will include either all subproperties or only the direct subproperties.
        direct - If true return only the direct subproperties, otherwise return all the subproperties
        Returns:
        A set of sets, where each set in the collection represents a set of equivalent properties. The elements of the inner class are ATermAppl objects.

      • getSuperProperties

        public java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getSuperProperties​(openllet.aterm.ATermAppl prop,
                                                                                 boolean direct)
        Description copied from interface: PropertiesBase
        Return the super properties of p. Depending on the second parameter the result will include either all super properties or only the direct super properties.
        direct - If true return only the direct super properties, otherwise return all the super properties
        Returns:
        A set of sets, where each set in the collection represents a set of equivalent properties. The elements of the inner class are Role objects.

      • getAllSubProperties

        public java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getAllSubProperties​(openllet.aterm.ATermAppl prop)

      • getEquivalentProperties

        public java.util.Set<openllet.aterm.ATermAppl> getEquivalentProperties​(openllet.aterm.ATermAppl prop)
        Description copied from interface: PropertiesBase
        Return all the properties that are equivalent to p.
        Returns:
        A set of ATermAppl objects.

      • getFunctionalProperties

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

      • getInverseFunctionalProperties

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

      • getTransitiveProperties

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

      • getSymmetricProperties

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

      • getAsymmetricProperties

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

      • getInverses

        public java.util.Set<openllet.aterm.ATermAppl> getInverses​(openllet.aterm.ATerm name)
        Returns:
        the named inverse property and all its equivalent properties.

      • isObjectProperty

        public boolean isObjectProperty​(openllet.aterm.ATerm p)

      • getPropertyValues

        public java.util.Map<openllet.aterm.ATermAppl,​java.util.List<openllet.aterm.ATermAppl>> getPropertyValues​(openllet.aterm.ATermAppl pred)

      • getProperties

        public java.util.List<openllet.aterm.ATermAppl> getProperties​(openllet.aterm.ATermAppl s,
                                                              openllet.aterm.ATermAppl o)
        Parameters:
        s - subject
        o - object
        Returns:
        all properties asserted between a subject and object.

      • getPropertyType

        public PropertyType getPropertyType​(openllet.aterm.ATerm r)

      • getReflexiveProperties

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

      • getIrreflexiveProperties

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

      • hasKnownPropertyValue

        public Bool hasKnownPropertyValue​(openllet.aterm.ATermAppl s,
                                  openllet.aterm.ATermAppl p,
                                  openllet.aterm.ATermAppl o)
        Description copied from interface: KnowledgeBase
        Answers the hasPropertyValue question without doing any satisfiability check. It might return Boolean.TRUE, Boolean.FALSE, or null (unknown). If the null value is returned hasPropertyValue function needs to be called to get the answer.
        Specified by:
        hasKnownPropertyValue in interface KnowledgeBase
        Overrides:
        hasKnownPropertyValue in class KnowledgeBaseImpl
        Parameters:
        s - Subject
        p - Predicate
        o - Object (null can be used as wildcard)
        Returns:
        true if the hasPropertyValue question without doing any satisfiability check.

      • getPropertyValues

        public java.util.List<openllet.aterm.ATermAppl> getPropertyValues​(openllet.aterm.ATermAppl r,
                                                                  openllet.aterm.ATermAppl x)
        Description copied from interface: PropertiesBase
        Return all property values for a given property and subject value.
        Returns:
        List of ATermAppl objects.

      • getAnnotationProperties

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

      • getDomains

        public java.util.Set<openllet.aterm.ATermAppl> getDomains​(openllet.aterm.ATermAppl name)
        Description copied from interface: PropertiesBase
        The results of this function is not guaranteed to be complete. Use PropertiesBase.hasDomain(ATermAppl, ATermAppl) to get complete answers.
        Returns:
        the domain restrictions on the property.

      • getRanges

        public java.util.Set<openllet.aterm.ATermAppl> getRanges​(openllet.aterm.ATerm name)
        Description copied from interface: PropertiesBase
        The results of this function is not guaranteed to be complete. Use ClassesBase.hasRange(ATermAppl, ATermAppl) to get complete answers.
        Returns:
        the domain restrictions on the property.

      • isAnnotationProperty

        public boolean isAnnotationProperty​(openllet.aterm.ATerm p)

      • getAnnotationSubjects

        public java.util.Set<openllet.aterm.ATermAppl> getAnnotationSubjects()
        Returns:
        the set of key values of the annotations map

      • getRoleTaxonomy

        public Taxonomy<openllet.aterm.ATermAppl> getRoleTaxonomy​(boolean objectTaxonomy)

      • getTypes

        public java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getTypes​(openllet.aterm.ATermAppl ind,
                                                                       boolean direct)
        Description copied from interface: InstancesBase
        Returns the (named) classes individual belongs to. Depending on the second parameter the result will include either all types or only the direct types.
        Parameters:
        ind - An _individual name
        direct - If true return only the direct types, otherwise return all types
        Returns:
        A set of sets, where each set in the collection represents an equivalence class. The elements of the inner class are ATermAppl objects.

      • isType

        public boolean isType​(openllet.aterm.ATermAppl x,
                      openllet.aterm.ATermAppl c)

      • isKnownType

        public Bool isKnownType​(openllet.aterm.ATermAppl x,
                        openllet.aterm.ATermAppl c)
        Description copied from interface: ClassesBase
        Answers the isType question without doing any satisfiability check. It might return Bool.TRUE, Bool.FALSE, or Bool.UNKNOWN. If Bool.UNKNOWN is returned isType function needs to be called to get the answer.
        Returns:
        true if the term x is of the know type c (class)

      • getSubClasses

        public java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getSubClasses​(openllet.aterm.ATermAppl c,
                                                                            boolean direct)
        Description copied from interface: ClassesBase
        Returns the (named) subclasses of class c. Depending on the second parameter the result will include either all subclasses or only the direct subclasses. A class d is a direct subclass of c iff
        1. d is subclass of c
        2. there is no other class x different from c and d such that x is subclass of c and d is subclass of x
        The class c itself is not included in the list but all the other classes that are sameAs c are put into the list. Also note that the returned list will always have at least one element. The list will either include one other concept from the hierarchy or the BOTTOM concept if no other class is subsumed by c. By definition BOTTOM concept is subclass of every concept.

        *** This function will first classify the whole ontology ***

        Parameters:
        c - class whose subclasses are returned
        direct - If true return only the direct subclasses, otherwise return all the subclasses
        Returns:
        A set of sets, where each set in the collection represents an equivalence class. The elements of the inner class are ATermAppl objects.

      • isClass

        public boolean isClass​(openllet.aterm.ATerm c)

      • isSubClassOf

        public boolean isSubClassOf​(openllet.aterm.ATermAppl c1,
                            openllet.aterm.ATermAppl c2)
        Returns:
        true if class subCls is subclass of class supCls.

      • retrieve

        public java.util.Set<openllet.aterm.ATermAppl> retrieve​(openllet.aterm.ATermAppl d,
                                                        java.util.Collection<openllet.aterm.ATermAppl> individuals)
        Returns:
        all the individuals that belong to the given class which is not necessarily a named class.

      • retrieveIndividualsWithProperty

        public java.util.List<openllet.aterm.ATermAppl> retrieveIndividualsWithProperty​(openllet.aterm.ATermAppl r)
        Returns:
        individuals which possibly have a property value for the given property.

      • getInstances

        public java.util.Set<openllet.aterm.ATermAppl> getInstances​(openllet.aterm.ATermAppl c)
        Description copied from interface: InstancesBase
        Returns all the instances of concept c. If TOP concept is used every individual in the knowledge base will be returned
        Parameters:
        c - class whose instances are returned
        Returns:
        A set of ATerm objects

      • hasInstance

        public boolean hasInstance​(openllet.aterm.ATerm c)
        Specified by:
        hasInstance in interface KnowledgeBase
        Overrides:
        hasInstance in class KnowledgeBaseImpl
        Parameters:
        c - is a classes
        Returns:
        true if there is at least one named individual that belongs to the given class

      • getInstances

        public java.util.Set<openllet.aterm.ATermAppl> getInstances​(openllet.aterm.ATermAppl c,
                                                            boolean direct)
        Description copied from interface: InstancesBase
        Returns the instances of class c. Depending on the second parameter the resulting list will include all or only the direct getInstances(). An _individual x is a direct instance of c iff x is of type c and there is no subclass d of c such that x is of type d.

        *** This function will first realize the whole ontology ***

        Parameters:
        c - class whose getInstances() are returned
        direct - if true return only the direct getInstances(), otherwise return all the getInstances()
        Returns:
        A set of ATerm objects

      • getAllSames

        public java.util.Set<openllet.aterm.ATermAppl> getAllSames​(openllet.aterm.ATermAppl name)
        Returns:
        all the indviduals asserted to be equal to the given individual inluding the individual itself.

      • getIndividualsWithProperty

        public java.util.List<openllet.aterm.ATermAppl> getIndividualsWithProperty​(openllet.aterm.ATermAppl r,
                                                                           openllet.aterm.ATermAppl x)
        Description copied from interface: PropertiesBase
        List all subjects with a given property and property value.
        x - If property is an object property an ATermAppl object that is the URI of the _individual, if the property is a _data property an ATerm object that contains the literal value (See {#link #getIndividualsWithDataProperty(ATermAppl, ATermAppl)} for details)
        Returns:
        List of ATermAppl objects.

      • addDomain

        public void addDomain​(openllet.aterm.ATerm p,
                      openllet.aterm.ATermAppl c,
                      java.util.Set<openllet.aterm.ATermAppl> explain)
        Description copied from class: KnowledgeBaseImpl
        For internal use when domain axioms come from TBox absorption
        Specified by:
        addDomain in interface KnowledgeBase
        Overrides:
        addDomain in class KnowledgeBaseImpl

      • addRange

        public void addRange​(openllet.aterm.ATerm p,
                     openllet.aterm.ATermAppl c,
                     java.util.Set<openllet.aterm.ATermAppl> explain)
        Description copied from class: KnowledgeBaseImpl
        For internal use when range axioms come from TBox absorption
        Specified by:
        addRange in interface KnowledgeBase
        Overrides:
        addRange in class KnowledgeBaseImpl

      • addFunctionalProperty

        public void addFunctionalProperty​(openllet.aterm.ATermAppl p)

      • addInverseFunctionalProperty

        public void addInverseFunctionalProperty​(openllet.aterm.ATerm p)

      • addReflexiveProperty

        public void addReflexiveProperty​(openllet.aterm.ATermAppl p)

      • addIrreflexiveProperty

        public void addIrreflexiveProperty​(openllet.aterm.ATermAppl p)

      • addDatatypeDefinition

        public boolean addDatatypeDefinition​(openllet.aterm.ATermAppl name,
                                     openllet.aterm.ATermAppl datarange)
        Description copied from class: KnowledgeBaseImpl
        Adds a new datatype defined to be equivalent to the given data range expression.
        Specified by:
        addDatatypeDefinition in interface KnowledgeBase
        Overrides:
        addDatatypeDefinition in class KnowledgeBaseImpl
        Parameters:
        name - name of the datatype
        datarange - a data range expression
        Returns:
        true if the add success

      • removeAxiom

        public boolean removeAxiom​(openllet.aterm.ATermAppl axiom)
        Description copied from class: KnowledgeBaseImpl
        Removes (if possible) the given TBox axiom from the KB and return true if removal was successful.
        Specified by:
        removeAxiom in interface KnowledgeBase
        Overrides:
        removeAxiom in class KnowledgeBaseImpl
        Parameters:
        axiom - TBox axiom to remove
        Returns:
        true if axiom is removed, false if removal failed

      • getEquivalentClasses

        public java.util.Set<openllet.aterm.ATermAppl> getEquivalentClasses​(openllet.aterm.ATermAppl c)
        Description copied from interface: ClassesBase
        Returns all the classes that are equivalent to class c, excluding c itself.

        *** This function will first classify the whole ontology ***

        Parameters:
        c - class whose equivalent classes are found
        Returns:
        A set of ATerm objects

      • getAllEquivalentClasses

        public java.util.Set<openllet.aterm.ATermAppl> getAllEquivalentClasses​(openllet.aterm.ATermAppl c)
        Description copied from interface: ClassesBase
        Returns all the classes that are equivalent to class c, including c itself.

        *** This function will first classify the whole ontology ***

        Parameters:
        c - class whose equivalent classes are found
        Returns:
        A set of ATerm objects

      • getSuperClasses

        public java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getSuperClasses​(openllet.aterm.ATermAppl cParam,
                                                                              boolean direct)
        Description copied from interface: Base
        Returns the (named) superclasses of class c. Depending on the second parameter the resulting list will include either all or only the direct superclasses. A class d is a direct superclass of c iff
        1. d is superclass of c
        2. there is no other class x such that x is superclass of c and d is superclass of x
        The class c itself is not included in the list but all the other classes that are sameAs c are put into the list. Also note that the returned list will always have at least one element. The list will either include one other concept from the hierarchy or the TOP concept if no other class subsumes c. By definition TOP concept is superclass of every concept.

        *** This function will first classify the whole ontology ***

        Parameters:
        cParam - class whose superclasses are returned
        Returns:
        A set of sets, where each set in the collection represents an equivalence class. The elements of the inner class are ATermAppl objects.

      • getDisjointClasses

        public java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getDisjointClasses​(openllet.aterm.ATermAppl c,
                                                                                 boolean direct)

      • getSames

        public java.util.Set<openllet.aterm.ATermAppl> getSames​(openllet.aterm.ATermAppl name)
        Specified by:
        getSames in interface KnowledgeBase
        Overrides:
        getSames in class KnowledgeBaseImpl
        Returns:
        all the individuals asserted to be equal to the given individual but not the the individual itself.

      • getDataPropertyValues

        public java.util.List<openllet.aterm.ATermAppl> getDataPropertyValues​(openllet.aterm.ATermAppl r,
                                                                      openllet.aterm.ATermAppl lang,
                                                                      openllet.aterm.ATermAppl datatype)
        Description copied from interface: PropertiesBase
        Return all literal values for a given dataproperty that belongs to the specified datatype.
        Returns:
        List of ATermAppl objects representing literals.

      • getObjectPropertyValues

        public java.util.List<openllet.aterm.ATermAppl> getObjectPropertyValues​(openllet.aterm.ATermAppl r,
                                                                        openllet.aterm.ATermAppl x)

      • objectPropertyValues

        public java.util.stream.Stream<openllet.aterm.ATermAppl> objectPropertyValues​(openllet.aterm.ATermAppl r,
                                                                              openllet.aterm.ATermAppl x)

      • getAllEquivalentProperties

        public java.util.Set<openllet.aterm.ATermAppl> getAllEquivalentProperties​(openllet.aterm.ATermAppl prop)

      • isDatatype

        public boolean isDatatype​(openllet.aterm.ATermAppl c)

      • isAsymmetricProperty

        public boolean isAsymmetricProperty​(openllet.aterm.ATermAppl p)

      • isReflexiveProperty

        public boolean isReflexiveProperty​(openllet.aterm.ATermAppl p)

      • isDisjoint

        public boolean isDisjoint​(openllet.aterm.ATermAppl c1,
                          openllet.aterm.ATermAppl c2)

      • hasDomain

        public boolean hasDomain​(openllet.aterm.ATermAppl p,
                         openllet.aterm.ATermAppl c)

      • isEquivalentProperty

        public boolean isEquivalentProperty​(openllet.aterm.ATermAppl p1,
                                    openllet.aterm.ATermAppl p2)

      • isDisjointProperty

        public boolean isDisjointProperty​(openllet.aterm.ATermAppl r1,
                                  openllet.aterm.ATermAppl r2)

      • hasRange

        public boolean hasRange​(openllet.aterm.ATermAppl p,
                        openllet.aterm.ATermAppl c)

      • isFunctionalProperty

        public boolean isFunctionalProperty​(openllet.aterm.ATermAppl p)

      • isSubPropertyOf

        public boolean isSubPropertyOf​(openllet.aterm.ATermAppl sub,
                               openllet.aterm.ATermAppl sup)

      • isInverse

        public boolean isInverse​(openllet.aterm.ATermAppl r1,
                         openllet.aterm.ATermAppl r2)

      • isEquivalentClass

        public boolean isEquivalentClass​(openllet.aterm.ATermAppl c1,
                                 openllet.aterm.ATermAppl c2)
        Returns:
        true if class c1 is equivalent to class c2.

      • isTransitiveProperty

        public boolean isTransitiveProperty​(openllet.aterm.ATermAppl r)

      • isIrreflexiveProperty

        public boolean isIrreflexiveProperty​(openllet.aterm.ATermAppl p)

      • isInverseFunctionalProperty

        public boolean isInverseFunctionalProperty​(openllet.aterm.ATermAppl p)

      • printClassTree

        public void printClassTree()
        Description copied from interface: ClassesBase
        Print the class hierarchy on the standard output.