Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
    public void
            shouldCreateViolationForOWLSubPropertyChainOfAxiomInOWL2QLProfile()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        OWLObjectProperty op1 = ObjectProperty(IRI("urn:test#op"));
        declare(o, OP, op1);
        m.addAxiom(o, SubPropertyChainOf(Arrays.asList(OP, op1), OP));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
                .loadOntologyFromOntologyDocument(allTestURI);
        OWLClass profileIdentificationTestClass = Class(profile);
        OWLNamedIndividual el = df.getOWLNamedIndividual(elIRI);
        OWLNamedIndividual ql = df.getOWLNamedIndividual(qlIRI);
        OWLNamedIndividual rl = df.getOWLNamedIndividual(rlIRI);
        OWLObjectProperty speciesProperty = df.getOWLObjectProperty(species);
        OWLNamedIndividual full = df.getOWLNamedIndividual(fullIRI);
        OWLNamedIndividual dl = df.getOWLNamedIndividual(dlIRI);
        OWLDataProperty rdfXMLPremiseOntologyProperty = df
                .getOWLDataProperty(premiseIRI);
        for (OWLClassAssertionAxiom ax : testCasesOntology
View Full Code Here
32
33
34
35
36
37
38
39
40
41
42
public class PropertyCharacteristicsAccessorsTestCase extends TestBase {

    @Test
    public void testTransitive() {
        OWLOntology ont = getOWLOntology("Ont");
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        assertFalse(isTransitive(prop, ont));
        OWLAxiom ax = TransitiveObjectProperty(prop);
        m.addAxiom(ont, ax);
        assertTrue(isTransitive(prop, ont));
    }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
    }

    @Test
    public void testSymmetric() {
        OWLOntology ont = getOWLOntology("Ont");
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        assertFalse(isSymmetric(prop, ont));
        OWLAxiom ax = SymmetricObjectProperty(prop);
        m.addAxiom(ont, ax);
        assertTrue(isSymmetric(prop, ont));
    }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
    }

    @Test
    public void testAsymmetric() {
        OWLOntology ont = getOWLOntology("Ont");
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        assertFalse(isAsymmetric(prop, ont));
        OWLAxiom ax = AsymmetricObjectProperty(prop);
        m.addAxiom(ont, ax);
        assertTrue(isAsymmetric(prop, ont));
    }
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
    }

    @Test
    public void testReflexive() {
        OWLOntology ont = getOWLOntology("Ont");
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        assertFalse(isReflexive(prop, ont));
        OWLAxiom ax = ReflexiveObjectProperty(prop);
        m.addAxiom(ont, ax);
        assertTrue(isReflexive(prop, ont));
    }
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
    }

    @Test
    public void testIrreflexive() {
        OWLOntology ont = getOWLOntology("Ont");
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        assertFalse(isIrreflexive(prop, ont));
        OWLAxiom ax = IrreflexiveObjectProperty(prop);
        m.addAxiom(ont, ax);
        assertTrue(isIrreflexive(prop, ont));
    }
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
    }

    @Test
    public void testFunctional() {
        OWLOntology ont = getOWLOntology("Ont");
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        assertFalse(isFunctional(prop, ont));
        OWLAxiom ax = FunctionalObjectProperty(prop);
        m.addAxiom(ont, ax);
        assertTrue(isFunctional(prop, ont));
    }
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
    }

    @Test
    public void testInverseFunctional() {
        OWLOntology ont = getOWLOntology("Ont");
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        assertFalse(isInverseFunctional(prop, ont));
        OWLAxiom ax = InverseFunctionalObjectProperty(prop);
        m.addAxiom(ont, ax);
        assertTrue(isInverseFunctional(prop, ont));
    }
View Full Code Here
305
306
307
308
309
310
311
312
313
314
315
316
317
                clsA, var));
        Set<SWRLClassAtom> head = Collections.singleton(df.getSWRLClassAtom(
                clsB, var));
        SWRLRule rule = df.getSWRLRule(body, head);
        m.applyChange(new AddAxiom(o, rule));
        OWLObjectProperty prop = df.getOWLObjectProperty(IRI.create(EXAMPLE_IRI
                + "#propA"));
        OWLObjectProperty propB = df.getOWLObjectProperty(IRI
                .create(EXAMPLE_IRI + "#propB"));
        SWRLObjectPropertyAtom propAtom = df.getSWRLObjectPropertyAtom(prop,
                var, var);
        SWRLObjectPropertyAtom propAtom2 = df.getSWRLObjectPropertyAtom(propB,
                var, var);
View Full Code Here
TOP

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

  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • de.fzi.herakles.examples.ComplexClassDescriptionExample
  • de.fzi.herakles.protege.anytime.tab.AnytimeReasoningListCellRenderer
  • de.uulm.ecs.ai.owlapi.krssparser.KRSS2Parser
  • edu.pitt.dbmi.nlp.noble.ontology.owl.OInstance
  • edu.pitt.ontology.owl.OInstance
  • edu.stanford.bmir.protege.web.client.ui.frame.ObjectPropertyFrameEditor
  • org.apache.stanbol.commons.owl.transformation.ConversionTester
    • 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.