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

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

Best Java code snippets using org.semanticweb.owlapi.model.OWLDisjointUnionAxiom.getAxiomType (Showing top 8 results out of 315)

origin: com.github.galigator.openllet/openllet-owlapi

@Override
public void visit(final OWLDisjointUnionAxiom axiom)
{
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType());
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom);
}
origin: Galigator/openllet

@Override
public void visit(final OWLDisjointUnionAxiom axiom)
{
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType());
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom);
}
origin: Galigator/openllet

@Override
public void visit(final OWLDisjointUnionAxiom axiom)
{
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType());
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom);
}
origin: net.sourceforge.owlapi/pellet-owlapi-ignazio1977

public void visit(OWLDisjointUnionAxiom axiom) {
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains( axiom.getAxiomType() );
  
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom );
}
origin: com.github.ansell.pellet/pellet-owlapiv3

public void visit(OWLDisjointUnionAxiom axiom) {
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains( axiom.getAxiomType() );
  
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom );
}
origin: net.sourceforge.owlapi/owlapi-gwt-supersource

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}
origin: net.sourceforge.owlapi/owlapi

public void visit(OWLDisjointUnionAxiom axiom) {
  type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}
origin: net.sourceforge.owlapi/owlapi-gwt-client-side-emul

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}
org.semanticweb.owlapi.modelOWLDisjointUnionAxiomgetAxiomType

Popular methods of OWLDisjointUnionAxiom

  • getOWLClass
    Gets the class which is equivalent to the disjoint union.
  • getClassExpressions
    Gets the class expressions which are operands of the disjoint union.
  • classExpressions
    Gets the class expressions which are operands of the disjoint union.
  • 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

  • Making http requests using okhttp
  • runOnUiThread (Activity)
  • onCreateOptionsMenu (Activity)
  • setRequestProperty (URLConnection)
  • BigDecimal (java.math)
    An immutable arbitrary-precision signed decimal.A value is represented by an arbitrary-precision "un
  • Arrays (java.util)
    This class contains various methods for manipulating arrays (such as sorting and searching). This cl
  • Date (java.util)
    A specific moment in time, with millisecond precision. Values typically come from System#currentTime
  • ServletException (javax.servlet)
    Defines a general exception a servlet can throw when it encounters difficulty.
  • IOUtils (org.apache.commons.io)
    General IO stream manipulation utilities. This class provides static utility methods for input/outpu
  • Scheduler (org.quartz)
    This is the main interface of a Quartz Scheduler. A Scheduler maintains a registry of org.quartz.Job
  • Top plugins for Android Studio
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