Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataProperty

41
42
43
44
45
46
47
48
49
50
51
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDataRange dr = DatatypeRestriction(Integer(),
                FacetRestriction(OWLFacet.MIN_INCLUSIVE, Literal(18)),
                FacetRestriction(OWLFacet.MAX_INCLUSIVE, Literal(30)));
        OWLDataProperty p = DataProperty(iri("p"));
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(p, dr);
        axioms.add(ax);
        axioms.add(Declaration(p));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
44
45
46
47
48
49
50
51
52
        return axioms;
    }

    private void addAxiomForLiteral(@Nonnull OWLLiteral lit,
            @Nonnull Set<OWLAxiom> axioms) {
        OWLDataProperty prop = DataProperty(iri("p"));
        OWLNamedIndividual ind = NamedIndividual(iri("i"));
        axioms.add(DataPropertyAssertion(prop, ind, lit));
    }
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
public class HasKeyTestCase extends AbstractFileRoundTrippingTestCase {

    @Test
    public void testCorrectAxioms() {
        OWLClass cls = Class(IRI("http://example.com/Person"));
        OWLDataProperty propP = DataProperty(IRI("http://example.com/dataProperty"));
        OWLObjectProperty propQ = ObjectProperty(IRI("http://example.com/objectPoperty"));
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLHasKeyAxiom owlHasKeyAxiom = HasKey(cls, propQ, propP);
        axioms.add(owlHasKeyAxiom);
        Set<OWLAxiom> axioms2 = getOnt().getAxioms();
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
    }

    @Test
    public void testPlainLiteralSerialization() throws Exception {
        OWLOntology o = m.createOntology();
        OWLDataProperty p = m.getOWLDataFactory().getOWLDataProperty(
                IRI("urn:test#p"));
        OWLIndividual i = m.getOWLDataFactory().getOWLNamedIndividual(
                IRI("urn:test#ind"));
        OWLLiteral l = m.getOWLDataFactory().getOWLLiteral("test",
                OWL2Datatype.RDF_PLAIN_LITERAL);
View Full Code Here
37
38
39
40
41
42
43
44
45
46
    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLDataProperty prop = DataProperty(iri("p"));
        axioms.add(SubClassOf(clsA, DataMinCardinality(3, prop, TopDatatype())));
        axioms.add(Declaration(prop));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
49
50
51
52
53
54
55
56
57
        // here I negate dr
        OWLDataIntersectionOf disj2 = DataIntersectionOf(DataComplementOf(dt),
                dr);
        // here I negate dt
        OWLDataUnionOf union = DataUnionOf(disj1, disj2);
        OWLDataProperty prop = DataProperty(iri("prop"));
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(prop, union);
        return singleton(ax);
    }
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
    @Nonnull
    @Override
    protected Set<OWLAxiom> getAxioms() {
        OWLIndividual subj = createIndividual();
        OWLDataProperty prop = createDataProperty();
        OWLLiteral obj = df.getOWLLiteral("TestConstant");
        OWLAxiom ax = df.getOWLNegativeDataPropertyAssertionAxiom(prop, subj,
                obj);
        return singleton(ax);
    }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
    private static final String NS = "urn:test";

    @Test
    public void shouldDoCompleteRoundtrip() throws Exception {
        OWLClass a = Class(IRI(NS + "#A"));
        OWLDataProperty p = df.getOWLDataProperty(IRI(NS + "#P"));
        SWRLVariable x = df.getSWRLVariable(IRI(NS + "#X"));
        SWRLVariable y = df.getSWRLVariable(IRI(NS + "#Y"));
        OWLOntology ontology = m.createOntology(IRI(NS));
        Set<SWRLAtom> body = new TreeSet<>();
        body.add(df.getSWRLDataPropertyAtom(p, x, y));
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
    }

    @Test
    public void shouldDoCompleteRoundtripManchesterOWLSyntax() throws Exception {
        OWLClass a = Class(IRI(NS + "#A"));
        OWLDataProperty p = df.getOWLDataProperty(IRI(NS + "#P"));
        SWRLVariable x = df.getSWRLVariable(IRI(NS + "#X"));
        SWRLVariable y = df.getSWRLVariable(IRI(NS + "#Y"));
        OWLOntology ontology = m.createOntology(IRI(NS));
        Set<SWRLAtom> body = new TreeSet<>();
        body.add(df.getSWRLDataPropertyAtom(p, x, y));
View Full Code Here
185
186
187
188
189
190
191
192
193
194
195
     * @throws OWLOntologyCreationException
     */
    @Nonnull
    OWLOntology prepareOntology() throws OWLOntologyCreationException {
        OWLClass a = Class(IRI(NS + "#A"));
        OWLDataProperty p = df.getOWLDataProperty(IRI(NS + "#P"));
        SWRLVariable x = df.getSWRLVariable(IRI(NS + "#X"));
        SWRLVariable y = df.getSWRLVariable(IRI(NS + "#Y"));
        OWLOntology ontology = m.createOntology(IRI(NS));
        Set<SWRLAtom> body = new TreeSet<>();
        body.add(df.getSWRLDataPropertyAtom(p, x, y));
View Full Code Here
TOP

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

  • au.csiro.ontology.importer.owl.OWLImporter
  • com.clarkparsia.explanation.test.AbstractExplanationTest
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.owlapiv3.EntailmentChecker
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • com.clarkparsia.pellint.test.util.OWL2DLProfileViolationsTest
  • edu.pitt.dbmi.nlp.noble.ontology.owl.OInstance
  • edu.pitt.ontology.owl.OInstance
  • edu.stanford.bmir.protege.web.client.ui.frame.DataPropertyFrameEditor
  • 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.