Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLSubClassOfAxiom

171
172
173
174
175
176
177
178
    @Override
    public OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom) {
        OWLClassExpression sub = oneOf(axiom.getSubject());
        OWLClassExpression sup = factory.getOWLObjectHasValue(
                axiom.getProperty(), axiom.getObject());
        OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup);
        return ax.accept(this);
    }
View Full Code Here
403
404
405
406
407
408
409
410
411
412
413
        if (!unsatClass.isAnonymous()) {
            expandWithDefiningAxioms((OWLClass) unsatClass, expansionLimit);
        } else {
            OWLClass owlThing = owlOntologyManager.getOWLDataFactory()
                    .getOWLThing();
            OWLSubClassOfAxiom axiom = owlOntologyManager.getOWLDataFactory()
                    .getOWLSubClassOfAxiom(unsatClass, owlThing);
            debuggingAxioms.add(axiom);
            expandAxioms();
            debuggingAxioms.remove(axiom);
        }
View Full Code Here
88
89
90
91
92
93
94
95
96
    @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);
    }
View Full Code Here
98
99
100
101
102
103
104
105
106
    @Override
    public void visit(OWLObjectPropertyRangeAxiom axiom) {
        // Thing subclassOf prop only Range
        OWLClassExpression sup = dataFactory.getOWLObjectAllValuesFrom(
                axiom.getProperty(), axiom.getRange());
        OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(
                dataFactory.getOWLThing(), sup);
        ax.accept(this);
    }
View Full Code Here
274
275
276
277
278
279
280
281
282
283
284
                + "        <annotatedSource rdf:resource=\"urn:myClass\"/>\n"
                + "        <annotatedTarget rdf:resource=\"urn:test\"/>\n"
                + "    </Axiom>\n" + "    <Class rdf:about=\"urn:test\"/>\n"
                + "</rdf:RDF>\n" + "";
        OWLOntology o = loadOntologyFromString(s);
        OWLSubClassOfAxiom def = df.getOWLSubClassOfAxiom(
                df.getOWLClass(IRI.create("urn:myClass")),
                df.getOWLClass(IRI.create("urn:test")),
                singleton(df.getOWLAnnotation(df.getRDFSLabel(),
                        df.getOWLLiteral("datatype definition", ""))));
        assertTrue(o.getAxioms().contains(def));
View Full Code Here
134
135
136
137
138
139
140
141
142
143
144
    OWLDataProperty theprop = factory.getOWLDataProperty(IRI.create(rel));
    OWLLiteral valueconstant = factory.getOWLTypedLiteral(value);

    OWLClassExpression propdesc = factory.getOWLDataHasValue(theprop,
        valueconstant);
    OWLSubClassOfAxiom axiom = factory.getOWLSubClassOfAxiom(cls, propdesc);
    AddAxiom addAxiom = new AddAxiom(ont, axiom);
    manager.applyChange(addAxiom);
//    SBMLreactionCollector.logfilewriter.println("[" + cls.toString() + "->"
//        + theprop.toString() + "->" + valueconstant.toString()
//        + "] asserted");
View Full Code Here
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
   
            OWLObjectProperty prop = factory
                .getOWLObjectProperty(IRI.create(rel));
            OWLClassExpression prop_val = factory
                .getOWLObjectSomeValuesFrom(prop, value);
            OWLSubClassOfAxiom axiom = factory
                .getOWLSubClassOfAxiom(cls, prop_val);
            AddAxiom addAxiom = new AddAxiom(ont, axiom);
            manager.applyChange(addAxiom);
           

            if (applyinverse) {
              OWLObjectProperty invprop = factory
                  .getOWLObjectProperty(IRI.create(invrel));
              OWLClassExpression invprop_cls = factory
                  .getOWLObjectSomeValuesFrom(invprop, cls);
              OWLSubClassOfAxiom invaxiom = factory
                  .getOWLSubClassOfAxiom(value, invprop_cls);
              AddAxiom invAddAxiom = new AddAxiom(ont, invaxiom);
              manager.applyChange(invAddAxiom);
            }
  }
View Full Code Here
316
317
318
319
320
321
322
323
324
325
326
            } else if (axiom instanceof OWLTransitiveObjectPropertyAxiom) {
                OWLTransitiveObjectPropertyAxiom a = (OWLTransitiveObjectPropertyAxiom) axiom;
                res.add(transformOWLTransitiveObjectPropertyAxiom(a));
                monitor.step(++workDone, totalAxioms);
            } else if (axiom instanceof OWLSubClassOfAxiom) {
                OWLSubClassOfAxiom a = (OWLSubClassOfAxiom) axiom;
                Axiom ax = transformOWLSubClassOfAxiom(a);
                if(ax != null) res.add(ax);
                monitor.step(++workDone, totalAxioms);
            } else if (axiom instanceof OWLEquivalentClassesAxiom) {
                OWLEquivalentClassesAxiom a = (OWLEquivalentClassesAxiom) axiom;
View Full Code Here
80
81
82
83
84
85
86
87
    return (IClass) convertOWLObject(ch);
  }

  public void addNecessaryRestriction(IRestriction restriction) {
    OWLRestriction r = ((ORestriction)restriction).getOWLRestriction();
    OWLSubClassOfAxiom ax = getOWLDataFactory().getOWLSubClassOfAxiom(getOWLClass(),r);
      addAxiom(ax);
  }
View Full Code Here
85
86
87
88
89
90
91
92
93
    OWLSubClassOfAxiom ax = getOWLDataFactory().getOWLSubClassOfAxiom(getOWLClass(),r);
      addAxiom(ax);
  }
  public void removeNecessaryRestriction(IRestriction restriction) {
    OWLRestriction r = ((ORestriction)restriction).getOWLRestriction();
    OWLSubClassOfAxiom ax = getOWLDataFactory().getOWLSubClassOfAxiom(getOWLClass(),r);
      removeAxiom(ax);
   
  }
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.