Package de.tudresden.inf.tcs.oclib

Examples of de.tudresden.inf.tcs.oclib.ELIndividualContext


    if (reasonerId.equals(Constants.CEL_REASONER_ID)
        || reasonerId.equals(Constants.JCEL_REASONER_ID)) {
      log.info("using EL reasoner "
          + getOWLModelManager().getOWLReasonerManager()
              .getCurrentReasonerName());
      ret = new ELIndividualContext(getOWLModelManager().getReasoner());
    } else {
      log.info("using reasoner "
          + getOWLModelManager().getOWLReasonerManager()
              .getCurrentReasonerName());
      ret = new IndividualContext(getOWLModelManager().getReasoner());
View Full Code Here

TOP

Related Classes of de.tudresden.inf.tcs.oclib.ELIndividualContext

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.