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

  • Parsing JSON documents to java classes using gson
  • requestLocationUpdates (LocationManager)
  • notifyDataSetChanged (ArrayAdapter)
  • getResourceAsStream (ClassLoader)
  • Menu (java.awt)
  • File (java.io)
    An "abstract" representation of a file system entity identified by a pathname. The pathname may be a
  • Runnable (java.lang)
    Represents a command that can be executed. Often used to run code in a different Thread.
  • BigDecimal (java.math)
    An immutable arbitrary-precision signed decimal.A value is represented by an arbitrary-precision "un
  • MessageFormat (java.text)
    Produces concatenated messages in language-neutral way. New code should probably use java.util.Forma
  • JLabel (javax.swing)
  • Best IntelliJ plugins
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