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

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

Best Java code snippets using org.semanticweb.owlapi.model.OWLDataFactory.getOWLDataAllValuesFrom (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) {
      if (fillers.isEmpty()) {
        return;
      }
      OWLDatatype filler = fillers.iterator().next();
      result.add(getDataFactory().getOWLDataAllValuesFrom(prop, filler));
    }
  }
});
origin: net.sourceforge.owlapi/owlapi-osgidistribution

  @Override
  public OWLDataAllValuesFrom buildObject() {
    return df.getOWLDataAllValuesFrom(getProperty(), getDataRange());
  }
}
origin: net.sourceforge.owlapi/org.semanticweb.hermit

@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
  OWLDataPropertyExpression dataProperty=axiom.getProperty();
  checkTopDataPropertyUse(dataProperty,axiom);
  OWLDataAllValuesFrom allPropertyRange=m_factory.getOWLDataAllValuesFrom(dataProperty,positive(axiom.getRange()));
  m_classExpressionInclusionsAsDisjunctions.add(Arrays.asList( allPropertyRange ));
}
@Override
origin: net.sourceforge.owlapi/org.semanticweb.hermit

@Override
public Boolean visit(OWLDataPropertyRangeAxiom axiom) {
  return Boolean.valueOf(reasoner.isSubClassOf(factory.getOWLThing(),factory.getOWLDataAllValuesFrom(axiom.getProperty(),axiom.getRange())));
}
@Override
origin: net.sourceforge.owlapi/org.semanticweb.hermit

@Override
public OWLClassExpression visit(OWLDataAllValuesFrom d) {
  OWLDataRange filler=getNNF(d.getFiller());
  return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler);
}
@Override
origin: com.hermit-reasoner/org.semanticweb.hermit

public OWLClassExpression visit(OWLDataAllValuesFrom d) {
  OWLDataRange filler=getNNF(d.getFiller());
  return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler);
}
public OWLClassExpression visit(OWLDataHasValue d) {
origin: net.sourceforge.owlapi/owlapi-oboformat

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

 final public OWLClassExpression DataAllValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLDataRange dataRange = null;
  jj_consume_token(DATAALLVALUESFROM);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  dataRange = DataRange();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataAllValuesFrom(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 DataAllValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLDataRange dataRange = null;
  jj_consume_token(DATAALLVALUESFROM);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  dataRange = DataRange();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataAllValuesFrom(prop, dataRange);
}

origin: net.sourceforge.owlapi/owlexplanation

@Override
public OWLClassExpression visit(OWLDataPropertyRangeAxiom ax) {
  OWLClassExpression forall = df.getOWLDataAllValuesFrom(ax.getProperty(), ax.getRange());
  return df.getOWLObjectIntersectionOf(df.getOWLThing(), df.getOWLObjectComplementOf(forall));
}
origin: net.sourceforge.owlapi/owlapi

public OWLClassExpression visit(OWLDataSomeValuesFrom desc) {
  OWLDataRange filler = desc.getFiller().accept(this);
  if (negated) {
    return dataFactory.getOWLDataAllValuesFrom(desc.getProperty(), filler);
  } else {
    return dataFactory.getOWLDataSomeValuesFrom(desc.getProperty(), filler);
  }
}
origin: net.sourceforge.owlapi/owlapi-gwt-client-side-emul

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

@Override
public OWLClassExpression visit(OWLDataAllValuesFrom desc) {
  OWLDataRange filler = desc.getFiller().accept(this);
  if (negated) {
    return dataFactory.getOWLDataSomeValuesFrom(desc.getProperty(), filler);
  } else {
    return dataFactory.getOWLDataAllValuesFrom(desc.getProperty(), filler);
  }
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@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: net.sourceforge.owlapi/owlapi-osgidistribution

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

@Override
public OWLDataAllValuesFrom visit(OWLDataAllValuesFrom ce) {
  if (ce.getFiller() instanceof OWLDataOneOf) {
    return df.getOWLDataAllValuesFrom(ce.getProperty(),
      process(ce.getProperty(), (OWLDataOneOf) ce
        .getFiller()));
  }
  return super.visit(ce);
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public Collection<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()),
    df.getOWLDataAllValuesFrom(axiom.getProperty(),
      df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject()))));
}
origin: com.github.ansell.owlapi/owlapi-parsers

@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
  write(TOP);
  writeSpace();
  write(SUBCLASS);
  writeSpace();
  df.getOWLDataAllValuesFrom(axiom.getProperty(), axiom.getRange())
      .accept(this);
}
origin: net.sourceforge.owlapi/org.semanticweb.hermit

@Override
public OWLClassExpression visit(OWLDataAllValuesFrom d) {
  if (d.getFiller().isTopDatatype()) {
    return m_factory.getOWLThing();
  }
  if (getSimplified(d.getFiller()).isTopDatatype())
    return m_factory.getOWLThing();
  else
    return m_factory.getOWLDataAllValuesFrom(d.getProperty(),getSimplified(d.getFiller()));
}
@Override
org.semanticweb.owlapi.modelOWLDataFactorygetOWLDataAllValuesFrom

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
  • putExtra (Intent)
  • addToBackStack (FragmentTransaction)
  • setContentView (Activity)
  • FlowLayout (java.awt)
    A flow layout arranges components in a left-to-right flow, much like lines of text in a paragraph. F
  • Font (java.awt)
    The Font class represents fonts, which are used to render text in a visible way. A font provides the
  • URLEncoder (java.net)
    This class is used to encode a string using the format required by application/x-www-form-urlencoded
  • BlockingQueue (java.util.concurrent)
    A java.util.Queue that additionally supports operations that wait for the queue to become non-empty
  • Semaphore (java.util.concurrent)
    A counting semaphore. Conceptually, a semaphore maintains a set of permits. Each #acquire blocks if
  • JComboBox (javax.swing)
  • 21 Best Atom Packages for 2021
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