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

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

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

origin: owlcs/owlapi

  @Override
  public OWLEquivalentClassesAxiom buildObject() {
    return df.getOWLEquivalentClassesAxiom(items, annotations);
  }
}
origin: owlcs/owlapi

@Override
public OWLAxiom visit(OWLEquivalentClassesAxiom axiom) {
  return df.getOWLEquivalentClassesAxiom(
    axiom.classExpressions().map(p -> p.accept(classVisitor)));
}
origin: owlcs/owlapi

@Override
protected void addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory,
  Set<OWLEquivalentClassesAxiom> result) {
  Set<OWLClassExpression> equivalentClasses = asUnorderedSet(
    reasoner.getEquivalentClasses(entity).entities(),
    OWLClassExpression.class);
  equivalentClasses.add(entity);
  if (equivalentClasses.size() > 1) {
    result.add(dataFactory.getOWLEquivalentClassesAxiom(equivalentClasses));
  }
}
origin: owlcs/owlapi

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  Set<OWLClassExpression> eqclasses = replaceBottom(axiom.classExpressions());
  newAxiom = df.getOWLEquivalentClassesAxiom(eqclasses);
}
origin: owlcs/owlapi

@Override
public void visit(OWLEquivalentClassesAxiom axiom) {
  isLocal = false;
  if (pairs(axiom.classExpressions()).map(v -> df.getOWLEquivalentClassesAxiom(v.i, v.j))
    .anyMatch(ax -> !kernel.isEntailed(ax))) {
    return;
  }
  isLocal = true;
}
origin: owlcs/owlapi

@Override
public void handleTriple(IRI s, IRI p, IRI o) {
  consume(s, p, o);
  add(df
    .getOWLEquivalentClassesAxiom(Sets.newHashSet(ce(s), translateEquivalentClass(o))));
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void handleTriple(IRI s, IRI p, IRI o) {
  consume(s, p, o);
  add(df
    .getOWLEquivalentClassesAxiom(Sets.newHashSet(ce(s), translateEquivalentClass(o))));
}
origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) {
  Set<OWLAxiom> axioms = new HashSet<>();
  axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(),
    df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this));
  axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this));
  return axioms;
}
origin: protegeproject/protege

public OWLEntityCreationSet<OWLClass> createAnonymousClass(OWLOntology ont, OWLClassExpression descr){
  OWLClass anonCls = mngr.getOWLDataFactory().getOWLClass(getNextID());
  List<OWLOntologyChange> changes = new ArrayList<>();
  changes.add(new AddAxiom(ont, mngr.getOWLDataFactory().getOWLEquivalentClassesAxiom(anonCls, descr)));
  return new OWLEntityCreationSet<>(anonCls, changes);
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) {
  Set<OWLAxiom> axioms = new HashSet<>();
  axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(),
    df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this));
  axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this));
  return axioms;
}
origin: owlcs/owlapi

  private void translateEquivalentClasses(IRI s, IRI p, IRI o) {
    add(df.getOWLEquivalentClassesAxiom(Sets.newHashSet(ce(s), ce(o)), anns()));
    consume(s, p, o);
  }
}
origin: net.sourceforge.owlapi/owlapi-distribution

  private void translateEquivalentClasses(IRI s, IRI p, IRI o) {
    add(df.getOWLEquivalentClassesAxiom(Sets.newHashSet(ce(s), ce(o)), anns()));
    consume(s, p, o);
  }
}
origin: protegeproject/protege

  private static OWLEntityCreationSet<OWLClass> appendDefinitionToCreationSet(OWLEntityCreationSet<OWLClass> creationSet, OWLClassExpression desc, OWLEditorKit eKit) {
    final OWLClass owlEntity = creationSet.getOWLEntity();
    final OWLAxiom ax = eKit.getOWLModelManager().getOWLDataFactory().getOWLEquivalentClassesAxiom(owlEntity, desc);

    final List<OWLOntologyChange> changes = new ArrayList<>(creationSet.getOntologyChanges());
    changes.add(new AddAxiom(eKit.getOWLModelManager().getActiveOntology(), ax));

    return new OWLEntityCreationSet<>(owlEntity, changes);
  }
}
origin: owlcs/owlapi

 final public OWLClassAxiom EquivalentClasses() throws ParseException {Set<OWLClassExpression> classExpressions;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTCLASSES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  classExpressions = ClassExpressionSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentClassesAxiom(classExpressions, axiomAnnos);
}

origin: owlcs/owlapi

 final public OWLAxiom DefineConcept() throws ParseException {OWLClassExpression clsA;
  OWLClassExpression clsB;
  jj_consume_token(OPENPAR);
  jj_consume_token(DEFINECONCEPT);
  clsA = ConceptName();
  clsB = ConceptExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentClassesAxiom(clsA, clsB);
}

origin: net.sourceforge.owlapi/owlapi-distribution

 final public OWLClassAxiom EquivalentClasses() throws ParseException {Set<OWLClassExpression> classExpressions;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTCLASSES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  classExpressions = ClassExpressionSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentClassesAxiom(classExpressions, axiomAnnos);
}

origin: net.sourceforge.owlapi/owlapi-osgidistribution

 final public OWLAxiom DefineConcept() throws ParseException {OWLClassExpression clsA;
  OWLClassExpression clsB;
  jj_consume_token(OPENPAR);
  jj_consume_token(DEFINECONCEPT);
  clsA = ConceptName();
  clsB = ConceptExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentClassesAxiom(clsA, clsB);
}

origin: owlcs/owlapi

private void createEquivalentClass(OWLClassExpression classExpression) {
  OWLAxiom ax = getDataFactory()
    .getOWLEquivalentClassesAxiom(CollectionFactory.createSet(getCurrentClass(),
      classExpression));
  getOWLOntologyManager().applyChange(new AddAxiom(ontology, ax));
}
origin: owlcs/owlapi

 final public void Equivalent() throws ParseException, KRSS2OWLParserException {OWLClassExpression desc1, desc2;
  jj_consume_token(OPENPAR);
  jj_consume_token(EQUIVALENT);
  desc1 = ConceptExpression();
  desc2 = ConceptExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentClassesAxiom(desc1, desc2));
}

origin: protegeproject/protege

protected OWLClassAxiom createAxiom(OWLClassExpression editedObject) {
  if (getAxiom() instanceof OWLSubClassOfAxiom) {
    return getOWLDataFactory().getOWLSubClassOfAxiom(getRoot(), editedObject);
  }
  else {
    return getOWLDataFactory().getOWLEquivalentClassesAxiom(CollectionFactory.createSet(getRoot(),
                                              editedObject));
  }
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLEquivalentClassesAxiom

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

Popular in Java

  • Creating JSON documents from java classes using gson
  • getResourceAsStream (ClassLoader)
  • onRequestPermissionsResult (Fragment)
  • setContentView (Activity)
  • InputStream (java.io)
    A readable source of bytes.Most clients will use input streams that read data from the file system (
  • SocketTimeoutException (java.net)
    This exception is thrown when a timeout expired on a socket read or accept operation.
  • KeyStore (java.security)
    KeyStore is responsible for maintaining cryptographic keys and their owners. The type of the syste
  • SecureRandom (java.security)
    This class generates cryptographically secure pseudo-random numbers. It is best to invoke SecureRand
  • Comparator (java.util)
    A Comparator is used to compare two objects to determine their ordering with respect to each other.
  • Logger (org.slf4j)
    The org.slf4j.Logger interface is the main user entry point of SLF4J API. It is expected that loggin
  • CodeWhisperer alternatives
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