Section21.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 "Axiom Syntax" section — a taxonomy subtree of the retrofitted starter set (IKE-Network/ike-issues#869). */
final class Section21 {

    private Section21() {
    }

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

        set.concept("Axiom Syntax (SOLOR)", PublicIds.of("8da1c508-c2a2-4899-b26d-87f8b98a7558")).at(inception)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("10d5545f-429d-463b-9c84-3a189a0657e0"), IkeTerm.ENGLISH_LANGUAGE, "Axiom Syntax (SOLOR)", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.FULLY_QUALIFIED_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("7a1b2e82-9aea-47f1-928e-d1358bbc4531"), IkeTerm.ENGLISH_LANGUAGE, "Axiom Syntax", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.REGULAR_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("eec5f49f-a2b5-492d-858f-c39d3302dbc7"), IkeTerm.ENGLISH_LANGUAGE, "Groups the syntaxes a definition's axioms can be serialized in for exchange, such as OWL functional syntax.", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.DEFINITION_DESCRIPTION_TYPE)
                .semantic(IkeTerm.IDENTIFIER_PATTERN, PublicIds.of("99c902ec-5b72-4f04-a6ab-1f14ddb9ae93"), IkeTerm.UNIVERSALLY_UNIQUE_IDENTIFIER, "8da1c508-c2a2-4899-b26d-87f8b98a7558")
                .statedAxioms(PublicIds.of("75a6b3a0-5f36-53e1-8273-f84387c33fd1"), leb -> leb.NecessarySet(leb.And(leb.ConceptAxiom(EntityProxy.Concept.make("Axioms", PublicIds.of("20746b91-521a-45a6-89da-0fe32384a67f"))), leb.ConceptAxiom(IkeTerm.MEANING))))
                .semantic(IkeTerm.TINKAR_BASE_MODEL_COMPONENT_PATTERN, PublicIds.of("cf3c3e2d-013e-4ed7-8790-ad98b0355ce1"))
                .semanticOn(PublicIds.of("10d5545f-429d-463b-9c84-3a189a0657e0"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("22bc6a15-7c73-4e74-be86-60ae657f5bf8"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("7a1b2e82-9aea-47f1-928e-d1358bbc4531"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("a2d461de-2833-4a70-b899-2ab9d654dde2"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("eec5f49f-a2b5-492d-858f-c39d3302dbc7"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("1b1aee32-3623-496a-ac53-326d531839b8"), IkeTerm.PREFERRED)
                ;

        set.concept("Express axiom syntax (SOLOR)", PublicIds.of("db55557c-e9ee-4504-aae3-df695b6d6c57")).at(inception)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("8b2ad7c5-1781-4117-939e-b72c91c175e5"), IkeTerm.ENGLISH_LANGUAGE, "Express axiom syntax (SOLOR)", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.FULLY_QUALIFIED_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("ecbfe97a-c068-4d98-9a4a-d024f389d250"), IkeTerm.ENGLISH_LANGUAGE, "Express Axiom", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.REGULAR_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("6aaf53ee-ff4b-43c9-9930-122db32d3a6e"), IkeTerm.ENGLISH_LANGUAGE, "Why an axiom-syntax semantic exists: to carry a component's definitional axioms as serialized syntax text, for exchange with systems that read that syntax.", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.DEFINITION_DESCRIPTION_TYPE)
                .semantic(IkeTerm.IDENTIFIER_PATTERN, PublicIds.of("0fab2a03-22df-4c2d-acfb-b954a2aca88e"), IkeTerm.UNIVERSALLY_UNIQUE_IDENTIFIER, "db55557c-e9ee-4504-aae3-df695b6d6c57")
                .statedAxioms(PublicIds.of("dd255369-f881-55ec-b645-6674821b0ca6"), leb -> leb.NecessarySet(leb.And(leb.ConceptAxiom(IkeTerm.AXIOM_SYNTAX), leb.ConceptAxiom(IkeTerm.PURPOSE))))
                .semantic(IkeTerm.TINKAR_BASE_MODEL_COMPONENT_PATTERN, PublicIds.of("298e8c38-1270-4b16-9dc8-dbe0ea2096a6"))
                .semanticOn(PublicIds.of("8b2ad7c5-1781-4117-939e-b72c91c175e5"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("bfb9ad35-5b4e-4ac0-8de7-60ccc6e54e8c"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("ecbfe97a-c068-4d98-9a4a-d024f389d250"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("d2c9b18d-885b-494d-afc9-3c664c3bf71d"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("6aaf53ee-ff4b-43c9-9930-122db32d3a6e"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("22e03191-7939-4062-b59d-b9eab28d3dde"), IkeTerm.PREFERRED)
                ;

    }
}