Tabnine Logo
OWLDataFactory.getOWLEquivalentObjectPropertiesAxiom
Code IndexAdd Tabnine to your IDE (free)

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

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

origin: owlcs/owlapi

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

@Override
public OWLAxiom createAxiom(OWLObjectProperty s, OWLObjectPropertyExpression o,
    Set<OWLAnnotation> anns) {
  return dataFactory.getOWLEquivalentObjectPropertiesAxiom(s, o, anns);
}
origin: net.sourceforge.owlapi/owlapi-apibinding

public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties(
  Collection<OWLAnnotation> a,
  OWLObjectPropertyExpression... properties) {
  return DF.getOWLEquivalentObjectPropertiesAxiom(Arrays.asList(properties), a);
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties(
  Collection<OWLAnnotation> a,
  OWLObjectPropertyExpression... properties) {
  return DF.getOWLEquivalentObjectPropertiesAxiom(Arrays.asList(properties), a);
}
origin: owlcs/owlapi

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

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

  private void translateEquivalentObjectProperties(IRI subject, IRI predicate, IRI object) throws OWLOntologyChangeException {
    Set<OWLObjectPropertyExpression> props = new HashSet<OWLObjectPropertyExpression>();
    props.add(translateObjectProperty(subject));
    props.add(translateObjectProperty(object));
    addAxiom(getDataFactory().getOWLEquivalentObjectPropertiesAxiom(props, getPendingAnnotations()));
    consumeTriple(subject, predicate, object);
  }
}
origin: owlcs/owlapi

@Override
public Object visit(OWLEquivalentObjectPropertiesAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLEquivalentObjectPropertiesAxiom(t(axiom.properties()), t(axiom
      .annotations())));
}
origin: owlcs/owlapi

 final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTOBJECTPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = ObjectPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos);
}

origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public Object visit(OWLEquivalentObjectPropertiesAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLEquivalentObjectPropertiesAxiom(t(axiom.properties()), t(axiom
      .annotations())));
}
origin: com.github.ansell.owlapi/owlapi-parsers

final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {
  Set<OWLObjectPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTOBJECTPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = ObjectPropertySet();
  jj_consume_token(CLOSEPAR);
  return dataFactory.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos);
}
origin: net.sourceforge.owlapi/owlapi-distribution

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

 final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTOBJECTPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = ObjectPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos);
}

origin: net.sourceforge.owlapi/owlapi-parsers

 final public OWLPropertyAxiom EquivalentObjectProperties() throws ParseException {Set<OWLObjectPropertyExpression> props;
  Set<OWLAnnotation> axiomAnnos;
  jj_consume_token(EQUIVALENTOBJECTPROPERTIES);
  jj_consume_token(OPENPAR);
  axiomAnnos = AxiomAnnotationSet();
  props = ObjectPropertySet();
  jj_consume_token(CLOSEPAR);
return df.getOWLEquivalentObjectPropertiesAxiom(props, axiomAnnos);
}

origin: owlcs/owlapi

 final public 
void DefineRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression propA, propB;
  jj_consume_token(OPENPAR);
  jj_consume_token(DEFINEROLE);
  propA = RoleExpression();
  propB = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(propA, propB));
}

origin: owlcs/owlapi

 final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression exp1;
  OWLObjectPropertyExpression exp2;
  jj_consume_token(OPENPAR);
  jj_consume_token(ROLESEQUIVALENT);
  exp1 = RoleExpression();
  exp2 = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2));
}

origin: net.sourceforge.owlapi/owlapi-parsers

 final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression exp1;
  OWLObjectPropertyExpression exp2;
  jj_consume_token(OPENPAR);
  jj_consume_token(ROLESEQUIVALENT);
  exp1 = RoleExpression();
  exp2 = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2));
}

origin: net.sourceforge.owlapi/owlapi-distribution

 final public 
void DefineRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression propA, propB;
  jj_consume_token(OPENPAR);
  jj_consume_token(DEFINEROLE);
  propA = RoleExpression();
  propB = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(propA, propB));
}

origin: net.sourceforge.owlapi/owlapi-osgidistribution

 final public 
void DefineRole() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression propA, propB;
  jj_consume_token(OPENPAR);
  jj_consume_token(DEFINEROLE);
  propA = RoleExpression();
  propB = RoleExpression();
  jj_consume_token(CLOSEPAR);
addAxiom(df.getOWLEquivalentObjectPropertiesAxiom(propA, propB));
}

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

final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException {
  OWLObjectPropertyExpression exp1;
  OWLObjectPropertyExpression exp2;
  jj_consume_token(OPENPAR);
  jj_consume_token(ROLESEQUIVALENT);
  exp1 = RoleExpression();
  exp2 = RoleExpression();
  jj_consume_token(CLOSEPAR);
  addAxiom(dataFactory.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2));
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLEquivalentObjectPropertiesAxiom

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
  • orElseThrow (Optional)
    Return the contained value, if present, otherwise throw an exception to be created by the provided s
  • getResourceAsStream (ClassLoader)
  • getOriginalFilename (MultipartFile)
    Return the original filename in the client's filesystem.This may contain path information depending
  • PrintWriter (java.io)
    Wraps either an existing OutputStream or an existing Writerand provides convenience methods for prin
  • MessageFormat (java.text)
    Produces concatenated messages in language-neutral way. New code should probably use java.util.Forma
  • Comparator (java.util)
    A Comparator is used to compare two objects to determine their ordering with respect to each other.
  • Hashtable (java.util)
    A plug-in replacement for JDK1.5 java.util.Hashtable. This version is based on org.cliffc.high_scale
  • Properties (java.util)
    A Properties object is a Hashtable where the keys and values must be Strings. Each property can have
  • JComboBox (javax.swing)
  • Best plugins for Eclipse
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