Examples of OWLClassAssertionAxiom

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

100
101
102
103
104
105
106
107
    public Set<Set<OWLAxiom>> getInconsistencyExplanations(int maxExplanations) {
      return getUnsatisfiableExplanations( factory.getOWLThing(), maxExplanations );
    }
   
    public Set<OWLAxiom> getInstanceExplanation(OWLIndividual ind, OWLClassExpression cls) {
      OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom( cls, ind );
      return getEntailmentExplanation( classAssertion );
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

105
106
107
108
109
110
111
112
      OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom( cls, ind );
      return getEntailmentExplanation( classAssertion );
    }
   
    public Set<Set<OWLAxiom>> getInstanceExplanations(OWLIndividual ind, OWLClassExpression cls) {
      OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom( cls, ind );
      return getEntailmentExplanations( classAssertion );
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

110
111
112
113
114
115
116
117
      OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom( cls, ind );
      return getEntailmentExplanations( classAssertion );
    }
   
    public Set<Set<OWLAxiom>> getInstanceExplanations(OWLIndividual ind, OWLClassExpression cls, int maxExplanations) {
      OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom( cls, ind );
      return getEntailmentExplanations( classAssertion, maxExplanations );
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

109
110
111
112
113
114
115
116
117
118
119
        String rule = "PREFIX var http://kres.iksproject.eu/rules# ."
                      + "PREFIX dbs http://andriry.altervista.org/tesiSpecialistica/dbs_l1.owl# ."
                      + "PREFIX lmm http://www.ontologydesignpatterns.org/ont/lmm/LMM_L1.owl# ."
                      + "rule1[dbs:Table(?x) -> lmm:Meaning(?x)]";
        OWLNamedIndividual ontoind = factory.getOWLNamedIndividual(IRI.create(ID + "MyRuleX"));
        OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom(ontocls, ontoind);
        owlmanager.addAxiom(owlmodel, classAssertion);
        OWLDataProperty dataprop = factory.getOWLDataProperty(IRI.create(ID + "hasDescription"));
        OWLDataPropertyAssertionAxiom dataPropAssertion = factory.getOWLDataPropertyAssertionAxiom(dataprop,
            ontoind, "My comment to the rule X");
        owlmanager.addAxiom(owlmodel, dataPropAssertion);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

168
169
170
171
172
173
174
175
176
177
178
       if(((ruleName!=null)||!ruleName.isEmpty())&&((ruleBodyHead!=null)||!ruleBodyHead.isEmpty())){
         if(!owlmodel.containsAxiom(factory.getOWLClassAssertionAxiom(ontocls, ontoind))){
      
            //Add the rule istance
            OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom(ontocls,ontoind);
            owlmanager.addAxiom(owlmodel, classAssertion);
            //Add the rule Body and Head
            OWLDataPropertyAssertionAxiom dataPropAssertion = factory.getOWLDataPropertyAssertionAxiom(bodyhead, ontoind, ruleBodyHead);
            owlmanager.addAxiom(owlmodel, dataPropAssertion);
   
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

221
222
223
224
225
226
227
228
229
230
231
      
       if(((ruleName!=null)&&!ruleName.toString().isEmpty())&&((ruleBodyHead!=null)&&!ruleBodyHead.isEmpty())){
         if(!owlmodel.containsAxiom(factory.getOWLClassAssertionAxiom(ontocls, ontoind))){
      
              //Add the rule istance
              OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom(ontocls,ontoind);
              owlmanager.addAxiom(owlmodel, classAssertion);
              //Add the rule Body and Head
              OWLDataPropertyAssertionAxiom dataPropAssertion = factory.getOWLDataPropertyAssertionAxiom(bodyhead, ontoind, ruleBodyHead);
              owlmanager.addAxiom(owlmodel, dataPropAssertion);
             
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

288
289
290
291
292
293
294
295
296
297
298
    OWLNamedIndividual ontoind = factory.getOWLNamedIndividual(IRI.create(owlID+ruleName));
    if(((ruleName!=null)||!ruleName.isEmpty())&&((ruleBodyHead!=null)||!ruleBodyHead.isEmpty())){
       if(!owlmodel.containsAxiom(factory.getOWLClassAssertionAxiom(ontocls, ontoind))){
      
            //Add the rule istance
            OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom(ontocls,ontoind);
            owlmanager.addAxiom(owlmodel, classAssertion);
            //Add the rule Body and Head
            OWLDataPropertyAssertionAxiom dataPropAssertion = factory.getOWLDataPropertyAssertionAxiom(bodyhead, ontoind, ruleBodyHead);
            owlmanager.addAxiom(owlmodel, dataPropAssertion);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

354
355
356
357
358
359
360
361
362
363
364
    OWLNamedIndividual ontoind = factory.getOWLNamedIndividual(ruleName);
    if(((ruleName!=null)&&!ruleName.toString().isEmpty())&&((ruleBodyHead!=null)&&!ruleBodyHead.isEmpty())){
       if(!owlmodel.containsAxiom(factory.getOWLClassAssertionAxiom(ontocls, ontoind))){

            //Add the rule istance
            OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom(ontocls,ontoind);
            owlmanager.addAxiom(owlmodel, classAssertion);
            //Add the rule Body and Head
            OWLDataPropertyAssertionAxiom dataPropAssertion = factory.getOWLDataPropertyAssertionAxiom(bodyhead, ontoind, ruleBodyHead);
            owlmanager.addAxiom(owlmodel, dataPropAssertion);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

175
176
177
178
179
180
181
182
183
184
185
       if (((recipeName != null) || !recipeName.toString().isEmpty()) && ((rules != null) || !rules.isEmpty())) {
           if (!owlmodel.containsAxiom(factory.getOWLClassAssertionAxiom(ontocls, ontoind))) {

               //Add the rule istance
               OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom(ontocls, ontoind);
               owlmanager.addAxiom(owlmodel, classAssertion);

               //start and end
               OWLNamedIndividual ind = factory.getOWLNamedIndividual(rules.firstElement());
               if (owlmodel.containsAxiom(factory.getOWLClassAssertionAxiom(kresrule, ind))) {
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

296
297
298
299
300
301
302
303
304
305
306
        if ((recipeName != null || !recipeName.isEmpty())) {
            if (!owlmodel.containsAxiom(factory.getOWLClassAssertionAxiom(ontocls, ontoind))) {

                //Add the rule istance
                OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom(ontocls, ontoind);
                owlmanager.addAxiom(owlmodel, classAssertion);

                //Add description
                if ((recipeDescription != null) || !recipeDescription.isEmpty()) {
                    //Add the rule description
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.