Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

153
154
155
156
157
158
159
160
161
162
163
164
    }


    @Override
  protected int compareObjectOfSameType(OWLObject object) {
        OWLSubClassOfAxiom other = (OWLSubClassOfAxiom) object;
        int diff = subClass.compareTo(other.getSubClass());
        if (diff != 0) {
            return diff;
        }
        return superClass.compareTo(other.getSuperClass());
    }
View Full Code Here
402
403
404
405
406
407
408
409
410
411
412
413
            int diff = childCount1 - childCount2;
            if (diff != 0) {
                return diff;
            }
            if (ax1 instanceof OWLSubClassOfAxiom && ax2 instanceof OWLSubClassOfAxiom) {
                OWLSubClassOfAxiom sc1 = (OWLSubClassOfAxiom) ax1;
                OWLSubClassOfAxiom sc2 = (OWLSubClassOfAxiom) ax2;
                return sc1.getSuperClass().compareTo(sc2.getSuperClass());
            }

            return 1;
        }
View Full Code Here
21
22
23
24
25
26
27
28
29
30
31
32
33
    @Override
    public Set<OWLAxiom> rewriteAxiom(OWLAxiom axiom) {
        if(!(axiom instanceof OWLSubClassOfAxiom)) {
            return Collections.singleton(axiom);
        }
        OWLSubClassOfAxiom ax = (OWLSubClassOfAxiom) axiom;
        OWLClassExpression subClass = ax.getSubClass();
        OWLClassExpression superClass = ax.getSuperClass();
        Set<OWLAxiom> result = new HashSet<OWLAxiom>();
        for(OWLClassExpression conj : superClass.asConjunctSet()) {
            OWLDataFactory df = DataFactory.get();
            result.add(df.getOWLSubClassOfAxiom(subClass, conj, axiom.getAnnotations()));
        }
View Full Code Here
115
116
117
118
119
120
121
122
      OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom( cls, ind );
      return getEntailmentExplanations( classAssertion, maxExplanations );
    }
   
    public Set<OWLAxiom> getSubClassExplanation(OWLClassExpression subClass, OWLClassExpression superClass) {
      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanation( subClassAxiom );
    }
View Full Code Here
120
121
122
123
124
125
126
127
      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanation( subClassAxiom );
    }
   
    public Set<Set<OWLAxiom>> getSubClassExplanations(OWLClassExpression subClass, OWLClassExpression superClass) {
      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanations( subClassAxiom );     
    }
View Full Code Here
125
126
127
128
129
130
131
132
      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanations( subClassAxiom );     
    }
   
    public Set<Set<OWLAxiom>> getSubClassExplanations(OWLClassExpression subClass, OWLClassExpression superClass, int maxExplanations) {
      OWLSubClassOfAxiom subClassAxiom = factory.getOWLSubClassOfAxiom( subClass, superClass );
      return getEntailmentExplanations( subClassAxiom, maxExplanations );
    }
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
52
53
            return a.toString();
        } else if (a instanceof OWLSubObjectPropertyOfAxiom) {
            // TODO: implement
            return a.toString();
        } else if (a instanceof OWLSubClassOfAxiom) {
            OWLSubClassOfAxiom sc = (OWLSubClassOfAxiom) a;
            return formatClassExpression(sc.getSubClass(), ont) + " \u2286 "
                    + formatClassExpression(sc.getSuperClass(), ont);
        } else if (a instanceof OWLEquivalentClassesAxiom) {
            OWLEquivalentClassesAxiom ec = (OWLEquivalentClassesAxiom) a;
            List<OWLClassExpression> ces = ec.getClassExpressionsAsList();
            StringBuilder sb = new StringBuilder();
            sb.append(formatClassExpression(ces.get(0), ont));
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
52
53
            return a.toString();
        } else if (a instanceof OWLSubObjectPropertyOfAxiom) {
            // TODO: implement
            return a.toString();
        } else if (a instanceof OWLSubClassOfAxiom) {
            OWLSubClassOfAxiom sc = (OWLSubClassOfAxiom) a;
            return formatClassExpression(sc.getSubClass(), ont) + " \u2286 "
                    + formatClassExpression(sc.getSuperClass(), ont);
        } else if (a instanceof OWLEquivalentClassesAxiom) {
            OWLEquivalentClassesAxiom ec = (OWLEquivalentClassesAxiom) a;
            List<OWLClassExpression> ces = ec.getClassExpressionsAsList();
            StringBuilder sb = new StringBuilder();
            sb.append(formatClassExpression(ces.get(0), ont));
View Full Code Here
127
128
129
130
131
132
133
134
135
136
137
    OWLDataSomeValuesFrom dataSomeRestriction = factory
        .getOWLDataSomeValuesFrom(p, dataRangeRestriction);

    OWLClass c = factory.getOWLClass(IRI.create("http://example#c"));

    OWLSubClassOfAxiom sc = factory.getOWLSubClassOfAxiom(c,
        dataSomeRestriction);

    manager.addAxiom(ontology, sc);
   
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
View Full Code Here
365
366
367
368
369
370
371
372
    if( sup.isOWLThing() ) {
          return;
        }

    OWLSubClassOfAxiom axiom = OWL.subClassOf( sub, sup );
    explainAxiom( axiom );
  }
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

  • au.csiro.ontology.importer.owl.OWLImporter
  • au.csiro.snorocket.owlapi.util.DebugUtils
  • au.csiro.snorocket.protege.util.DebugUtils
  • com.clarkparsia.owlapi.explanation.AxiomConverter
  • com.clarkparsia.owlapi.explanation.BlackBoxExplanation
  • com.clarkparsia.owlapi.explanation.PelletExplanation
  • com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter
  • edu.pitt.dbmi.nlp.noble.ontology.owl.OClass
  • edu.pitt.ontology.owl.OClass
  • edu.stanford.bmir.protege.web.server.axiom.SubClassAxiomSplitter
    • 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.