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

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

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

origin: protegeproject/protege

  public void createRestrictions(Set<OWLDataProperty> properties, Set<OWLDatatype> fillers,
                  Set<OWLClassExpression> result) {
    for (OWLDataProperty prop : properties) {
      for (OWLDatatype filler : fillers) {
        result.add(getDataFactory().getOWLDataSomeValuesFrom(prop, filler));
      }
    }
  }
});
origin: owlcs/owlapi

  @Override
  public OWLDataSomeValuesFrom buildObject() {
    return df.getOWLDataSomeValuesFrom(getProperty(), getDataRange());
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

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

@Override
public OWLClassExpression visit(OWLDataSomeValuesFrom ce) {
  OWLDataRange filler = ce.getFiller().accept(rangeVisitor);
  return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler);
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public OWLClassExpression visit(OWLDataPropertyRangeAxiom ax) {
  return df.getOWLDataSomeValuesFrom(ax.getProperty(),
    df.getOWLDataComplementOf(ax.getRange()));
}
origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) {
  return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()),
    axiom.getDomain());
}
origin: owlcs/owlapi

@Override
public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = factory
    .getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype());
  return and(sub, not(axiom.getDomain()));
}
origin: owlcs/owlapi

@Override
public OWLClassExpression visit(OWLDataSomeValuesFrom ce) {
  OWLDataRange filler = ce.getFiller().accept(dataVisitor);
  if (negated) {
    return df.getOWLDataAllValuesFrom(ce.getProperty(), filler);
  }
  return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler);
}
origin: owlcs/owlapi

@Override
public OWLClassExpression visit(OWLDataAllValuesFrom ce) {
  OWLDataRange filler = ce.getFiller().accept(dataVisitor);
  if (negated) {
    return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler);
  }
  return df.getOWLDataAllValuesFrom(ce.getProperty(), filler);
}
origin: owlcs/owlapi

@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = dataFactory
    .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory
      .getTopDatatype());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
  ax.accept(this);
}
origin: net.sourceforge.owlapi/owlapi-distribution

 final public OWLClassExpression DataSomeValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLDataRange dataRange = null;
  jj_consume_token(DATASOMEVALUESFROM);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  dataRange = DataRange();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataSomeValuesFrom(prop, dataRange);
}

origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public OWLClassExpression visit(OWLDataSomeValuesFrom ce) {
  OWLDataRange filler = ce.getFiller().accept(dataVisitor);
  if (negated) {
    return df.getOWLDataAllValuesFrom(ce.getProperty(), filler);
  }
  return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler);
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

 final public OWLClassExpression DataSomeValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLDataRange dataRange = null;
  jj_consume_token(DATASOMEVALUESFROM);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  dataRange = DataRange();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataSomeValuesFrom(prop, dataRange);
}

origin: owlcs/owlapi

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

@Override
public OWLDataSomeValuesFrom visit(OWLDataSomeValuesFrom ce) {
  if (ce.getFiller() instanceof OWLDataOneOf) {
    return df.getOWLDataSomeValuesFrom(ce.getProperty(),
      process(ce.getProperty(), (OWLDataOneOf) ce
        .getFiller()));
  }
  return super.visit(ce);
}
origin: protegeproject/protege

  public void visit(OWLDataMinCardinality min) {
    if (min.getCardinality() == 1 && min.isQualified()){
      OWLDataSomeValuesFrom someValuesFrom =
          getOWLDataFactory().getOWLDataSomeValuesFrom(min.getProperty(), min.getFiller());
      visit(someValuesFrom);
    }
    else{
      super.visit(min);
    }
  }
}
origin: owlcs/owlapi

@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
  df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this);
  writeSpace();
  write(SUBCLASS);
  writeSpace();
  axiom.getDomain().accept(this);
}
origin: owlcs/owlapi

  @Override
  public OWLDataSomeValuesFrom translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataSomeValuesFrom(property, filler);
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

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

  @Override
  public OWLDataSomeValuesFrom translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataSomeValuesFrom(property, filler);
  }
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLDataSomeValuesFrom

Javadoc

Gets an OWLDataSomeValuesFrom restriction

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

  • Reading from database using SQL prepared statement
  • notifyDataSetChanged (ArrayAdapter)
  • getSystemService (Context)
  • onCreateOptionsMenu (Activity)
  • BufferedReader (java.io)
    Wraps an existing Reader and buffers the input. Expensive interaction with the underlying reader is
  • FileReader (java.io)
    A specialized Reader that reads from a file in the file system. All read requests made by calling me
  • FileWriter (java.io)
    A specialized Writer that writes to a file in the file system. All write requests made by calling me
  • InetAddress (java.net)
    An Internet Protocol (IP) address. This can be either an IPv4 address or an IPv6 address, and in pra
  • URLEncoder (java.net)
    This class is used to encode a string using the format required by application/x-www-form-urlencoded
  • Location (org.springframework.beans.factory.parsing)
    Class that models an arbitrary location in a Resource.Typically used to track the location of proble
  • Top 15 Vim Plugins
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