Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLAxiom.accept()

80
81
82
83
84
85
86
87
88
89
90
    @Override
    public void visit(OWLDataPropertyDomainAxiom axiom) {
        OWLClassExpression sub = dataFactory.getOWLDataSomeValuesFrom(
                axiom.getProperty(), dataFactory.getTopDatatype());
        OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
        ax.accept(this);
    }

    @Override
    public void visit(OWLObjectPropertyDomainAxiom axiom) {
        // prop some Thing subclassOf domain
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
        OWLClassExpression sub = dataFactory.getOWLObjectHasValue(
                axiom.getSubProperty(), ind);
        OWLClassExpression sup = dataFactory.getOWLObjectHasValue(
                axiom.getSuperProperty(), ind);
        OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, sup);
        ax.accept(this);
    }

    @Override
    public void visit(OWLClassAssertionAxiom axiom) {
        OWLClassExpression sub = dataFactory.getOWLObjectOneOf(axiom
View Full Code Here
122
123
124
125
126
127
128
129
130
131
132
    public void visit(OWLClassAssertionAxiom axiom) {
        OWLClassExpression sub = dataFactory.getOWLObjectOneOf(axiom
                .getIndividual());
        OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub,
                axiom.getClassExpression());
        ax.accept(this);
    }

    @Override
    public void visit(OWLEquivalentClassesAxiom axiom) {
        if (axiom.getClassExpressions().size() == 2
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152

    public void visit(OWLDataPropertyDomainAxiom axiom) {
        OWLClassExpression sub = dataFactory.getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory.getTopDatatype());
        OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
        ax.accept(this);
    }


    public void visit(OWLImportsDeclaration axiom) {
        // Nothing to do
View Full Code Here
202
203
204
205
206
207
208
209
210
211
212
        //  subProp some {a} subClassOf supProp some {a}
        OWLIndividual ind = dataFactory.getOWLNamedIndividual(IRI.create("http://debugger.com#" + System.nanoTime()));
        OWLClassExpression sub = dataFactory.getOWLObjectHasValue(axiom.getSubProperty(), ind);
        OWLClassExpression sup = dataFactory.getOWLObjectHasValue(axiom.getSuperProperty(), ind);
        OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, sup);
        ax.accept(this);
    }


    public void visit(OWLDisjointUnionAxiom axiom) {
    }
View Full Code Here
237
238
239
240
241
242
243
244
245
246
247

    public void visit(OWLClassAssertionAxiom axiom) {
        OWLClassExpression sub = dataFactory.getOWLObjectOneOf(Collections.singleton(axiom.getIndividual()));
        OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getClassExpression());
        ax.accept(this);
    }


    public void visit(OWLEquivalentClassesAxiom axiom) {
        if (axiom.getClassExpressions().size() == 2 && axiom.getClassExpressions().contains(dataFactory.getOWLNothing())) {
View Full Code Here
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
        public void visit(RemoveAxiom change) {
            OWLAxiom axiom = change.getAxiom();
            if (containsAxiom(axiom)) {
              OWLAxiomVisitor changeVisitor = getAxiomVisitor(false);
               
                axiom.accept(changeVisitor);
                appliedChanges.add(change);
                handleAxiomRemoved(axiom);
            }
        }
View Full Code Here
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
        public void visit(AddAxiom change) {
            OWLAxiom axiom = change.getAxiom();
            if (!containsAxiom(axiom)) {
              OWLAxiomVisitor changeVisitor = getAxiomVisitor(true);
                axiom.accept(changeVisitor);
                appliedChanges.add(change);
                handleAxiomAdded(axiom);
            }
        }
View Full Code Here
136
137
138
139
140
141
142
143
144
145
146
      else if( object instanceof OWLIndividual ) {
        OWLIndividual ind = (OWLIndividual) object;
        axiom = factory.getOWLClassAssertionAxiom( factory.getOWLThing(), ind );
      }
      if( axiom != null )
        axiom.accept( atermConverter );

      OWLObject converted = owlapiConverter.convert( aterm );

      assertEquals( object, converted );
    } catch( Exception e ) {
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.