Class ExistentialRestriction

    • Constructor Detail

      • ExistentialRestriction

        public ExistentialRestriction​(AtomicRole r,
                                      ComplexConcept c)
        Creates a new ALC existential restriction with the given role and concept.
        Parameters:
        r - the role
        c - the concept that is being restricted by the role