Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.SWRLVariable

73
74
75
76
77
78
79
80
81
82
83
84
    @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));
        body.add(df.getSWRLDataRangeAtom(
                df.getOWLDatatype(XSDVocabulary.STRING.getIRI()), y));
View Full Code Here
186
187
188
189
190
191
192
193
194
195
196
197
     */
    @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));
        body.add(df.getSWRLDataRangeAtom(
                df.getOWLDatatype(XSDVocabulary.STRING.getIRI()), y));
View Full Code Here
96
97
98
99
100
101
102
103
            return true;
        }
        if (!(obj instanceof SWRLVariable)) {
            return false;
        }
        SWRLVariable other = (SWRLVariable) obj;
        return other.getIRI().equals(this.getIRI());
    }
View Full Code Here
417
418
419
420
421
422
423
424
425
426
427
428
429
  }

  @Test
  public void ruleBuiltinTest3() throws Exception {

    SWRLVariable y = SWRL.variable( ontologyURI + "year" );
    SWRLVariable m = SWRL.variable( ontologyURI + "month" );
    SWRLVariable d = SWRL.variable( ontologyURI + "day" );

    OWLDataProperty year = OWL.DataProperty( ontologyURI + "year" );
    OWLDataProperty month = OWL.DataProperty( ontologyURI + "month" );
    OWLDataProperty day = OWL.DataProperty( ontologyURI + "day" );
View Full Code Here
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
    OWLIndividual individualA = OWL.Individual( "a" );
    OWLClassExpression classC = OWL.Class( "C" );
    OWLClassExpression classD = OWL.Class( "D" );
    OWLClassExpression classE = OWL.Class( "E" );
    OWLObjectProperty propertyP = OWL.ObjectProperty( "p" );
    SWRLVariable variable = SWRL.variable( "x" );

    OWLObjectSomeValuesFrom restriction = OWL.some( propertyP, classD );

    // C(?x)
    bodyAtoms.add( SWRL.classAtom( classC, variable ) );
View Full Code Here
416
417
418
419
420
421
422
423
424
425
426
427
428
  }

  @Test
  public void ruleBuiltinTest3() throws Exception {

    SWRLVariable y = SWRL.variable( ontologyURI + "year" );
    SWRLVariable m = SWRL.variable( ontologyURI + "month" );
    SWRLVariable d = SWRL.variable( ontologyURI + "day" );

    OWLDataProperty year = OWL.DataProperty( ontologyURI + "year" );
    OWLDataProperty month = OWL.DataProperty( ontologyURI + "month" );
    OWLDataProperty day = OWL.DataProperty( ontologyURI + "day" );
View Full Code Here
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
    OWLIndividual individualA = OWL.Individual( "a" );
    OWLClassExpression classC = OWL.Class( "C" );
    OWLClassExpression classD = OWL.Class( "D" );
    OWLClassExpression classE = OWL.Class( "E" );
    OWLObjectProperty propertyP = OWL.ObjectProperty( "p" );
    SWRLVariable variable = SWRL.variable( "x" );

    OWLObjectSomeValuesFrom restriction = OWL.some( propertyP, classD );

    // C(?x)
    bodyAtoms.add( SWRL.classAtom( classC, variable ) );
View Full Code Here
TOP

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

  • com.clarkparsia.explanation.test.AbstractExplanationTest
  • org.mindswap.pellet.test.rules.MiscRuleTests
  • org.semanticweb.owlapi.api.test.annotations.SWRLAnnotationTestCase
  • org.semanticweb.owlapi.api.test.ontology.SWRLRoundTripTestCase
  • org.semanticweb.owlapi.api.test.ontology.SWRLRuleAlternateNSTestCase
  • org.semanticweb.owlapi.api.test.ontology.SWRLRuleTestCase
  • org.semanticweb.owlapi.api.test.swrl.SWRLAtomOrderingRoundTripTestCase
  • org.semanticweb.owlapi.examples.Examples
  • org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl
  • org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase
    • 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.