Tabnine Logo
OWLDisjointUnionAxiom.getOWLClass
Code IndexAdd Tabnine to your IDE (free)

How to use
getOWLClass
method
in
org.semanticweb.owlapi.model.OWLDisjointUnionAxiom

Best Java code snippets using org.semanticweb.owlapi.model.OWLDisjointUnionAxiom.getOWLClass (Showing top 20 results out of 351)

Refine searchRefine arrow

  • OWLDisjointUnionAxiom.classExpressions
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  add(rhs, axiom.classExpressions());
  rhs.add(axiom.getOWLClass());
  lhs.add(axiom.getOWLClass());
  add(lhs, axiom.classExpressions());
}
origin: owlcs/owlapi

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  add(rhs, axiom.classExpressions());
  rhs.add(axiom.getOWLClass());
  lhs.add(axiom.getOWLClass());
  add(lhs, axiom.classExpressions());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public Boolean visit(OWLDisjointUnionAxiom axiom) {
  if (neitherPositiveNorNegative(axiom.getOWLClass()).booleanValue()) {
    return Boolean.FALSE;
  }
  return Boolean
    .valueOf(!axiom.classExpressions().anyMatch(this::neitherPositiveNorNegative));
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  add(rhs, axiom.classExpressions());
  rhs.add(axiom.getOWLClass());
  lhs.add(axiom.getOWLClass());
  add(lhs, axiom.classExpressions());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  v(axiom.getOWLClass());
  v(axiom.classExpressions());
}
origin: net.sourceforge.owlapi/owlapi-parsers

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  addSingleTripleAxiom(axiom, axiom.getOWLClass(), OWL_DISJOINT_UNION_OF.getIRI(),
    axiom.classExpressions());
}
origin: owlcs/owlapi

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  addSingleTripleAxiom(axiom, axiom.getOWLClass(), OWL_DISJOINT_UNION_OF.getIRI(),
    axiom.classExpressions());
}
origin: owlcs/owlapi

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  v(axiom.getOWLClass());
  v(axiom.classExpressions());
}
origin: net.sourceforge.owlapi/owlapi-tools

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  v(axiom.getOWLClass());
  v(axiom.classExpressions());
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  addSingleTripleAxiom(axiom, axiom.getOWLClass(), OWL_DISJOINT_UNION_OF.getIRI(),
    axiom.classExpressions());
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  v(axiom.getOWLClass());
  v(axiom.classExpressions());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  addSingleTripleAxiom(axiom, axiom.getOWLClass(), OWL_DISJOINT_UNION_OF.getIRI(),
    axiom.classExpressions());
}
origin: net.sourceforge.owlapi/owlapi-osgidistribution

@Override
public OWLAxiom visit(OWLDisjointUnionAxiom axiom) {
  return df.getOWLDisjointUnionAxiom(axiom.getOWLClass(),
    asList(axiom.classExpressions().map(p -> p.accept(classVisitor))));
}
origin: owlcs/owlapi

@Override
public OWLAxiom visit(OWLDisjointUnionAxiom axiom) {
  return df.getOWLDisjointUnionAxiom(axiom.getOWLClass(),
    asList(axiom.classExpressions().map(p -> p.accept(classVisitor))));
}
origin: owlcs/owlapi

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  process(axiom);
  axiom.getOWLClass().accept(this);
  axiom.classExpressions().forEach(a -> a.accept(this));
}
origin: owlcs/owlapi

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  sb.append("DisjointUnion(");
  writeAnnotations(axiom);
  axiom.getOWLClass().accept(this);
  insertSpace();
  render(axiom.classExpressions());
  sb.append(" )");
}
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: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  sb.append("DisjointUnion(");
  writeAnnotations(axiom);
  axiom.getOWLClass().accept(this);
  insertSpace();
  render(axiom.classExpressions());
  sb.append(" )");
}
origin: owlcs/owlapi

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  writeAxiomStart(DISJOINT_UNION, axiom);
  acceptAndSpace(axiom.getOWLClass());
  write(axiom.classExpressions());
  writeAxiomEnd();
}
origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  axiom.getOWLClass().accept(this);
  write(EQUAL);
  write(asList(axiom.classExpressions()), OR, false);
}
org.semanticweb.owlapi.modelOWLDisjointUnionAxiomgetOWLClass

Javadoc

Gets the class which is equivalent to the disjoint union.

Popular methods of OWLDisjointUnionAxiom

  • getClassExpressions
    Gets the class expressions which are operands of the disjoint union.
  • classExpressions
    Gets the class expressions which are operands of the disjoint union.
  • getAxiomType
  • annotations
  • getOperandsAsList
  • annotationsAsList
  • getAnnotations
  • hashIndex
  • getOWLDisjointClassesAxiom
    Gets the part of this axiom that corresponds to an DisjointClasses axiom.
  • getOWLEquivalentClassesAxiom
    Gets the part of this axiom that corresponds to an EquivalentClasses axiom.

Popular in Java

  • Reading from database using SQL prepared statement
  • onRequestPermissionsResult (Fragment)
  • orElseThrow (Optional)
    Return the contained value, if present, otherwise throw an exception to be created by the provided s
  • onCreateOptionsMenu (Activity)
  • PrintStream (java.io)
    Fake signature of an existing Java class.
  • URLEncoder (java.net)
    This class is used to encode a string using the format required by application/x-www-form-urlencoded
  • ArrayList (java.util)
    ArrayList is an implementation of List, backed by an array. All optional operations including adding
  • LinkedHashMap (java.util)
    LinkedHashMap is an implementation of Map that guarantees iteration order. All optional operations a
  • List (java.util)
    An ordered collection (also known as a sequence). The user of this interface has precise control ove
  • StringUtils (org.apache.commons.lang)
    Operations on java.lang.String that arenull safe. * IsEmpty/IsBlank - checks if a String contains
  • Best IntelliJ 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