congrats Icon
New! Tabnine Pro 14-day free trial
Start a free trial
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

  • Parsing JSON documents to java classes using gson
  • setScale (BigDecimal)
  • getExternalFilesDir (Context)
  • getContentResolver (Context)
  • BufferedReader (java.io)
    Wraps an existing Reader and buffers the input. Expensive interaction with the underlying reader is
  • FileNotFoundException (java.io)
    Thrown when a file specified by a program cannot be found.
  • Collection (java.util)
    Collection is the root of the collection hierarchy. It defines operations on data collections and t
  • HttpServlet (javax.servlet.http)
    Provides an abstract class to be subclassed to create an HTTP servlet suitable for a Web site. A sub
  • DataSource (javax.sql)
    An interface for the creation of Connection objects which represent a connection to a database. This
  • Option (scala)
  • Sublime Text for Python
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimAtomGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

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