Section12.java

package network.ike.foundation.ike.terms.foundation;

import dev.ikm.tinkar.common.id.PublicIds;
import dev.ikm.tinkar.entity.builder.ActiveStamp;
import dev.ikm.tinkar.entity.builder.KnowledgeSet;
import dev.ikm.tinkar.terms.EntityProxy;
import network.ike.foundation.ike.terms.IkeTerm;
import java.time.Instant;

/** The "Description-logic profile" section — a taxonomy subtree of the retrofitted starter set (IKE-Network/ike-issues#869). */
final class Section12 {

    private Section12() {
    }

    static void compose(KnowledgeSet set) {
        ActiveStamp inception = network.ike.foundation.ike.terms.Ike.INCEPTION;

        set.concept("Description-logic profile (SOLOR)", PublicIds.of("14eadb10-fbd0-5999-af37-05728a8503af")).at(inception)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("f312cb55-2104-483e-8dcf-9fddf944550a"), IkeTerm.ENGLISH_LANGUAGE, "Description-logic profile (SOLOR)", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.FULLY_QUALIFIED_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("5e59b5f6-353d-4297-b1a0-e8cdd42f8664"), IkeTerm.ENGLISH_LANGUAGE, "Description-logic profile", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.REGULAR_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("f57a49ab-d651-4061-996a-8cef9dac1627"), IkeTerm.ENGLISH_LANGUAGE, "The family of description-logic profiles: a profile fixes which logical operators definitions may use; this set's profile is EL++.", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.DEFINITION_DESCRIPTION_TYPE)
                .semantic(IkeTerm.IDENTIFIER_PATTERN, PublicIds.of("188ab10f-7a9d-42c5-a9c8-d05ec409fdd6"), IkeTerm.UNIVERSALLY_UNIQUE_IDENTIFIER, "14eadb10-fbd0-5999-af37-05728a8503af")
                .statedAxioms(PublicIds.of("d351e33f-6494-56e5-9289-b0eb650dcd79"), leb -> leb.NecessarySet(leb.And(leb.ConceptAxiom(IkeTerm.TINKAR_MODEL_CONCEPT))))
                .semantic(IkeTerm.TINKAR_BASE_MODEL_COMPONENT_PATTERN, PublicIds.of("8ba07217-ecbf-46a8-a3a2-4466e8522845"))
                .semanticOn(PublicIds.of("f312cb55-2104-483e-8dcf-9fddf944550a"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("14d4db6d-3d41-473d-8ef0-b24bfb601a29"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("5e59b5f6-353d-4297-b1a0-e8cdd42f8664"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("50c3d42b-2781-43bc-8b9a-328756e91f27"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("f57a49ab-d651-4061-996a-8cef9dac1627"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("ad7eb0fb-1615-44bb-adbf-f63674086597"), IkeTerm.PREFERRED)
                ;

        set.concept("EL++ logic profile (SOLOR)", PublicIds.of("1f201e12-960e-11e5-8994-feff819cdc9f")).at(inception)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("50877775-d8e3-47ea-b720-e9ad7f594cea"), IkeTerm.ENGLISH_LANGUAGE, "EL++ logic profile (SOLOR)", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.FULLY_QUALIFIED_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("88e752f6-d809-4b14-a2aa-eac57d1cab48"), IkeTerm.ENGLISH_LANGUAGE, "EL ++ logic profile", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.REGULAR_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("67d1b85b-b4c8-4d13-bfe6-bfba8144c528"), IkeTerm.ENGLISH_LANGUAGE, "The EL++ description-logic profile: the expressivity this set's definitions stay within, chosen because classification remains tractable at terminology scale.", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.DEFINITION_DESCRIPTION_TYPE)
                .semantic(IkeTerm.IDENTIFIER_PATTERN, PublicIds.of("186e1a51-1c91-4d8d-94f1-ef3f1fd7c7c7"), IkeTerm.UNIVERSALLY_UNIQUE_IDENTIFIER, "1f201e12-960e-11e5-8994-feff819cdc9f")
                .statedAxioms(PublicIds.of("fb1af2fa-d384-58b8-9cf0-f3e00ee88afe"), leb -> leb.NecessarySet(leb.And(leb.ConceptAxiom(IkeTerm.DESCRIPTION_LOGIC_PROFILE))))
                .semantic(IkeTerm.TINKAR_BASE_MODEL_COMPONENT_PATTERN, PublicIds.of("1352fa09-de8f-4b94-bc70-cdfb5cc961e9"))
                .semanticOn(PublicIds.of("50877775-d8e3-47ea-b720-e9ad7f594cea"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("e67a8a3d-5ed7-47e6-ab5a-1e1451e7ce7c"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("88e752f6-d809-4b14-a2aa-eac57d1cab48"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("df1f38d4-b3ff-4dd3-a659-0cb029eac2db"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("67d1b85b-b4c8-4d13-bfe6-bfba8144c528"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("264857b1-70ed-40f9-83fe-d41935a668b5"), IkeTerm.PREFERRED)
                ;

    }
}