congrats Icon
New! Announcing Tabnine Chat Beta
Learn More
Tabnine Logo
OWLDataFactory.getOWLObjectMinCardinality
Code IndexAdd Tabnine to your IDE (free)

How to use
getOWLObjectMinCardinality
method
in
org.semanticweb.owlapi.model.OWLDataFactory

Best Java code snippets using org.semanticweb.owlapi.model.OWLDataFactory.getOWLObjectMinCardinality (Showing top 20 results out of 315)

origin: owlcs/owlapi

public static OWLObjectMinCardinality ObjectMinCardinality(int cardinality,
  OWLObjectPropertyExpression pe,
  OWLClassExpression ce) {
  return DF.getOWLObjectMinCardinality(cardinality, pe, ce);
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

public static OWLObjectMinCardinality ObjectMinCardinality(int cardinality,
  OWLObjectPropertyExpression pe,
  OWLClassExpression ce) {
  return DF.getOWLObjectMinCardinality(cardinality, pe, ce);
}
origin: net.sourceforge.owlapi/owlexplanation

@Override
public Set<OWLClassExpression> visit(OWLObjectMinCardinality ce) {
  Set<OWLClassExpression> result = new HashSet<>();
  for(int n = ce.getCardinality(); n < cardinalityBound; n++) {
    result.add(dataFactory.getOWLObjectMinCardinality(n, ce.getProperty(), ce.getFiller()));
  }
  return result;
}
origin: owlcs/owlapi

  @Override
  public OWLObjectMinCardinality buildObject() {
    return df.getOWLObjectMinCardinality(cardinality, verifyNotNull(getProperty()), getRange());
  }
}
origin: owlcs/owlapi

@Override
public OWLClassExpression visit(OWLObjectMinCardinality ce) {
  OWLClassExpression filler = ce.getFiller().accept(this);
  return df.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), filler);
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public OWLClassExpression visit(OWLObjectMinCardinality ce) {
  OWLClassExpression filler = ce.getFiller().accept(this);
  return df.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), filler);
}
origin: net.sourceforge.owlapi/org.semanticweb.hermit

@Override
public OWLClassExpression visit(OWLObjectMinCardinality d) {
  OWLClassExpression filler=getNNF(d.getFiller());
  return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty(),filler);
}
@Override
origin: owlcs/owlapi

@Override
public void visit(OWLObjectMinCardinality ce) {
  obj = df.getOWLObjectMinCardinality(ce.getCardinality(), dup(ce.getProperty()),
    dup(ce.getFiller()));
}
origin: owlcs/owlapi

@Override
public OWLObjectMinCardinality visit(OWLObjectMinCardinality ce) {
  OWLObjectPropertyExpression prop = get(ce.getProperty());
  return df.getOWLObjectMinCardinality(ce.getCardinality(), prop, get(ce.getFiller()));
}
origin: owlcs/owlapi

@Override
public OWLObjectMinCardinality visit(OWLObjectMinCardinality ce) {
  OWLObjectPropertyExpression prop = t(ce.getProperty());
  return df.getOWLObjectMinCardinality(ce.getCardinality(), prop, t(ce.getFiller()));
}
origin: owlcs/owlapi

@Override
public OWLClassExpression visit(OWLObjectMinCardinality ce) {
  if (signature.containsAll(asList(ce.getFiller().signature()))) {
    OWLClass name = createNewName();
    axioms.add(getSCA(name, ce.getFiller().accept(this)));
    return ldf.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), name);
  }
  return ce;
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLObjectMinCardinality ce) {
  obj = df.getOWLObjectMinCardinality(ce.getCardinality(), dup(ce.getProperty()),
    dup(ce.getFiller()));
}
origin: owlcs/owlapi

@Override
public Object visit(OWLObjectMinCardinality ce) {
  return visit(ce,
    () -> df.getOWLObjectMinCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce
      .getFiller())));
}
origin: net.sourceforge.owlapi/owlapi-distribution

 final public OWLClassExpression AtLeast() throws ParseException {OWLObjectProperty prop;
  OWLClassExpression filler;
  int card;
  jj_consume_token(OPENPAR);
  jj_consume_token(ATLEAST);
  card = Integer();
  prop = RoleName();
  filler = ConceptExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectMinCardinality(card, prop, filler);
}

origin: net.sourceforge.owlapi/owlexplanation

private boolean isEntailedByWeakerMinCardinalitySuperClass(OWLSubClassOfAxiom ax, Set<OWLAxiom> axioms, EntailmentChecker<OWLAxiom> checker) {
  OWLObjectMinCardinality cardinality = (OWLObjectMinCardinality) ax.getSuperClass();
  int card = cardinality.getCardinality();
  if (card == 1 || card == 0) {
    return false;
  }
  OWLObjectPropertyExpression prop = cardinality.getProperty();
  OWLClassExpression ce = cardinality.getFiller();
  OWLObjectMinCardinality weaker = dataFactory.getOWLObjectMinCardinality(card - 1, prop, ce);
  OWLAxiom weakerAxiom = dataFactory.getOWLSubClassOfAxiom(ax.getSubClass(), weaker);
  return isEntailedWithReplacement(ax, weakerAxiom, axioms, checker);
}
origin: net.sourceforge.owlapi/owlapi

public OWLClassExpression asIntersectionOfMinMax() {
  OWLDataFactory df = getOWLDataFactory();
  return df.getOWLObjectIntersectionOf(df.getOWLObjectMinCardinality(getCardinality(), getProperty(), getFiller()),
      df.getOWLObjectMaxCardinality(getCardinality(), getProperty(), getFiller()));
}
origin: com.github.ansell.owlapi/owlapi-parsers

  @Override
  public OWLObjectMinCardinality translate(IRI mainNode) {
    int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLObjectPropertyExpression property = getConsumer().translateObjectPropertyExpression(propertyIRI);
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_CLASS, true);
    OWLClassExpression filler = getConsumer().translateClassExpression(fillerIRI);
    return getDataFactory().getOWLObjectMinCardinality(cardi, property, filler);
  }
}
origin: owlcs/owlapi

  @Override
  public OWLObjectMinCardinality translate(IRI mainNode) {
    int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLObjectPropertyExpression property = getConsumer()
      .translateObjectPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_CLASS, true);
    OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLObjectMinCardinality(cardi, property, filler);
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

  @Override
  public OWLObjectMinCardinality translate(IRI mainNode) {
    int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLObjectPropertyExpression property = getConsumer()
      .translateObjectPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_CLASS, true);
    OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLObjectMinCardinality(cardi, property, filler);
  }
}
origin: com.hermit-reasoner/org.semanticweb.hermit

public OWLClassExpression visit(OWLObjectMinCardinality d) {
  OWLClassExpression filler=getSimplified(d.getFiller());
  if (d.getCardinality()<=0)
    return m_factory.getOWLThing();
  else if (filler.isOWLNothing())
    return m_factory.getOWLNothing();
  else if (d.getCardinality()==1)
    return m_factory.getOWLObjectSomeValuesFrom(d.getProperty().getSimplified(),filler);
  else
    return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
}
public OWLClassExpression visit(OWLObjectMaxCardinality d) {
org.semanticweb.owlapi.modelOWLDataFactorygetOWLObjectMinCardinality

Popular methods of OWLDataFactory

  • getOWLClass
    Gets an OWL class that has the specified IRI
  • getOWLNamedIndividual
    Gets an OWL individual that has the specified IRI
  • getOWLObjectProperty
    Gets an OWL object property that has the specified IRI
  • getOWLSubClassOfAxiom
  • getOWLClassAssertionAxiom
  • getOWLDataProperty
    Gets an OWL data property that has the specified IRI
  • getOWLThing
    Gets the built in owl:Thing class, which has a URI of
  • getOWLAnnotationProperty
    Gets an OWLAnnotationProperty that has the specified IRI
  • getOWLLiteral
    Convenience method that obtains a literal typed as a boolean.
  • getOWLDeclarationAxiom
    Gets a declaration with zero or more annotations for an entity
  • getOWLObjectIntersectionOf
  • getOWLEquivalentClassesAxiom
  • getOWLObjectIntersectionOf,
  • getOWLEquivalentClassesAxiom,
  • getOWLObjectSomeValuesFrom,
  • getOWLNothing,
  • getOWLObjectComplementOf,
  • getOWLObjectPropertyAssertionAxiom,
  • getOWLAnnotationAssertionAxiom,
  • getOWLDataPropertyAssertionAxiom,
  • getOWLDatatype,
  • getOWLAnnotation

Popular in Java

  • Making http requests using okhttp
  • getSystemService (Context)
  • notifyDataSetChanged (ArrayAdapter)
  • onCreateOptionsMenu (Activity)
  • Container (java.awt)
    A generic Abstract Window Toolkit(AWT) container object is a component that can contain other AWT co
  • Window (java.awt)
    A Window object is a top-level window with no borders and no menubar. The default layout for a windo
  • String (java.lang)
  • URI (java.net)
    A Uniform Resource Identifier that identifies an abstract or physical resource, as specified by RFC
  • DateFormat (java.text)
    Formats or parses dates and times.This class provides factories for obtaining instances configured f
  • Logger (org.apache.log4j)
    This is the central class in the log4j package. Most logging operations, except configuration, are d
  • CodeWhisperer alternatives
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogTabnine AcademyTerms of usePrivacy policyJava Code IndexJavascript Code Index
Get Tabnine for your IDE now