congrats Icon
New! Tabnine Pro 14-day free trial
Start a free trial
Tabnine Logo
OWLDataFactory.getOWLObjectIntersectionOf
Code IndexAdd Tabnine to your IDE (free)

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

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

origin: owlcs/owlapi

  @Override
  public OWLObjectIntersectionOf buildObject() {
    return df.getOWLObjectIntersectionOf(items);
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

  @Override
  public OWLObjectIntersectionOf buildObject() {
    return df.getOWLObjectIntersectionOf(items);
  }
}
origin: owlcs/owlapi

@Override
protected OWLClassExpression translateEquivalentClass(IRI mainNode) {
  return df.getOWLObjectIntersectionOf(
    consumer.translatorAccessor.translateToClassExpressionSet(mainNode));
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
protected OWLClassExpression translateEquivalentClass(IRI mainNode) {
  return df.getOWLObjectIntersectionOf(
    consumer.translatorAccessor.translateToClassExpressionSet(mainNode));
}
origin: owlcs/owlapi

@Override
public OWLClassExpression visit(OWLDifferentIndividualsAxiom axiom) {
  Set<OWLClassExpression> nominals = new HashSet<>();
  axiom.individuals().forEach(ind -> nominals.add(oneOf(ind)));
  return factory.getOWLObjectIntersectionOf(nominals);
}
origin: owlcs/owlapi

private void createIntersectionEquivalentClass() {
  OWLClassExpression equivalentClass;
  if (intersectionOfOperands.size() == 1) {
    equivalentClass = intersectionOfOperands.iterator().next();
  } else {
    equivalentClass = getDataFactory().getOWLObjectIntersectionOf(intersectionOfOperands);
  }
  createEquivalentClass(equivalentClass);
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public OWLClassExpression visit(OWLDifferentIndividualsAxiom axiom) {
  Set<OWLClassExpression> nominals = new HashSet<>();
  axiom.individuals().forEach(ind -> nominals.add(oneOf(ind)));
  return factory.getOWLObjectIntersectionOf(nominals);
}
origin: owlcs/owlapi

  @Override
  public Optional<OWLClassExpression> visit(OWLSubClassOfAxiom axiom) {
    return Optional
      .of(df.getOWLObjectIntersectionOf(axiom.getSubClass(), df.getOWLObjectComplementOf(axiom
        .getSuperClass())));
  }
}
origin: owlcs/owlapi

@Override
public OWLClassExpression visit(OWLObjectIntersectionOf ce) {
  Stream<OWLClassExpression> ops = ce.operands().map(p -> p.accept(this));
  if (negated) {
    return df.getOWLObjectUnionOf(ops);
  }
  return df.getOWLObjectIntersectionOf(ops);
}
origin: owlcs/owlapi

@Override
public OWLClassExpression visit(OWLObjectUnionOf ce) {
  Stream<OWLClassExpression> ops = ce.operands().map(p -> p.accept(this));
  if (negated) {
    // Flip to an intersection
    return df.getOWLObjectIntersectionOf(ops);
  }
  return df.getOWLObjectUnionOf(ops);
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public OWLClassExpression visit(OWLObjectUnionOf ce) {
  Stream<OWLClassExpression> ops = ce.operands().map(p -> p.accept(this));
  if (negated) {
    // Flip to an intersection
    return df.getOWLObjectIntersectionOf(ops);
  }
  return df.getOWLObjectUnionOf(ops);
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public OWLClassExpression visit(OWLObjectIntersectionOf ce) {
  Stream<OWLClassExpression> ops = ce.operands().map(p -> p.accept(this));
  if (negated) {
    return df.getOWLObjectUnionOf(ops);
  }
  return df.getOWLObjectIntersectionOf(ops);
}
origin: owlcs/owlapi

  protected void amalgamate(OWLOntology ont, OWLClass cls) {
    List<OWLSubClassOfAxiom> axioms = asList(ont.subClassAxiomsForSubClass(cls));
    if (axioms.size() < 2) {
      return;
    }
    axioms.forEach(ax -> addChange(new RemoveAxiom(ont, ax)));
    Stream<OWLClassExpression> superclasses = axioms.stream()
      .map(OWLSubClassOfAxiom::getSuperClass);
    OWLObjectIntersectionOf intersection = df.getOWLObjectIntersectionOf(superclasses);
    addChange(new AddAxiom(ont, df.getOWLSubClassOfAxiom(cls, intersection)));
  }
}
origin: owlcs/owlapi

 final public OWLClassExpression ObjectIntersectionOf() throws ParseException {Set<OWLClassExpression> classExpressions;
  jj_consume_token(OBJECTINTERSECTIONOF);
  jj_consume_token(OPENPAR);
  classExpressions = ClassExpressionSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectIntersectionOf(classExpressions);
}

origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
  // A and not (B)
  OWLClassExpression complement = dataFactory.getOWLObjectComplementOf(axiom.getSuperClass());
  desc = dataFactory.getOWLObjectIntersectionOf(
    CollectionFactory.createSet(axiom.getSubClass(), complement));
}
origin: owlcs/owlapi

 final public OWLClassExpression And() throws ParseException {Set<OWLClassExpression> operands;
  jj_consume_token(OPENPAR);
  jj_consume_token(AND);
  operands = ConceptSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectIntersectionOf(operands);
}

origin: owlcs/owlapi

 final public OWLClassExpression And() throws ParseException, KRSS2OWLParserException {Set<OWLClassExpression> operands;
  jj_consume_token(OPENPAR);
  jj_consume_token(AND);
  operands = ConceptSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectIntersectionOf(operands);
}

origin: net.sourceforge.owlapi/owlapi-distribution

 final public OWLClassExpression And() throws ParseException, KRSS2OWLParserException {Set<OWLClassExpression> operands;
  jj_consume_token(OPENPAR);
  jj_consume_token(AND);
  operands = ConceptSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectIntersectionOf(operands);
}

origin: owlcs/owlapi

  @Override
  public OWLObjectIntersectionOf translate(IRI mainNode) {
    IRI listNode = getConsumer().getResourceObject(mainNode, OWL_INTERSECTION_OF, true);
    Set<OWLClassExpression> classExpressions = accessor
      .translateToClassExpressionSet(verifyNotNull(listNode));
    return getDataFactory().getOWLObjectIntersectionOf(classExpressions);
  }
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

  @Override
  public OWLObjectIntersectionOf translate(IRI mainNode) {
    IRI listNode = getConsumer().getResourceObject(mainNode, OWL_INTERSECTION_OF, true);
    Set<OWLClassExpression> classExpressions = accessor
      .translateToClassExpressionSet(verifyNotNull(listNode));
    return getDataFactory().getOWLObjectIntersectionOf(classExpressions);
  }
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLObjectIntersectionOf

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
  • getOWLEquivalentClassesAxiom
  • getOWLObjectSomeValuesFrom
    Gets an OWLObjectSomeValuesFrom restriction
  • getOWLEquivalentClassesAxiom,
  • getOWLObjectSomeValuesFrom,
  • getOWLNothing,
  • getOWLObjectComplementOf,
  • getOWLObjectPropertyAssertionAxiom,
  • getOWLAnnotationAssertionAxiom,
  • getOWLDataPropertyAssertionAxiom,
  • getOWLDatatype,
  • getOWLAnnotation

Popular in Java

  • Parsing JSON documents to java classes using gson
  • setScale (BigDecimal)
  • getSystemService (Context)
  • scheduleAtFixedRate (ScheduledExecutorService)
  • Table (com.google.common.collect)
    A collection that associates an ordered pair of keys, called a row key and a column key, with a sing
  • Socket (java.net)
    Provides a client-side TCP socket.
  • Arrays (java.util)
    This class contains various methods for manipulating arrays (such as sorting and searching). This cl
  • Set (java.util)
    A Set is a data structure which does not allow duplicate elements.
  • Vector (java.util)
    Vector is an implementation of List, backed by an array and synchronized. All optional operations in
  • Servlet (javax.servlet)
    Defines methods that all servlets must implement. A servlet is a small Java program that runs within
  • 14 Best Plugins for Eclipse
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