Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLAxiom

253
254
255
256
257
258
259
260
261
262
263
        if (!(destination instanceof RDFJsonLDDocumentFormat)) {
            return false;
        }
        Set<OWLAxiom> toRemove = new HashSet<>();
        for (OWLAxiom ax : others) {
            OWLAxiom reannotated = ax.getAxiomWithoutAnnotations()
                    .getAnnotatedAxiom(reannotate(ax.getAnnotations()));
            toRemove.add(reannotated);
        }
        axioms.removeAll(toRemove);
        return true;
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
58
59
60
    public void testCorrectAxiomAnnotated() throws OWLOntologyCreationException {
        OWLOntology ontology = createOntology();
        OWLNamedIndividual subject = NamedIndividual(IRI("http://Example.com#myBuilding"));
        OWLObjectProperty predicate = ObjectProperty(IRI("http://Example.com#located_at"));
        OWLNamedIndividual object = NamedIndividual(IRI("http://Example.com#myLocation"));
        OWLAxiom ax = ObjectPropertyAssertion(predicate, subject, object);
        assertTrue(ontology.containsAxiom(ax, EXCLUDED,
                AxiomAnnotations.IGNORE_AXIOM_ANNOTATIONS));
        Set<OWLAxiom> axioms = ontology
                .getAxiomsIgnoreAnnotations(ax, EXCLUDED);
        assertEquals(1, axioms.size());
        OWLAxiom theAxiom = axioms.iterator().next();
        assertTrue(theAxiom.isAnnotated());
    }
View Full Code Here
388
389
390
391
392
393
394
395
396
397
398
399
        OWLAxiomTreeComparator() {}

        @Override
        public int compare(Tree<OWLAxiom> o1, Tree<OWLAxiom> o2) {
            OWLAxiom ax1 = o1.getUserObject();
            OWLAxiom ax2 = o2.getUserObject();
            // Equivalent classes axioms always come last
            if (ax1 instanceof OWLEquivalentClassesAxiom) {
                return 1;
            }
            if (ax2 instanceof OWLEquivalentClassesAxiom) {
View Full Code Here
56
57
58
59
60
61
62
63
64
65
        List<OWLAxiom> axiomsList = new ArrayList<>(axioms);
        Collections.sort(axiomsList);
        Set<OWLAxiom> normalised = new HashSet<>();
        for (OWLAxiom ax : axiomsList) {
            assert ax != null;
            OWLAxiom dup = duplicateObject(ax);
            normalised.add(dup);
        }
        return normalised;
    }
View Full Code Here
65
66
67
68
69
70
71
72
73
74
        OWLClassExpression descA = df.getOWLObjectSomeValuesFrom(prop, clsA);
        OWLClassExpression descB = df.getOWLObjectSomeValuesFrom(prop, clsB);
        Set<OWLClassExpression> classExpressions = new HashSet<>();
        classExpressions.add(descA);
        classExpressions.add(descB);
        OWLAxiom ax = df.getOWLDisjointClassesAxiom(classExpressions);
        m.applyChange(new AddAxiom(ontA, ax));
        OWLOntology ontB = roundTrip(ontA);
        assertTrue(ontB.getAxioms().contains(ax));
    }
View Full Code Here
41
42
43
44
45
46
47
48
        OWLObjectProperty prop = createObjectProperty();
        OWLClassExpression filler = df.getOWLObjectIntersectionOf(clsB, clsC);
        OWLCardinalityRestriction<?> restriction = df
                .getOWLObjectMinCardinality(3, prop, filler);
        assertTrue(restriction.isQualified());
        OWLAxiom ax = df.getOWLSubClassOfAxiom(clsA, restriction);
        return singleton(ax);
    }
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
    @Test
    public void testOWLClassDeclarationAxiom()
            throws OWLOntologyCreationException {
        OWLClass cls = createClass();
        OWLAxiom ax = Declaration(cls);
        OWLOntology ont = m.createOntology(OWLOntologyDocumentSourceBase
                .getNextDocumentIRI("urn:testontology"));
        m.applyChange(new AddAxiom(ont, ax));
        assertTrue(ont.getClassesInSignature().contains(cls));
    }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
    @Test
    public void testOWLObjectPropertyDeclarationAxiom()
            throws OWLOntologyCreationException {
        OWLObjectProperty prop = createObjectProperty();
        OWLAxiom ax = Declaration(prop);
        OWLOntology ont = m.createOntology(OWLOntologyDocumentSourceBase
                .getNextDocumentIRI("urn:testontology"));
        m.applyChange(new AddAxiom(ont, ax));
        assertTrue(ont.getObjectPropertiesInSignature().contains(prop));
    }
View Full Code Here
49
50
51
52
53
54
55
56
57
58
        Set<OWLAnnotation> annos = new HashSet<>();
        OWLAnnotationProperty annoPropA = AnnotationProperty(iri("annoPropA"));
        OWLAnnotationProperty annoPropB = AnnotationProperty(iri("annoPropB"));
        annos.add(Annotation(annoPropA, Literal("Test", "en")));
        annos.add(Annotation(annoPropB, Literal("Test", "")));
        OWLAxiom ax = SubPropertyChainOf(props, propD, annos);
        Set<OWLAxiom> axioms = new HashSet<>();
        axioms.add(ax);
        return axioms;
    }
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
    @Test
    public void testOWLDataPropertyDeclarationAxiom()
            throws OWLOntologyCreationException {
        OWLDataProperty prop = createDataProperty();
        OWLAxiom ax = Declaration(prop);
        OWLOntology ont = m.createOntology(OWLOntologyDocumentSourceBase
                .getNextDocumentIRI("urn:testontology"));
        m.applyChange(new AddAxiom(ont, ax));
        assertTrue(ont.getDataPropertiesInSignature().contains(prop));
    }
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.