Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLAxiom

32
33
34
35
36
37
38
39
40
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        OWLAnnotationProperty prop = RDFSComment();
        OWLAxiom ax = df.getOWLAnnotationPropertyRangeAxiom(prop,
                IRI("http://ont.com#A"));
        return singleton(ax);
    }
View Full Code Here
153
154
155
156
157
158
159
160
161
162
163
164
165
            return false;
        }
        if (!(obj instanceof OWLAxiom)) {
            return false;
        }
        OWLAxiom other = (OWLAxiom) obj;
        // for OWLAxiomImpl comparisons, do not create wrapper objects
        if (other instanceof OWLAxiomImplWithoutEntityAndAnonCaching) {
            return annotations
                    .equals(((OWLAxiomImplWithoutEntityAndAnonCaching) other).annotations);
        }
        return getAnnotations().equals(other.getAnnotations());
    }
View Full Code Here
165
166
167
168
169
170
171
172
    }

    @Override
    public OWLAxiom getNNF() {
        NNF con = new NNF(new OWLDataFactoryImpl());
        OWLAxiom nnf = accept(con);
        return verifyNotNull(nnf);
    }
View Full Code Here
94
95
96
97
98
99
100
101
102
103
104
        return desc;
    }

    @Nonnull
    Set<OWLAxiom> parseAxioms() {
        OWLAxiom ax;
        Set<OWLAxiom> axioms = new LinkedHashSet<OWLAxiom>();
        ax = parseAxiom();
        axioms.add(ax);
        label_1: while (true) {
            if (jj_2_1(5)) {} else {
View Full Code Here
118
119
120
121
122
123
124
125
126
127
128
        jj_consume_token(0);
        return axioms;
    }

    private OWLAxiom parseAxiom() {
        OWLAxiom ax;
        if (jj_2_4(5)) {
            jj_consume_token(COLON);
            ax = parsePropertyAxiom();
            return ax;
        } else if (jj_2_5(5)) {
View Full Code Here
144
145
146
147
148
149
150
151
152
153
154
        jj_consume_token(-1);
        throw new ParseException();
    }

    private OWLAxiom parseIndividualAxiom() {
        OWLAxiom ax;
        if (jj_2_10(5)) {
            ax = parseClassAssertion();
        } else if (jj_2_11(5)) {
            ax = parseSameIndividual();
        } else {
View Full Code Here
306
307
308
309
310
311
312
313
314
315
316
    }

    private OWLAxiom parsePropertyAxiom() {
        OWLObjectPropertyExpression lhs;
        OWLObjectPropertyExpression rhs;
        OWLAxiom ax;
        if (jj_2_23(5)) {
            lhs = parseObjectPropertyId();
            if (jj_2_20(5)) {
                jj_consume_token(SUBCLASSOF);
                rhs = parseObjectPropertyId();
View Full Code Here
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
            }
            if (consumer.isOntology(subject)) {
                // Assume we annotation our ontology?
                consumer.addOntologyAnnotation(anno);
            } else {
                OWLAxiom decAx = df.getOWLAnnotationAssertionAxiom(annoSubject,
                        anno, getPendingAnnotations());
                addAxiom(decAx);
            }
            consumeTriple(subject, predicate, object);
        }
View Full Code Here
821
822
823
824
825
826
827
828
829
830
831
    @Override
    public void handle(String currentId, String value, String qualifierBlock,
            String comment) {
        if (Boolean.parseBoolean(value)) {
            OWLObjectProperty prop = getOWLObjectProperty(currentId);
            OWLAxiom ax = getDataFactory().getOWLSymmetricObjectPropertyAxiom(
                    prop);
            applyChange(new AddAxiom(getOntology(), ax));
        } else {
            addAnnotation(currentId, OBOVocabulary.IS_SYMMETRIC.getName(),
                    getBooleanConstant(false));
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
            OWLClassExpression union = factory.getOWLObjectUnionOf(fillers);
            /* Create a universal restriction */
            OWLClassExpression universal = factory.getOWLObjectAllValuesFrom(
                    prop, union);
            /* Create a new axiom */
            OWLAxiom newAxiom = factory.getOWLSubClassOfAxiom(clazz, universal);
            /* Now add the axiom to the ontology */
            AddAxiom addAxiom = new AddAxiom(ontology, newAxiom);
            /* Use the manager to apply the change */
            manager.applyChange(addAxiom);
        }
View Full Code Here
TOP

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

  • au.csiro.snorocket.owlapi.SnorocketOWLReasoner
  • com.clarkparsia.explanation.test.AbstractExplanationTest
  • com.clarkparsia.modularity.IncrementalClassifier
  • com.clarkparsia.modularity.IncrementalClassifier$DisjointClassComparator
  • com.clarkparsia.modularity.test.RandomizedModularityTest
  • com.clarkparsia.owlapi.explanation.BlackBoxExplanation
  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • com.clarkparsia.owlapi.explanation.HSTExplanationGenerator
  • com.clarkparsia.owlapi.explanation.util.DefinitionTracker
  • com.clarkparsia.owlapi.modularity.locality.SemanticLocalityEvaluator
    • 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.