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

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

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

origin: protegeproject/protege

public Set<OWLClass> getRoots() {
  if (root == null) {
    root = owlOntologyManager.getOWLDataFactory().getOWLThing();
  }
  return Collections.singleton(root);
}
origin: owlcs/owlapi

/**
 * @param writer writer
 * @param df data factory
 */
public LatexObjectVisitor(LatexWriter writer, OWLDataFactory df) {
  this.writer = writer;
  this.df = df;
  shortFormProvider = new SimpleShortFormProvider();
  subject = df.getOWLThing();
}
origin: protegeproject/protege

private Set<OWLEntity> getAllReferencedEntities() {
  Set<OWLEntity> entities = new HashSet<>();
  for(OWLOntology ont : ontologies) {
    entities.addAll(ont.getSignature());
  }
  entities.remove(mngr.getOWLDataFactory().getOWLThing());
  return entities;
}
origin: owlcs/owlapi

@Override
@Nullable
public OWLClass getOWLClass(String name) {
  if ("Thing".equals(name) || "owl:Thing".equals(name)) {
    return df.getOWLThing();
  } else if ("Nothing".equals(name) || "owl:Nothing".equals(name)) {
    return df.getOWLNothing();
  } else if (classNames.contains(name)) {
    return df.getOWLClass(getIRI(name));
  }
  return null;
}
origin: owlcs/owlapi

@Override
public void visit(OWLDataAllValuesFrom ce) {
  if (signature.contains(ce.getProperty().asOWLDataProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLThing();
  }
}
origin: owlcs/owlapi

@Override
public void visit(OWLDataMaxCardinality ce) {
  if (signature.contains(ce.getProperty().asOWLDataProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLThing();
  }
}
origin: owlcs/owlapi

@Override
public void visit(OWLObjectMaxCardinality ce) {
  if (signature.contains(ce.getProperty().getNamedProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLThing();
  }
}
origin: protegeproject/protege

public void visit(OWLObjectSomeValuesFrom restr) {
  if (restr.getProperty().equals(getObjectProperty())) {
    OWLClassExpression filler = restr.getFiller();
    if (!filler.equals(owlDataFactory.getOWLThing())) {
      fillers.add(filler);
    }
  }
}
origin: owlcs/owlapi

@Override
void startElement(String name) {
  super.startElement(name);
  builder.withRange(df.getOWLThing());
}
origin: protegeproject/protege

  private void handleCardinality(OWLObjectCardinalityRestriction restr) {
    if (restr.getProperty().equals(getObjectProperty()) && restr.getCardinality() > 0) {
      OWLClassExpression filler = restr.getFiller();
      if (!filler.equals(owlDataFactory.getOWLThing())) {
        fillers.add(filler);
      }
    }
  }
}
origin: protegeproject/protege

public boolean canCreateNewSibling() {
  return isInAssertedMode() &&
      !getSelectedEntities().isEmpty() &&
      !getSelectedEntity().equals(getOWLModelManager().getOWLDataFactory().getOWLThing());
}
origin: owlcs/owlapi

@Override
public Node<OWLClass> getTopClassNode() {
  ensurePrepared();
  return classHierarchyInfo.getEquivalents(getDataFactory().getOWLThing());
}
origin: protegeproject/protege

public ProtegeOrphanFinder(OWLOntologyManager manager, Set<OWLOntology> ontologies) {
  this.manager = manager;
  this.ontologies = ontologies;
  root = manager.getOWLDataFactory().getOWLThing();
  parentClassExtractor = new ParentClassExtractor();
  rootFinder = new TerminalElementFinder<>(cls -> {
    Collection<OWLClass> parents = getParents(cls);
    parents.remove(root);
    return parents;
  });
}

origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLFunctionalDataPropertyAxiom axiom) {
  return doDefault(df.getOWLSubClassOfAxiom(df.getOWLThing(),
    df.getOWLDataMaxCardinality(1, axiom.getProperty())));
}
origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLFunctionalObjectPropertyAxiom axiom) {
  return doDefault(df.getOWLSubClassOfAxiom(df.getOWLThing(),
    df.getOWLObjectMaxCardinality(1, axiom.getProperty())));
}
origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLObjectPropertyDomainAxiom axiom) {
  return subClassOf(df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()),
    axiom.getDomain());
}
origin: protegeproject/protege

public InferredOWLClassHierarchyProvider(OWLModelManager owlModelManager, OWLOntologyManager owlOntologyManager) {
  super(owlOntologyManager);
  this.owlModelManager = owlModelManager;
  owlThing = owlModelManager.getOWLDataFactory().getOWLThing();
  owlNothing = owlModelManager.getOWLDataFactory().getOWLNothing();
  owlModelManager.addListener(owlModelManagerListener);
}
origin: owlcs/owlapi

@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
  // prop some Thing subclassOf domain
  OWLClassExpression sub = dataFactory
    .getOWLObjectSomeValuesFrom(axiom.getProperty(), dataFactory.getOWLThing());
  OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
  ax.accept(this);
}
origin: owlcs/owlapi

@Override
public Collection<OWLAxiom> visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
  return doDefault(df.getOWLSubClassOfAxiom(df.getOWLThing(),
    df.getOWLObjectMaxCardinality(1, axiom.getProperty().getInverseProperty())));
}
origin: protegeproject/protege

/**
 * Invoked when an action occurs.
 */
public void actionPerformed(ActionEvent e) {
  OWLEntityCreationSet<OWLNamedIndividual> set = getOWLWorkspace().createOWLIndividual();
  if (set == null) {
    return;
  }
  OWLClass thing = getOWLDataFactory().getOWLThing();
  OWLAxiom ax = getOWLDataFactory().getOWLClassAssertionAxiom(thing, set.getOWLEntity());
  getOWLModelManager().applyChange(new AddAxiom(getOWLModelManager().getActiveOntology(), ax));
}
org.semanticweb.owlapi.modelOWLDataFactorygetOWLThing

Javadoc

Gets the built in owl:Thing class, which has a URI of <http://www.w3.org/2002/07/owl#Thing>

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

Popular in Java

  • Reactive rest calls using spring rest template
  • setScale (BigDecimal)
  • putExtra (Intent)
  • getOriginalFilename (MultipartFile)
    Return the original filename in the client's filesystem.This may contain path information depending
  • RandomAccessFile (java.io)
    Allows reading from and writing to a file in a random-access manner. This is different from the uni-
  • Connection (java.sql)
    A connection represents a link from a Java application to a database. All SQL statements and results
  • Map (java.util)
    A Map is a data structure consisting of a set of keys and values in which each key is mapped to a si
  • TimeUnit (java.util.concurrent)
    A TimeUnit represents time durations at a given unit of granularity and provides utility methods to
  • StringUtils (org.apache.commons.lang)
    Operations on java.lang.String that arenull safe. * IsEmpty/IsBlank - checks if a String contains
  • Logger (org.apache.log4j)
    This is the central class in the log4j package. Most logging operations, except configuration, are d
  • Top 12 Jupyter Notebook Extensions
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