Package org.semanticweb.owl.model

Examples of org.semanticweb.owl.model.AddAxiom

109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
      Set<OWLLogicalAxiom> axioms = ontology.getLogicalAxioms();
      logger.info("Number of logical axioms: "+axioms.size());
      for (OWLLogicalAxiom axiom : axioms){
        if (axiom instanceof OWLIndividualAxiom){
          // put it in abox
          AddAxiom axiomToAdd = new AddAxiom(abox,axiom);
          aboxMgr.applyChange(axiomToAdd);
          //logger.info("To Abox: "+axiom.getClass());
        }else{
          // put it in tbox
          AddAxiom axiomToAdd = new AddAxiom(tbox,axiom);
          tboxMgr.applyChange(axiomToAdd);
          //logger.info("To Tbox: "+axiom.getClass()+" "+axiom.toString());
        }
      }
      tboxMgr.saveOntology(tbox);
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
      Set<OWLLogicalAxiom> axioms = ontology.getLogicalAxioms();
      logger.info("Number of logical axioms: "+axioms.size());
      for (OWLLogicalAxiom axiom : axioms){
        if (axiom instanceof OWLClassAssertionAxiom){
          // put it in abox
          AddAxiom axiomToAdd = new AddAxiom(abox,axiom);
          aboxMgr.applyChange(axiomToAdd);
        }else{
          // put it in tbox
          AddAxiom axiomToAdd = new AddAxiom(tbox,axiom);
          tboxMgr.applyChange(axiomToAdd);       
        }
      }
      tboxMgr.saveOntology(tbox);
      aboxMgr.saveOntology(abox);
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
       
        List<OWLAxiomChange> toAdd = new Vector<OWLAxiomChange>();
        for (int i = 0; i < instances; i++) {
          int rnd = m_random.nextInt(classes.size());
          OWLClassAssertionAxiom newAxiom = factory.getOWLClassAssertionAxiom(newIndividual(factory), classes.get(rnd));
          toAdd.add(new AddAxiom(ontology,newAxiom)); 
          System.out.println((i+1)+"- new axiom: "+newAxiom.toString());
        }       
        manager.applyChanges(toAdd);
        OutputStreamWriter sw = new FileWriter(new File(outputFile));
        OWLOntologyOutputTarget target = new WriterOutputTarget(sw);
View Full Code Here
450
451
452
453
454
455
456
457
458
459
460
            OWLDataFactory factory = manager.getOWLDataFactory();
            timers.createTimer("aboxupdate");
            Timer timerAboxUpdate = timers.startTimer("aboxupdate");
            for (OWLIndividual ci : individuals)
            {
              changesToMake.add(new AddAxiom(aboxOntology,
                  factory.getOWLClassAssertionAxiom(ci, cc)));
            }
            timerAboxUpdate.stop();
            aboxUpdateTime += timerAboxUpdate.getTotal();
          }
View Full Code Here
48
49
50
51
52
53
54
        URI fillerURI = getURIFromValue(value.substring(value.indexOf(' '), value.length()).trim());
        OWLObjectProperty prop = getDataFactory().getOWLObjectProperty(propURI);
        OWLClass filler = getDataFactory().getOWLClass(fillerURI);
        OWLDescription restriction = getDataFactory().getOWLObjectSomeRestriction(prop, filler);
        OWLClass subCls = getDataFactory().getOWLClass(getURIFromValue(id));
        applyChange(new AddAxiom(getOntology(), getDataFactory().getOWLSubClassAxiom(subCls, restriction)));
    }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
    public void handle(String id, String value) {
        if (Boolean.parseBoolean(value)) {
            OWLObjectProperty prop = getOWLObjectProperty(id);
            OWLAxiom ax = getDataFactory().getOWLReflexiveObjectPropertyAxiom(prop);
            applyChange(new AddAxiom(getOntology(), ax));
        }
        else {
            addAnnotation(id, OBOVocabulary.IS_REFLEXIVE.getName(), getBooleanConstant(false));
        }
    }
View Full Code Here
41
42
43
44
45
46
47

    public void handle(String id, String value) {
        OWLAxiom ax = getDataFactory().getOWLDisjointClassesAxiom(CollectionFactory.createSet(getCurrentClass(),
                                                                                              getOWLClass(value)));
        applyChange(new AddAxiom(getOntology(), ax));
    }
View Full Code Here
49
50
51
52
53
54
55
        OWLDescription desc = getDataFactory().getOWLObjectSomeRestriction(prop, getClassFromId(val));
        OWLAxiom ax = getDataFactory().getOWLSubClassAxiom(
                getCurrentClass(),
                desc
        );
        applyChange(new AddAxiom(getOntology(), ax));
    }
View Full Code Here
42
43
44
45
46
47
48
49
    public void handle(String id, String value) {
        if(Boolean.parseBoolean(value)) {
            OWLObjectProperty prop = getDataFactory().getOWLObjectProperty(getURIFromValue(id));
            OWLAxiom ax = getDataFactory().getOWLTransitiveObjectPropertyAxiom(prop);
            applyChange(new AddAxiom(getOntology(), ax));
        }
    }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

    public void handle(String id, String value) {
        if (getConsumer().isTerm()) {
            // We simply add a subclass axiom
            applyChange(new AddAxiom(getOntology(), getDataFactory().getOWLSubClassAxiom(
                    getClassFromId(id),
                    getClassFromId(value))
            ));
        }
        else if(getConsumer().isTypedef()) {
            // We simply add a sub property axiom
            applyChange(new AddAxiom(getOntology(), getDataFactory().getOWLSubObjectPropertyAxiom(
                    getOWLObjectProperty(id),
                    getOWLObjectProperty(value))
            ));
        }
    }
View Full Code Here
TOP

Related Classes of org.semanticweb.owl.model.AddAxiom

  • com.clarkparsia.owlapi.OntologyUtils
  • nl.vu.few.anytimereasoning.workbench.utils.OntologySplit
  • nl.vu.few.anytimereasoning.workbench.utils.Populate
  • org.ar.redoexperiments.ExperimentManager
  • org.coode.obo.parser.AntiSymmetricHandler
  • org.coode.obo.parser.DisjointFromHandler
  • org.coode.obo.parser.DomainHandler
  • org.coode.obo.parser.InverseHandler
  • org.coode.obo.parser.IsATagValueHandler
  • org.coode.obo.parser.PartOfTagValueHandler
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.