congrats Icon
New! Announcing Tabnine Chat Beta
Learn More
Tabnine Logo
OWLDataFactory.getOWLObjectOneOf
Code IndexAdd Tabnine to your IDE (free)

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

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

origin: owlcs/owlapi

  @Override
  public OWLObjectOneOf buildObject() {
    return df.getOWLObjectOneOf(items);
  }
}
origin: net.sourceforge.owlapi/owlapi-parsers

  @Override
  protected OWLClassExpression translateEquivalentClass(IRI mainNode) {
    return df
      .getOWLObjectOneOf(consumer.translatorAccessor.translateToIndividualSet(mainNode));
  }
}
origin: net.sourceforge.owlapi/owlapi

public Set<OWLAxiom> visit(OWLDifferentIndividualsAxiom axiom) {
  // Explode into pairwise nominals?
  Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
  List<OWLIndividual> individuals = new ArrayList<OWLIndividual>(axiom.getIndividuals());
  for (int i = 0; i < individuals.size(); i++) {
    for (int j = i + 1; j < individuals.size(); j++) {
      axioms.addAll(subClassOf(df.getOWLObjectOneOf(individuals.get(i)),
          df.getOWLObjectOneOf(individuals.get(j))));
    }
  }
  return axioms;
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public Collection<OWLAxiom> visit(OWLDifferentIndividualsAxiom axiom) {
  return axiom.walkPairwise(
    (a, b) -> subClassOfSingle(df.getOWLObjectOneOf(a), df.getOWLObjectOneOf(b)));
}
origin: net.sourceforge.owlapi/owlapi-distribution

  @Override
  protected OWLClassExpression translateEquivalentClass(IRI mainNode) {
    return df
      .getOWLObjectOneOf(consumer.translatorAccessor.translateToIndividualSet(mainNode));
  }
}
origin: protegeproject/protege

  public void visit(OWLObjectHasValue node) {
    if (node.getProperty().equals(objectProperty)) {
      fillers.add(dataFactory.getOWLObjectOneOf(Collections.singleton(node.getValue())));
    }
  }
}
origin: com.hermit-reasoner/org.semanticweb.hermit

protected void axiomatizeTopObjectProperty(OWLAxioms axioms) {
  // TransitiveObjectProperty( owl:topObjectProperty )
  axioms.m_complexObjectPropertyInclusions.add(new OWLAxioms.ComplexObjectPropertyInclusion(m_topObjectProperty));
  // SymmetricObjectProperty( owl:topObjectProperty )
  axioms.m_simpleObjectPropertyInclusions.add(new OWLObjectPropertyExpression[] { m_topObjectProperty,m_topObjectProperty.getInverseProperty() });
  // SubClassOf( owl:Thing ObjectSomeValuesFrom( owl:topObjectProperty ObjectOneOf( <internal:nam#topIndividual> ) ) )
  OWLIndividual newIndividual=m_factory.getOWLNamedIndividual(IRI.create("internal:nam#topIndividual"));
  OWLObjectOneOf oneOfNewIndividual=m_factory.getOWLObjectOneOf(newIndividual);
  OWLObjectSomeValuesFrom hasTopNewIndividual=m_factory.getOWLObjectSomeValuesFrom(m_topObjectProperty,oneOfNewIndividual);
  axioms.m_conceptInclusions.add(new OWLClassExpression[] { hasTopNewIndividual });
}
protected void axiomatizeBottomObjectProperty(OWLAxioms axioms) {
origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLClassAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getIndividual()),
    axiom.getClassExpression());
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public Collection<OWLAxiom> visit(OWLClassAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getIndividual()),
    axiom.getClassExpression());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public Collection<OWLAxiom> visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()),
    df.getOWLObjectAllValuesFrom(axiom.getProperty(),
      df.getOWLObjectComplementOf(df.getOWLObjectOneOf(axiom.getObject()))));
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public Collection<OWLAxiom> visit(OWLClassAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getIndividual()),
    axiom.getClassExpression());
}
origin: net.sourceforge.owlapi/org.semanticweb.hermit

@Override
public OWLClassExpression visit(OWLObjectHasValue d) {
  OWLObjectOneOf nominal=m_factory.getOWLObjectOneOf(d.getFiller());
  return m_factory.getOWLObjectSomeValuesFrom(d.getProperty(),nominal);
}
@Override
origin: owlcs/owlapi

@Override
public void visit(OWLClassAssertionAxiom axiom) {
  OWLClassExpression sub = dataFactory.getOWLObjectOneOf(axiom.getIndividual());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getClassExpression());
  ax.accept(this);
}
origin: owlcs/owlapi

 final public OWLClassExpression ObjectOneOf() throws ParseException {Set<OWLIndividual> individuals;
  jj_consume_token(OBJECTONEOF);
  jj_consume_token(OPENPAR);
  individuals = IndividualMinOneSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectOneOf(individuals);
}

origin: net.sourceforge.owlapi/owlapi-distribution

 final public OWLClassExpression ObjectOneOf() throws ParseException {Set<OWLIndividual> individuals;
  jj_consume_token(OBJECTONEOF);
  jj_consume_token(OPENPAR);
  individuals = IndividualMinOneSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectOneOf(individuals);
}

origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public void visit(OWLClassAssertionAxiom axiom) {
  OWLClassExpression sub = dataFactory.getOWLObjectOneOf(axiom.getIndividual());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getClassExpression());
  ax.accept(this);
}
origin: owlcs/owlapi

  @Override
  public OWLObjectOneOf translate(IRI mainNode) {
    IRI oneOfObject = getConsumer().getResourceObject(mainNode, OWL_ONE_OF, true);
    Set<OWLIndividual> individuals = accessor
      .translateToIndividualSet(verifyNotNull(oneOfObject));
    return getDataFactory().getOWLObjectOneOf(individuals);
  }
}
origin: com.github.ansell.owlapi/owlapi-parsers

  @Override
  public OWLObjectOneOf translate(IRI mainNode) {
    IRI oneOfObject = getConsumer().getResourceObject(mainNode, OWL_ONE_OF, true);
    Set<OWLIndividual> individuals = getConsumer().translateToIndividualSet(oneOfObject);
    return getDataFactory().getOWLObjectOneOf(individuals);
  }
}
origin: net.sourceforge.owlapi/owlapi

public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  OWLDataFactory df = getOWLDataFactory();
  return df.getOWLSubClassOfAxiom(
      df.getOWLObjectOneOf(getSubject()),
      df.getOWLObjectComplementOf(
          df.getOWLDataHasValue(getProperty(), getObject())
      )
  );
}
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()))));
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLObjectOneOf

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

  • Reactive rest calls using spring rest template
  • setContentView (Activity)
  • getSharedPreferences (Context)
  • getExternalFilesDir (Context)
  • FileReader (java.io)
    A specialized Reader that reads from a file in the file system. All read requests made by calling me
  • MessageFormat (java.text)
    Produces concatenated messages in language-neutral way. New code should probably use java.util.Forma
  • NoSuchElementException (java.util)
    Thrown when trying to retrieve an element past the end of an Enumeration or Iterator.
  • ConcurrentHashMap (java.util.concurrent)
    A plug-in replacement for JDK1.5 java.util.concurrent.ConcurrentHashMap. This version is based on or
  • Collectors (java.util.stream)
  • Get (org.apache.hadoop.hbase.client)
    Used to perform Get operations on a single row. To get everything for a row, instantiate a Get objec
  • Top PhpStorm 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