Tabnine Logo
ClassifiedTBox.classesDAG
Code IndexAdd Tabnine to your IDE (free)

How to use
classesDAG
method
in
it.unibz.inf.ontop.spec.ontology.ClassifiedTBox

Best Java code snippets using it.unibz.inf.ontop.spec.ontology.ClassifiedTBox.classesDAG (Showing top 15 results out of 315)

origin: ontop/ontop

public Set<ClassExpression> getSubConcepts() {
  if (subconcepts == null) {
    subconcepts = new HashSet<>();
    for (ClassExpression con : concepts)
      subconcepts.addAll(reasoner.classesDAG().getSubRepresentatives(con));
  }
  return subconcepts;
}

origin: ontop/ontop

public Intersection<ClassExpression> getTopClass() {
  return new Intersection<>(reasoner.classesDAG());
}
origin: ontop/ontop

for (Equivalences<ClassExpression> set : reasoner.classesDAG()) {
  Set<Equivalences<ClassExpression>> subClasses = reasoner.classesDAG().getSub(set);
  boolean couldBeGenerating = set.size() > 1 || subClasses.size() > 1; 
  for (ClassExpression concept : set) {
origin: ontop/ontop

for (ClassExpression b : concepts) 
  if (b instanceof ObjectSomeValuesFrom)
    extension.addAll(reasoner.classesDAG().getSubRepresentatives(b));
concepts.addAll(extension);
    for (ClassExpression b : concepts) 
      if (b instanceof OClass) {
        Set<ClassExpression> bsubconcepts = reasoner.classesDAG().getSubRepresentatives(b);
        Iterator<ClassExpression> i = concepts.iterator();
        while (i.hasNext()) {
origin: ontop/ontop

/**
 * Assign indexes for the named DAG, use a depth first listener over the DAG 
 * @param reasoner used to know ancestors and descendants of the dag
 */

public SemanticIndexBuilder(ClassifiedTBox reasoner)  {
  classRanges = createSemanticIndex(reasoner.classesDAG());
  opRanges = createSemanticIndex(reasoner.objectPropertiesDAG());
  dpRanges = createSemanticIndex(reasoner.dataPropertiesDAG());
}
  
origin: ontop/ontop

private void process(Connection conn, ClassAssertion ax, PreparedStatement uriidStm, Map<SemanticIndexViewID, PreparedStatement> stmMap) throws SQLException {
  
  // replace concept by the canonical representative (which must be a concept name)
  OClass concept0 = ax.getConcept();
  OClass concept = (OClass)reasonerDag.classesDAG().getCanonicalForm(concept0);
  int conceptIndex = cacheSI.getEntry(concept).getIndex();	
  ObjectConstant c1 = ax.getIndividual();
  SemanticIndexView view =  views.getView(c1.getType());

  PreparedStatement stm = stmMap.get(view.getId());
  if (stm == null) {
    stm = conn.prepareStatement(view.getINSERT());
    stmMap.put(view.getId(), stm);
  }
  int uri_id = getObjectConstantUriId(c1, uriidStm); 
  
  // Construct the database INSERT statements
  stm.setInt(1, uri_id);
  stm.setInt(2, conceptIndex);
  stm.addBatch();

  // Register non emptiness
  view.addIndex(conceptIndex);
}
origin: ontop/ontop

public Intersection<ClassExpression> getSubConcepts(Collection<Function> atoms) {
  Intersection<ClassExpression> subc = new Intersection<>(reasoner.classesDAG());
  for (Function a : atoms) {
    Optional<IRI> optionalClassIRI = extractClassIRI(a);
    if (!optionalClassIRI.isPresent()) {
      subc.setToBottom();   // binary predicates R(x,x) cannot be matched to the anonymous part
      break;
    }
    IRI classIRI = optionalClassIRI.get();
     if (reasoner.classes().contains(classIRI))
       subc.intersectWith(reasoner.classes().get(classIRI));
     else
       subc.setToBottom();
     if (subc.isBottom())
       break;
  }
  return subc;
}

origin: ontop/ontop

for (Equivalences<ClassExpression> classNode : reasoner.classesDAG()) {
  for (Equivalences<ClassExpression> subclassNode : reasoner.classesDAG().getSub(classNode)) {
    for (ClassExpression subclass : subclassNode) {
      DataAtom<AtomPredicate> body = translate(subclass, variableYname);
origin: ontop/ontop

for (Equivalences<ClassExpression> classSet : reasoner.classesDAG()) {
  TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate);
  for (Equivalences<ClassExpression> descendants : reasoner.classesDAG().getSub(classSet)) {
    for (ClassExpression childDescription : descendants) {
origin: ontop/ontop

OClass equivalent = (OClass)reasoner.classesDAG().getCanonicalForm(c);
if (equivalent != null && !equivalent.equals(c)) {
  return atomFactory.getMutableTripleBodyAtom(bodyAtom.getTerm(0), equivalent.getIRI());
origin: it.unibz.inf.ontop/ontop-mapping-core

for (Equivalences<ClassExpression> classSet : reasoner.classesDAG()) {
  TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate);
  for (Equivalences<ClassExpression> descendants : reasoner.classesDAG().getSub(classSet)) {
    for (ClassExpression childDescription : descendants) {
origin: ontop/ontop

private void setIndex(String iri, int type, int idx) {
  if (type == CLASS_TYPE) {
    OClass c = reasonerDag.classes().get(iri);
    if (reasonerDag.classesDAG().getVertex(c) == null)
      throw new RuntimeException("UNKNOWN CLASS: " + iri);
origin: ontop/ontop

for(Equivalences<ClassExpression> node : reasoner.classesDAG()) {
  ClassExpression rep = node.getRepresentative();
    (EquivalencesDAGImpl<ClassExpression>)reasoner.classesDAG(), classes);
origin: it.unibz.inf.ontop/ontop-obda-core

for(Equivalences<ClassExpression> node : reasoner.classesDAG()) {
  ClassExpression rep = node.getRepresentative();
    (EquivalencesDAGImpl<ClassExpression>)reasoner.classesDAG(), classes);
origin: ontop/ontop

for (Equivalences<ClassExpression> set : reasonerDag.classesDAG()) {
it.unibz.inf.ontop.spec.ontologyClassifiedTBoxclassesDAG

Popular methods of ClassifiedTBox

  • classes
    classes
  • dataProperties
    data properties
  • dataPropertiesDAG
  • objectProperties
    object properties
  • objectPropertiesDAG
  • dataRangesDAG
    datatypes and data property ranges
  • disjointClasses
  • disjointDataProperties
  • disjointObjectProperties
  • functionalDataProperties
  • functionalObjectProperties
  • functionalObjectProperties

Popular in Java

  • Running tasks concurrently on multiple threads
  • scheduleAtFixedRate (Timer)
  • onCreateOptionsMenu (Activity)
  • setRequestProperty (URLConnection)
  • Color (java.awt)
    The Color class is used to encapsulate colors in the default sRGB color space or colors in arbitrary
  • PrintWriter (java.io)
    Wraps either an existing OutputStream or an existing Writerand provides convenience methods for prin
  • Notification (javax.management)
  • Servlet (javax.servlet)
    Defines methods that all servlets must implement. A servlet is a small Java program that runs within
  • DataSource (javax.sql)
    An interface for the creation of Connection objects which represent a connection to a database. This
  • BasicDataSource (org.apache.commons.dbcp)
    Basic implementation of javax.sql.DataSource that is configured via JavaBeans properties. This is no
  • 14 Best Plugins for Eclipse
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