Examples of OWLIndividual

Examples of edu.stanford.smi.protegex.owl.model.OWLIndividual

27
28
29
30
31
32
33
34
35
36
    if(obj instanceof RDFSClass) {
      RDFSClass cls = (RDFSClass) obj;
      return cls.getBrowserText();
    }
    else if(obj instanceof OWLIndividual) {
      OWLIndividual owlInstance = (OWLIndividual) obj;
      return owlInstance.getBrowserText();
    }
    return "";
  }
View Full Code Here

Examples of org.semanticweb.owl.model.OWLIndividual

43
44
45
46
47
48
49
50
51
        super(consumer);
        this.predicate = predicate;
    }

    public void handleTriple(URI subject, URI predicate, OWLConstant object) throws OWLException {
        OWLIndividual subj = getDataFactory().getOWLIndividual(subject);
        OWLDataProperty prop = getDataFactory().getOWLDataProperty(predicate);
        addAxiom(getDataFactory().getOWLDataPropertyAssertionAxiom(subj, prop, object));
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual

498
499
500
501
502
503
504
505
506
507
508
        }
        // Adding all same-individuals axioms
        // Adding all different-individuals axioms
        for (OWLEntity entity : sig) {
            if (OWLNamedIndividual.class.isAssignableFrom(entity.getClass())) {
                OWLIndividual individual = (OWLIndividual) entity;
                Set<OWLSameIndividualAxiom> sameIndividualAxioms = ontology
                        .getSameIndividualAxioms(individual);
                enrichedModule.addAll(sameIndividualAxioms);
                if (verbose) {
                    for (OWLSameIndividualAxiom sameIndividualAxiom : sameIndividualAxioms) {
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual

514
515
516
517
518
519
520
521
522
523
524
        throw new Error("Missing return statement in function");
    }

    final public Set<OWLIndividual> IndividualMinOneSet() throws ParseException {
        Set<OWLIndividual> individuals = new HashSet<OWLIndividual>();
        OWLIndividual ind;
        ind = Individual();
        individuals.add(ind);
        label_5: while (true) {
            switch (jj_ntk == -1 ? jj_ntk_f() : jj_ntk) {
                case FULLIRI:
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual

632
633
634
635
636
637
638
639
640
641
642
        throw new Error("Missing return statement in function");
    }

    final public OWLClassExpression ObjectHasValue() throws ParseException {
        OWLObjectPropertyExpression prop;
        OWLIndividual ind;
        jj_consume_token(OBJECTHASVALUE);
        jj_consume_token(OPENPAR);
        prop = ObjectPropertyExpression();
        ind = Individual();
        jj_consume_token(CLOSEPAR);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual

2261
2262
2263
2264
2265
2266
2267
2268
2269
2270
2271
        }
        throw new Error("Missing return statement in function");
    }

    final public Set<OWLIndividual> IndividualSet() throws ParseException {
        OWLIndividual ind;
        Set<OWLIndividual> individuals = new HashSet<OWLIndividual>();
        ind = Individual();
        individuals.add(ind);
        ind = Individual();
        individuals.add(ind);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual

2326
2327
2328
2329
2330
2331
2332
2333
2334
2335
2336
        }
        throw new Error("Missing return statement in function");
    }

    final public OWLIndividualAxiom ClassAssertion() throws ParseException {
        OWLIndividual ind;
        OWLClassExpression desc;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(CLASSASSERTION);
        jj_consume_token(OPENPAR);
        axiomAnnos = AxiomAnnotationSet();
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual

1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
        Set<OntologyAxiomPair> axioms = new HashSet<>();
        if (!INDIVIDUAL.matches(tok)) {
            throw new ExceptionBuilder().withKeyword(INDIVIDUAL).build();
        }
        String subj = consumeToken();
        OWLIndividual ind = getOWLIndividual(subj);
        if (!ind.isAnonymous()) {
            axioms.add(new OntologyAxiomPair(getOntology(null), dataFactory
                    .getOWLDeclarationAxiom(ind.asOWLNamedIndividual())));
        }
        parseFrameSections(false, axioms, ind, individualFrameSections);
        return axioms;
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual

2656
2657
2658
2659
2660
2661
2662
2663
2664
2665
2666
        return (OWLClassAxiom) parseAxiom();
    }

    @Nonnull
    private OWLAxiom parseAxiomWithIndividualStart() {
        OWLIndividual ind = parseIndividual();
        String kw = consumeToken();
        if (TYPE.matches(kw)) {
            OWLClassExpression type = parseClassExpression();
            return dataFactory.getOWLClassAssertionAxiom(type, ind);
        }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual

75
76
77
78
79
80
81
82
83
84
85
86
    public Set<OWLDifferentIndividualsAxiom> asPairwiseAxioms() {
        List<OWLIndividual> individuals = getIndividualsAsList();
        Set<OWLDifferentIndividualsAxiom> result = new HashSet<>();
        for (int i = 0; i < individuals.size() - 1; i++) {
            for (int j = i + 1; j < individuals.size(); j++) {
                OWLIndividual indI = individuals.get(i);
                OWLIndividual indJ = individuals.get(j);
                result.add(new OWLDifferentIndividualsAxiomImpl(new HashSet<>(
                        Arrays.asList(indI, indJ)), NO_ANNOTATIONS));
            }
        }
        return result;
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.