congrats Icon
New! Announcing our next generation AI code completions
Read here
Tabnine Logo
OWLDataFactory.getOWLDataMaxCardinality
Code IndexAdd Tabnine to your IDE (free)

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

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

origin: owlcs/owlapi

public static OWLDataMaxCardinality DataMaxCardinality(int cardinality,
  OWLDataPropertyExpression pe,
  OWLDataRange dr) {
  return DF.getOWLDataMaxCardinality(cardinality, pe, dr);
}
origin: owlcs/owlapi

  @Override
  public OWLDataMaxCardinality buildObject() {
    return df.getOWLDataMaxCardinality(cardinality, getProperty(), getDataRange());
  }
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

  @Override
  public OWLDataMaxCardinality buildObject() {
    return df.getOWLDataMaxCardinality(cardinality, getProperty(), getDataRange());
  }
}
origin: owlcs/owlapi

@Override
public OWLClassExpression visit(OWLDataMaxCardinality ce) {
  int card = ce.getCardinality();
  OWLDataRange filler = ce.getFiller().accept(rangeVisitor);
  return df.getOWLDataMaxCardinality(card, ce.getProperty(), filler);
}
origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLFunctionalDataPropertyAxiom axiom) {
  return doDefault(df.getOWLSubClassOfAxiom(df.getOWLThing(),
    df.getOWLDataMaxCardinality(1, axiom.getProperty())));
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public OWLClassExpression visit(OWLDataMaxCardinality ce) {
  int card = ce.getCardinality();
  OWLDataRange filler = ce.getFiller().accept(rangeVisitor);
  return df.getOWLDataMaxCardinality(card, ce.getProperty(), filler);
}
origin: com.hermit-reasoner/org.semanticweb.hermit

public OWLClassExpression visit(OWLDataMaxCardinality d) {
  OWLDataRange filler=getNNF(d.getFiller());
  return m_factory.getOWLDataMaxCardinality(d.getCardinality(),d.getProperty(),filler);
}
public OWLClassExpression visit(OWLDataExactCardinality d) {
origin: com.github.ansell.owlapi/owlapi-parsers

  @Override
  protected OWLClassExpression createRestriction() {
    return getOWLDataFactory().getOWLDataMaxCardinality(getCardinality(), getProperty(), getFiller());
  }
}
origin: net.sourceforge.owlapi/owlapi-oboformat

@Override
public OWLClassExpression visit(OWLDataMaxCardinality ce) {
  int card = ce.getCardinality();
  OWLDataRange filler = ce.getFiller().accept(rangeVisitor);
  return df.getOWLDataMaxCardinality(card, ce.getProperty(), filler);
}
origin: owlcs/owlapi

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

@Override
public OWLDataMaxCardinality visit(OWLDataMaxCardinality ce) {
  return df.getOWLDataMaxCardinality(ce.getCardinality(), t(ce.getProperty()),
          t(ce.getFiller()));
}
origin: owlcs/owlapi

@Override
public OWLDataMaxCardinality visit(OWLDataMaxCardinality ce) {
  return df.getOWLDataMaxCardinality(ce.getCardinality(), get(ce.getProperty()),
    get(ce.getFiller()));
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public OWLDataMaxCardinality visit(OWLDataMaxCardinality ce) {
  return df.getOWLDataMaxCardinality(ce.getCardinality(), t(ce.getProperty()),
          t(ce.getFiller()));
}
origin: owlcs/owlapi

@Override
public void visit(OWLFunctionalDataPropertyAxiom axiom) {
  write(TOP);
  writeSpace();
  write(SUBCLASS);
  writeSpace();
  df.getOWLDataMaxCardinality(1, axiom.getProperty()).accept(this);
}
origin: owlcs/owlapi

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

@Override
public Object visit(OWLDataMaxCardinality ce) {
  return visit(ce,
    () -> df.getOWLDataMaxCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce
      .getFiller())));
}
origin: owlcs/owlapi

@Override
public OWLDataMaxCardinality visit(OWLDataMaxCardinality ce) {
  if (ce.getFiller() instanceof OWLDataOneOf) {
    return df.getOWLDataMaxCardinality(ce.getCardinality(), ce.getProperty(),
      process(ce.getProperty(),
        (OWLDataOneOf) ce.getFiller()));
  }
  return super.visit(ce);
}
origin: owlcs/owlapi

  @Override
  public OWLDataMaxCardinality translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    int cardi = translateInteger(mainNode, OWL_MAX_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataMaxCardinality(cardi, property, filler);
  }
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

  @Override
  public OWLDataMaxCardinality translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    int cardi = translateInteger(mainNode, OWL_MAX_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataMaxCardinality(cardi, property, filler);
  }
}
origin: net.sourceforge.owlapi/owlapi-parsers

  @Override
  public OWLDataMaxCardinality translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    int cardi = translateInteger(mainNode, OWL_MAX_QUALIFIED_CARDINALITY);
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataMaxCardinality(cardi, property, filler);
  }
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLDataMaxCardinality

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 post requests using okhttp
  • setScale (BigDecimal)
  • getResourceAsStream (ClassLoader)
  • onCreateOptionsMenu (Activity)
  • FileOutputStream (java.io)
    An output stream that writes bytes to a file. If the output file exists, it can be replaced or appen
  • Format (java.text)
    The base class for all formats. This is an abstract base class which specifies the protocol for clas
  • Executors (java.util.concurrent)
    Factory and utility methods for Executor, ExecutorService, ScheduledExecutorService, ThreadFactory,
  • JarFile (java.util.jar)
    JarFile is used to read jar entries and their associated data from jar files.
  • HttpServletRequest (javax.servlet.http)
    Extends the javax.servlet.ServletRequest interface to provide request information for HTTP servlets.
  • Table (org.hibernate.mapping)
    A relational table
  • PhpStorm for WordPress
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