Codota Logo
Clash.nominal
Code IndexAdd Codota to your IDE (free)

How to use
nominal
method
in
openllet.core.boxes.abox.Clash

Best Java code snippets using openllet.core.boxes.abox.Clash.nominal (Showing top 8 results out of 315)

  • Add the Codota plugin to your IDE and get smart completions
private void myMethod () {
 OutputStreamWriter o =
  • Codota IconOutputStream out;new OutputStreamWriter(out)
  • Codota IconOutputStream out;String charsetName;new OutputStreamWriter(out, charsetName)
  • Codota IconHttpURLConnection connection;new OutputStreamWriter(connection.getOutputStream())
  • Smart code suggestions by Codota
}
origin: Galigator/openllet

public boolean setSame(final Node node, final DependencySet ds)
{
  if (isSame(node))
    return false;
  if (isDifferent(node))
  {
    //CHW - added for incremental reasoning support - this is needed as we will need to backjump if possible
    if (OpenlletOptions.USE_INCREMENTAL_CONSISTENCY)
      _abox.setClash(Clash.nominal(this, ds.union(_mergeDepends, _abox.doExplanation()).union(node._mergeDepends, _abox.doExplanation()), node.getName()));
    else
      _abox.setClash(Clash.nominal(this, ds, node.getName()));
    return false;
  }
  _mergedTo = node;
  _mergeDepends = ds.copy(_abox.getBranchIndex());
  node.addMerged(this);
  return true;
}
origin: Galigator/openllet

public boolean setSame(final Node node, final DependencySet ds)
{
  if (isSame(node))
    return false;
  if (isDifferent(node))
  {
    //CHW - added for incremental reasoning support - this is needed as we will need to backjump if possible
    if (OpenlletOptions.USE_INCREMENTAL_CONSISTENCY)
      _abox.setClash(Clash.nominal(this, ds.union(_mergeDepends, _abox.doExplanation()).union(node._mergeDepends, _abox.doExplanation()), node.getName()));
    else
      _abox.setClash(Clash.nominal(this, ds, node.getName()));
    return false;
  }
  _mergedTo = node;
  _mergeDepends = ds.copy(_abox.getBranchIndex());
  node.addMerged(this);
  return true;
}
origin: Galigator/openllet

  _strategy.getABox().setClash(Clash.nominal(y, ds, z.getName()));
else
  _strategy.getABox().setClash(Clash.nominal(y, ds));
return;
origin: Galigator/openllet

  _strategy.getABox().setClash(Clash.nominal(y, ds, z.getName()));
else
  _strategy.getABox().setClash(Clash.nominal(y, ds));
return;
origin: Galigator/openllet

public boolean setDifferent(final Node node, final DependencySet dsParam)
{
  DependencySet ds = dsParam;
  // add to effected list
  if (_abox.getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS)
    _abox.getBranchEffectTracker().add(_abox.getBranchIndex(), node.getName());
  if (isDifferent(node))
    return false;
  if (isSame(node))
  {
    ds = ds.union(getMergeDependency(true), _abox.doExplanation());
    ds = ds.union(node.getMergeDependency(true), _abox.doExplanation());
    _abox.setClash(Clash.nominal(this, ds, node.getName()));
    if (!ds.isIndependent())
      return false;
  }
  ds = ds.copy(_abox.getBranchIndex());
  _differents.put(node, ds);
  node.setDifferent(this, ds);
  _abox.setChanged(true);
  return true;
}
origin: Galigator/openllet

public boolean setDifferent(final Node node, final DependencySet dsParam)
{
  DependencySet ds = dsParam;
  // add to effected list
  if (_abox.getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS)
    _abox.getBranchEffectTracker().add(_abox.getBranchIndex(), node.getName());
  if (isDifferent(node))
    return false;
  if (isSame(node))
  {
    ds = ds.union(getMergeDependency(true), _abox.doExplanation());
    ds = ds.union(node.getMergeDependency(true), _abox.doExplanation());
    _abox.setClash(Clash.nominal(this, ds, node.getName()));
    if (!ds.isIndependent())
      return false;
  }
  ds = ds.copy(_abox.getBranchIndex());
  _differents.put(node, ds);
  node.setDifferent(this, ds);
  _abox.setChanged(true);
  return true;
}
origin: Galigator/openllet

_abox.setClash(Clash.nominal(y, y.getDifferenceDependency(z).union(ds, _abox.doExplanation())));
return;
origin: Galigator/openllet

_abox.setClash(Clash.nominal(y, y.getDifferenceDependency(z).union(ds, _abox.doExplanation())));
return;
openllet.core.boxes.aboxClashnominal

Popular methods of Clash

  • getType
  • <init>
  • atomic
  • atomicExplanation
  • bottomExplanation
  • bottomProperty
  • copyTo
  • describeNode
  • detailedString
  • disjointProps
  • emptyDatatype
  • emptyDatatypeExplanation
  • emptyDatatype,
  • emptyDatatypeExplanation,
  • functionalCardinality,
  • functionalCardinalityExplanation,
  • getClashType,
  • getDepends,
  • getNode,
  • invalidLiteral,
  • invalidLiteralExplanation,
  • maxCardinality

Popular in Java

  • Finding current android device location
  • onRequestPermissionsResult (Fragment)
  • getOriginalFilename (MultipartFile)
    Return the original filename in the client's filesystem.This may contain path information depending
  • setScale (BigDecimal)
    Returns a BigDecimal whose scale is the specified value, and whose value is numerically equal to thi
  • VirtualMachine (com.sun.tools.attach)
    A Java virtual machine. A VirtualMachine represents a Java virtual machine to which this Java vir
  • MessageDigest (java.security)
    Uses a one-way hash function to turn an arbitrary number of bytes into a fixed-length byte sequence.
  • NumberFormat (java.text)
    The abstract base class for all number formats. This class provides the interface for formatting and
  • HashMap (java.util)
    HashMap is an implementation of Map. All optional operations are supported.All elements are permitte
  • ImageIO (javax.imageio)
  • LogFactory (org.apache.commons.logging)
    A minimal incarnation of Apache Commons Logging's LogFactory API, providing just the common Log look
Codota Logo

  • Products

    Search for Java codeSearch for JavaScript codeEnterprise

  • IDE Plugins

    IntelliJ IDEAWebStormAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimAtomGoLandRubyMineEmacsJupyter

  • Company

    About UsContact UsCareers

  • Resources

    FAQBlogCodota Academy Plugin user guide Terms of usePrivacy policyJava Code IndexJavascript Code Index
Get Codota for your IDE now