Class UniversalRestriction

    • Constructor Detail

      • UniversalRestriction

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