dev.ikm.tinkar.ext.lang.owl.Rf2OwlToLogicAxiomTransformer Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of owl-extension Show documentation
There is a newer version: 1.78.0
/*
 * Copyright © 2015 Integrated Knowledge Management ([email protected])
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package dev.ikm.tinkar.ext.lang.owl;


import dev.ikm.tinkar.common.service.PrimitiveData;
import dev.ikm.tinkar.common.service.TinkExecutor;
import dev.ikm.tinkar.common.service.TrackingCallable;
import dev.ikm.tinkar.coordinate.logic.PremiseType;
import dev.ikm.tinkar.entity.EntityService;
import dev.ikm.tinkar.entity.transaction.Transaction;
import dev.ikm.tinkar.terms.PatternFacade;
import dev.ikm.tinkar.terms.TinkarTerm;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

import java.util.ArrayList;
import java.util.List;
import java.util.concurrent.Future;
import java.util.concurrent.Semaphore;
import java.util.concurrent.atomic.AtomicInteger;

public class Rf2OwlToLogicAxiomTransformer extends TrackingCallable {
    private static final Logger LOG = LoggerFactory.getLogger(Rf2OwlToLogicAxiomTransformer.class);
    private static final int WRITE_PERMITS = Runtime.getRuntime().availableProcessors() * 2;
    // TODO consider replacing readSemaphore with TaskCountManager
    protected final Semaphore writeSemaphore = new Semaphore(WRITE_PERMITS);
    final int transformSize = 10240;
    private final Transaction transaction;

    private final PatternFacade rf2OwlPattern;
    private final PatternFacade logicalAxiomPattern;
    private int authorNid = TinkarTerm.USER.nid();
    private int moduleNid = TinkarTerm.SOLOR_OVERLAY_MODULE.nid();
    private int pathNid = TinkarTerm.DEVELOPMENT_PATH.nid();

    public Rf2OwlToLogicAxiomTransformer(Transaction transaction,
                                         PatternFacade rf2OwlPattern,
                                         PatternFacade logicalAxiomPattern) {
        super(false, true);
        this.transaction = transaction;
        this.rf2OwlPattern = rf2OwlPattern;
        this.logicalAxiomPattern = logicalAxiomPattern;
        updateTitle("Converting RF2 OWL to expressions");
    }

    public Rf2OwlToLogicAxiomTransformer(Transaction transaction,
                                         PatternFacade rf2OwlPattern,
                                         PatternFacade logicalAxiomPattern,
                                         int authorNid, int moduleNid, int pathNid) {
        this(transaction, rf2OwlPattern, logicalAxiomPattern);
        this.authorNid = authorNid;
        this.moduleNid = moduleNid;
        this.pathNid = pathNid;
    }

    @Override
    protected Void compute() throws Exception {
        updateMessage("Computing stated OWL expressions...");
        LOG.info("Computing stated OWL expressions...");

        addToTotalWork(4);
        completedUnitOfWork();

        List statedTransformList = new ArrayList<>();

        updateMessage("Transforming stated OWL RF2 expressions...");
        AtomicInteger count = new AtomicInteger();
        int rf2OwlPatternNid = rf2OwlPattern.nid();
        PrimitiveData.get().forEachConceptNid(conceptNid -> {
            int[] semanticNids = EntityService.get().semanticNidsForComponentOfPattern(conceptNid, rf2OwlPatternNid);
            if (semanticNids != null) {
                if (semanticNids.length > 0) {
                    TransformationGroup tg = new TransformationGroup(conceptNid, semanticNids, PremiseType.STATED);
                    statedTransformList.add(tg);
                    count.incrementAndGet();
                }
            }
            if (statedTransformList.size() == transformSize) {
                List listForTask = new ArrayList<>(statedTransformList);
                OwlToLogicAxiomTransformerAndWriter transformer = new OwlToLogicAxiomTransformerAndWriter(
                        transaction, listForTask, logicalAxiomPattern.nid(), writeSemaphore, authorNid, moduleNid, pathNid);
                Future transformerFuture = TinkExecutor.threadPool().submit(transformer);
                //TODO what do do with the future?
                statedTransformList.clear();
            }
        });

        // pickup any items remaining in the list.
        OwlToLogicAxiomTransformerAndWriter remainingStatedtransformer = new OwlToLogicAxiomTransformerAndWriter(
                transaction, statedTransformList, logicalAxiomPattern.nid(), writeSemaphore, authorNid, moduleNid, pathNid);
        Future transformerFuture = TinkExecutor.threadPool().submit(remainingStatedtransformer);
        //TODO what do do with the future?

        completedUnitOfWork();

        writeSemaphore.acquireUninterruptibly(WRITE_PERMITS);
        transaction.commit();
        completedUnitOfWork();
        updateMessage("Completed transformation");
        LOG.info("Completed processing of {} stated OWL expressions...", count.get());

        return null;
    }
}