Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLIndividual

2368
2369
2370
2371
2372
2373
2374
2375
2376
2377
2378
2379
2380
        throw new Error("Missing return statement in function");
    }

    final public OWLIndividualAxiom NegativeObjectPropertyAssertion()
            throws ParseException {
        OWLIndividual subj;
        OWLObjectPropertyExpression prop;
        OWLIndividual obj;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(NEGATIVEOBJECTPROPERTYASSERTION);
        jj_consume_token(OPENPAR);
        axiomAnnos = AxiomAnnotationSet();
        prop = ObjectPropertyExpression();
View Full Code Here
2390
2391
2392
2393
2394
2395
2396
2397
2398
2399
2400
        throw new Error("Missing return statement in function");
    }

    final public OWLIndividualAxiom DataPropertyAssertion()
            throws ParseException {
        OWLIndividual subj;
        OWLDataPropertyExpression prop;
        OWLLiteral obj;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(DATAPROPERTYASSERTION);
        jj_consume_token(OPENPAR);
View Full Code Here
35
36
37
38
39
40
41
42
43
44
        return "Class assertion axioms test case";
    }

    @Override
    protected Set<OWLAxiom> getAxioms() {
        OWLIndividual ind = createIndividual();
        OWLClass cls = createClass();
        OWLAxiom ax = getDataFactory().getOWLClassAssertionAxiom(cls, ind);
        return singleton(ax);
    }
View Full Code Here
2412
2413
2414
2415
2416
2417
2418
2419
2420
2421
2422
        throw new Error("Missing return statement in function");
    }

    final public OWLIndividualAxiom NegativeDataPropertyAssertion()
            throws ParseException {
        OWLIndividual subj;
        OWLDataPropertyExpression prop;
        OWLLiteral obj;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(NEGATIVEDATAPROPERTYASSERTION);
        jj_consume_token(OPENPAR);
View Full Code Here
2444
2445
2446
2447
2448
2449
2450
2451
2452
2453
2454
        }
        throw new Error("Missing return statement in function");
    }

    final public OWLIndividual Individual() throws ParseException {
        OWLIndividual ind;
        switch (jj_ntk == -1 ? jj_ntk_f() : jj_ntk) {
            case FULLIRI:
            case PNAME_LN: {
                ind = IndividualIRI();
                break;
View Full Code Here
329
330
331
332
333
334
335
336
337
338
339
        }
        return ax;
    }

    private OWLAxiom Instance() {
        OWLIndividual ind;
        OWLClassExpression type;
        jj_consume_token(OPENPAR);
        jj_consume_token(INSTANCE);
        ind = IndividualName();
        type = ConceptExpression();
View Full Code Here
340
341
342
343
344
345
346
347
348
349
350
351
352
        jj_consume_token(CLOSEPAR);
        return dataFactory.getOWLClassAssertionAxiom(type, ind);
    }

    private OWLAxiom Related() {
        OWLIndividual subj;
        OWLObjectProperty prop;
        OWLIndividual obj;
        jj_consume_token(OPENPAR);
        jj_consume_token(RELATED);
        subj = IndividualName();
        prop = RoleName();
        obj = IndividualName();
View Full Code Here
353
354
355
356
357
358
359
360
361
362
363
        jj_consume_token(CLOSEPAR);
        return dataFactory.getOWLObjectPropertyAssertionAxiom(prop, subj, obj);
    }

    private OWLAxiom Equal() {
        OWLIndividual indA, indB;
        Set<OWLIndividual> inds = new HashSet<OWLIndividual>();
        jj_consume_token(OPENPAR);
        jj_consume_token(EQUAL);
        indA = IndividualName();
        indB = IndividualName();
View Full Code Here
366
367
368
369
370
371
372
373
374
375
376
        inds.add(indB);
        return dataFactory.getOWLSameIndividualAxiom(inds);
    }

    private OWLAxiom Distinct() {
        OWLIndividual indA, indB;
        Set<OWLIndividual> inds = new HashSet<OWLIndividual>();
        jj_consume_token(OPENPAR);
        jj_consume_token(DISTINCT);
        indA = IndividualName();
        indB = IndividualName();
View Full Code Here
85
86
87
88
89
90
91
92
93
                "Not implemented: Cannot generate explanation for " + object);
    }

    @Override
    public OWLClassExpression visit(OWLClassAssertionAxiom axiom) {
        OWLIndividual ind = axiom.getIndividual();
        OWLClassExpression c = axiom.getClassExpression();
        return and(oneOf(ind), not(c));
    }
View Full Code Here
TOP

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

  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.modularity.EntailmentChecker
  • com.clarkparsia.modularity.io.TaxonomyPersistence
  • com.clarkparsia.owlapi.explanation.AxiomConverter
  • com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter
  • com.clarkparsia.owlwg.testrun.TestRunResultAdapter
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.owlapiv3.ConceptConverter
  • com.clarkparsia.pellet.owlapiv3.EntailmentChecker
  • com.clarkparsia.pellet.owlapiv3.Reasoner
    • 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.