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

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

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

origin: owlcs/owlapi

  @Override
  public OWLEquivalentDataPropertiesAxiom buildObject() {
    return df.getOWLEquivalentDataPropertiesAxiom(items, annotations);
  }
}
origin: com.github.ansell.owlapi/owlapi-parsers

@Override
public OWLAxiom createAxiom(OWLDataProperty s, OWLDataPropertyExpression o,
    Set<OWLAnnotation> anns) {
  return dataFactory.getOWLEquivalentDataPropertiesAxiom(s, o, anns);
}
origin: SmartDataAnalytics/DL-Learner

  @Override
  public OWLEquivalentDataPropertiesAxiom getAxiom(OWLDataProperty property, OWLDataProperty otherProperty) {
    return df.getOWLEquivalentDataPropertiesAxiom(property, otherProperty);
  }
}
origin: net.sourceforge.owlapi/owlapi-apibinding

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(
  OWLDataPropertyExpression... properties) {
  return DF.getOWLEquivalentDataPropertiesAxiom(properties);
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(
  Collection<OWLAnnotation> a,
  OWLDataPropertyExpression... properties) {
  return DF.getOWLEquivalentDataPropertiesAxiom(Arrays.asList(properties), a);
}
origin: owlcs/owlapi

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(
  Collection<OWLAnnotation> a,
  OWLDataPropertyExpression... properties) {
  return DF.getOWLEquivalentDataPropertiesAxiom(Arrays.asList(properties), a);
}
origin: net.sourceforge.owlapi/owlapi-distribution

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(
  Collection<OWLAnnotation> a,
  OWLDataPropertyExpression... properties) {
  return DF.getOWLEquivalentDataPropertiesAxiom(Arrays.asList(properties), a);
}
origin: SmartDataAnalytics/DL-Learner

@Override
protected void getExistingAxioms() {
  SortedSet<OWLDataProperty> existingEquivalentProperties = reasoner.getEquivalentProperties(entityToDescribe);
  if (existingEquivalentProperties != null && !existingEquivalentProperties.isEmpty()) {
    for (OWLDataProperty eqProp : existingEquivalentProperties) {
      existingAxioms.add(df.getOWLEquivalentDataPropertiesAxiom(entityToDescribe, eqProp));
    }
    logger.info("Existing axioms:" + existingAxioms);
  }
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner,
  OWLDataFactory dataFactory,
  Set<OWLEquivalentDataPropertiesAxiom> result) {
  Set<OWLDataProperty> props = asUnorderedSet(
    reasoner.getEquivalentDataProperties(entity).entities());
  props.add(entity);
  if (props.size() > 1) {
    result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props));
  }
}
origin: owlcs/owlapi

@Override
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner,
  OWLDataFactory dataFactory,
  Set<OWLEquivalentDataPropertiesAxiom> result) {
  Set<OWLDataProperty> props = asUnorderedSet(
    reasoner.getEquivalentDataProperties(entity).entities());
  props.add(entity);
  if (props.size() > 1) {
    result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props));
  }
}
origin: owlcs/owlapi

@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
  isLocal = false;
  if (pairs(axiom.properties()).map(v -> df.getOWLEquivalentDataPropertiesAxiom(v.i, v.j))
    .anyMatch(ax -> !kernel.isEntailed(ax))) {
    return;
  }
  isLocal = true;
}
origin: net.sourceforge.owlapi/owlapi-distribution

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

@Override
public void visit(OWLEquivalentDataPropertiesAxiom ax) {
  obj = df.getOWLEquivalentDataPropertiesAxiom(set(ax.properties()), anns(ax));
}
origin: com.github.monnetproject/ontology.owlapi

public boolean addEquivalentProperty(Property property) {
  return isChange(manager.addAxiom(onto,
    factory.getOWLEquivalentDataPropertiesAxiom(dataProp,convert((DatatypeProperty)property))));
}
public boolean removeEquivalentProperty(Property property) {
origin: owlcs/owlapi

 final public OWLPropertyAxiom EquivalentDataProperties() throws ParseException {Set<OWLDataPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTDATAPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = DataPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentDataPropertiesAxiom(props, axiomAnnos);
}

origin: com.github.ansell.owlapi/owlapi-parsers

final public OWLPropertyAxiom EquivalentDataProperties() throws ParseException {
  Set<OWLDataPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTDATAPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = DataPropertySet();
  jj_consume_token(CLOSEPAR);
  return dataFactory.getOWLEquivalentDataPropertiesAxiom(props, axiomAnnos);
}
origin: owlcs/owlapi

@Override
public Object visit(OWLEquivalentDataPropertiesAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLEquivalentDataPropertiesAxiom(t(axiom.properties()), t(axiom
      .annotations())));
}
origin: net.sourceforge.owlapi/owlapi-distribution

 final public OWLPropertyAxiom EquivalentDataProperties() throws ParseException {Set<OWLDataPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTDATAPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = DataPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentDataPropertiesAxiom(props, axiomAnnos);
}

origin: owlcs/owlapi

private void initialiseDataPropertyFrameSections() {
  //@formatter:off
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), SUB_PROPERTY_OF, (s, o, anns) -> df.getOWLSubDataPropertyOfAxiom(s, o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), EQUIVALENT_TO, (s, o, anns) -> df.getOWLEquivalentDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), DISJOINT_WITH, (s, o, anns) -> df.getOWLDisjointDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLClassExpression>(x -> parseUnion(), DOMAIN, (s, o, anns) -> df.getOWLDataPropertyDomainAxiom(s, o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataRange>(x -> parseDataRange(), RANGE, (s, o, anns) -> df.getOWLDataPropertyRangeAxiom(s, o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyCharacteristicAxiom>(this::parseDataPropertyCharacteristic, CHARACTERISTICS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> df.getOWLAnnotationAssertionAxiom(s.getIRI(), o, anns)), dataPropertyFrameSections);
  //@formatter:on
}
origin: net.sourceforge.owlapi/owlapi-distribution

private void initialiseDataPropertyFrameSections() {
  //@formatter:off
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), SUB_PROPERTY_OF, (s, o, anns) -> df.getOWLSubDataPropertyOfAxiom(s, o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), EQUIVALENT_TO, (s, o, anns) -> df.getOWLEquivalentDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), DISJOINT_WITH, (s, o, anns) -> df.getOWLDisjointDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLClassExpression>(x -> parseUnion(), DOMAIN, (s, o, anns) -> df.getOWLDataPropertyDomainAxiom(s, o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataRange>(x -> parseDataRange(), RANGE, (s, o, anns) -> df.getOWLDataPropertyRangeAxiom(s, o, anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyCharacteristicAxiom>(this::parseDataPropertyCharacteristic, CHARACTERISTICS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), dataPropertyFrameSections);
  initialiseSection(new AnnAxiom<OWLDataProperty, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> df.getOWLAnnotationAssertionAxiom(s.getIRI(), o, anns)), dataPropertyFrameSections);
  //@formatter:on
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLEquivalentDataPropertiesAxiom

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

  • Making http requests using okhttp
  • onCreateOptionsMenu (Activity)
  • scheduleAtFixedRate (ScheduledExecutorService)
  • orElseThrow (Optional)
    Return the contained value, if present, otherwise throw an exception to be created by the provided s
  • EOFException (java.io)
    Thrown when a program encounters the end of a file or stream during an input operation.
  • InputStreamReader (java.io)
    A class for turning a byte stream into a character stream. Data read from the source input stream is
  • UnknownHostException (java.net)
    Thrown when a hostname can not be resolved.
  • NoSuchElementException (java.util)
    Thrown when trying to retrieve an element past the end of an Enumeration or Iterator.
  • Pattern (java.util.regex)
    Patterns are compiled regular expressions. In many cases, convenience methods such as String#matches
  • JOptionPane (javax.swing)
  • Sublime Text for Python
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