Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

33
34
35
36
37
38
39
40
41
42
43
    @Nonnull
    @Override
    protected Set<OWLAxiom> getAxioms() {
        OWLClass clsA = createClass();
        OWLObjectProperty prop = createObjectProperty();
        OWLClassExpression descA = df.getOWLObjectSomeValuesFrom(prop,
                df.getOWLThing());
        Set<OWLClassExpression> classExpressions = new HashSet<>();
        classExpressions.add(clsA);
        classExpressions.add(descA);
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
44
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLObjectProperty propA = ObjectProperty(iri("propA"));
        OWLObjectProperty propB = ObjectProperty(iri("propB"));
        axioms.add(EquivalentObjectProperties(propA, propB));
        axioms.add(Declaration(propA));
        axioms.add(Declaration(propB));
        return axioms;
    }
View Full Code Here
35
36
37
38
39
40
41
42
43
44
45
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        OWLIndividual subject = AnonymousIndividual();
        OWLIndividual object = AnonymousIndividual();
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        Set<OWLAxiom> axioms = new HashSet<>();
        axioms.add(ObjectPropertyAssertion(prop, subject, object));
        axioms.add(Declaration(prop));
        return axioms;
    }
View Full Code Here
28
29
30
31
32
33
34
35
36
@SuppressWarnings("javadoc")
public class ObjectPropertySimplifierTestCase extends TestBase {

    @Test
    public void testNamedSimplification() {
        OWLObjectProperty p = ObjectProperty(IRI("p"));
        OWLObjectPropertyExpression exp = p.getSimplified();
        assertEquals(p, exp);
    }
View Full Code Here
35
36
37
38
39
40
41
42
43
44
        assertEquals(p, exp);
    }

    @Test
    public void testInverseSimplification() {
        OWLObjectProperty p = ObjectProperty(IRI("p"));
        OWLObjectPropertyExpression inv = ObjectInverseOf(p);
        OWLObjectPropertyExpression exp = inv.getSimplified();
        assertEquals(inv, exp);
    }
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
        assertEquals(inv, exp);
    }

    @Test
    public void testInverseInverseSimplification() {
        OWLObjectProperty p = ObjectProperty(IRI("p"));
        OWLObjectPropertyExpression inv = ObjectInverseOf(p);
        OWLObjectPropertyExpression inv2 = ObjectInverseOf(inv);
        OWLObjectPropertyExpression exp = inv2.getSimplified();
        assertEquals(p, exp);
    }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
        assertEquals(p, exp);
    }

    @Test
    public void testInverseInverseInverseSimplification() {
        OWLObjectProperty p = ObjectProperty(IRI("p"));
        OWLObjectPropertyExpression inv = ObjectInverseOf(p);
        OWLObjectPropertyExpression inv2 = ObjectInverseOf(inv);
        OWLObjectPropertyExpression inv3 = ObjectInverseOf(inv2);
        OWLObjectPropertyExpression exp = inv3.getSimplified();
        assertEquals(inv, exp);
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
48
49
        AbstractFileRoundTrippingTestCase {

    @Test
    public void testContains() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLObjectProperty propQ = ObjectProperty(iri("q"));
        OWLObjectProperty propR = ObjectProperty(iri("r"));
        List<OWLObjectProperty> chain = new ArrayList<>();
        chain.add(propP);
        chain.add(propQ);
        axioms.add(df.getOWLSubPropertyChainOfAxiom(chain, propR));
        assertEquals(getOnt().getAxioms(), axioms);
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
        OWLOntology o = OWLManager.createOWLOntologyManager().createOntology();
        // SubObjectPropertyOf( ObjectPropertyChain( a:hasFather a:hasBrother )
        // a:hasUncle ) The brother of someone's father is that person's uncle.
        // SubObjectPropertyOf( ObjectPropertyChain( a:hasChild a:hasUncle )
        // a:hasBrother ) The uncle of someone's child is that person's brother.
        OWLObjectProperty father = df
                .getOWLObjectProperty(IRI("urn:test:hasFather"));
        OWLObjectProperty brother = df
                .getOWLObjectProperty(IRI("urn:test:hasBrother"));
        OWLObjectProperty child = df
                .getOWLObjectProperty(IRI("urn:test:hasChild"));
        OWLObjectProperty uncle = df
                .getOWLObjectProperty(IRI("urn:test:hasUncle"));
        o.getOWLOntologyManager()
                .addAxiom(o, df.getOWLDeclarationAxiom(father));
        o.getOWLOntologyManager().addAxiom(o,
                df.getOWLDeclarationAxiom(brother));
View Full Code Here
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
    }

    @Test
    public void shouldNotCauseViolations() throws OWLOntologyCreationException {
        OWLOntology o = OWLManager.createOWLOntologyManager().createOntology();
        OWLObjectProperty father = df
                .getOWLObjectProperty(IRI("urn:test:hasFather"));
        OWLObjectProperty brother = df
                .getOWLObjectProperty(IRI("urn:test:hasBrother"));
        OWLObjectProperty child = df
                .getOWLObjectProperty(IRI("urn:test:hasChild"));
        OWLObjectProperty uncle = df
                .getOWLObjectProperty(IRI("urn:test:hasUncle"));
        o.getOWLOntologyManager()
                .addAxiom(o, df.getOWLDeclarationAxiom(father));
        o.getOWLOntologyManager().addAxiom(o,
                df.getOWLDeclarationAxiom(brother));
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.