Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLNamedIndividual

426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
    OWLDataProperty pInt = DataProperty( ns + "pInt" );
    OWLDataProperty pDouble = DataProperty( ns + "pDouble" );
    OWLDataProperty pBoolean = DataProperty( ns + "pBoolean" );

    OWLNamedIndividual ind = Individual( ns + indName );

    OWLLiteral valDouble = ind.getDataPropertyValues( pDouble, ont ).iterator().next();
    OWLLiteral valInt = ind.getDataPropertyValues( pInt, ont ).iterator().next();
    OWLLiteral valBoolean = ind.getDataPropertyValues( pBoolean, ont ).iterator().next();

    assertTrue( reasoner.isConsistent() );
   
    removeAxioms(ont, propertyAssertion( ind, pDouble, valDouble ) );
    if( buffering ) {
View Full Code Here
504
505
506
507
508
509
510
511
512
513
514
          classifier.classify();
         
          testFamily( ns, classifier );
         
          // force realization
          OWLNamedIndividual ind1 = Individual( ns + "ind1" );
          classifier.getTypes(ind1, true);
         
          testFamily( ns, classifier );
        }
        finally {
View Full Code Here
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
    // OWLClass GoodChild = Class( ns +
    // "GoodChild" );
    OWLClass Grandchild = Class( ns + "Grandchild" );
    OWLClass Person = Class( ns + "Person" );

    OWLNamedIndividual Abel = Individual( ns + "Abel" );
    OWLNamedIndividual Cain = Individual( ns + "Cain" );
    OWLNamedIndividual Oedipus = Individual( ns + "Oedipus" );
    OWLNamedIndividual Remus = Individual( ns + "Remus" );
    OWLNamedIndividual Romulus = Individual( ns + "Romulus" );

    for( int test = 0; test < 2; test++ ) {
      if( test != 0 ) {
              reasoner.prepareReasoner();
            }
View Full Code Here
898
899
900
901
902
903
904
905
906
907
908
909
910
  public void testSameAs1() throws OWLException {
    String ns = "urn:test:";

    IRI ontIRI = IRI.create( base + "invalidTransitivity.owl" );

    OWLNamedIndividual a = Individual( ns + "a" );
    OWLNamedIndividual b = Individual( ns + "b" );
    OWLNamedIndividual c = Individual( ns + "c" );

    OWLObjectProperty p = ObjectProperty( ns + "p" );
    OWLObjectProperty q = ObjectProperty( ns + "q" );

    Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
View Full Code Here
944
945
946
947
948
949
950
951
952
953
954
955
956
  public void testSameAs3() throws OWLException {
    String ns = "urn:test:";

    IRI ontIRI = IRI.create( base + "test.owl" );

    OWLNamedIndividual i1 = Individual( ns + "i1" );
    OWLNamedIndividual i2 = Individual( ns + "i2" );
    OWLNamedIndividual i3 = Individual( ns + "i3" );

    OWLClass c = Class( ns + "c" );

    Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
        boolean result = instance.addRule(ruleName, ruleBodyHead, ruleDescription);
        OWLOntology newonto = instance.getStore().getOntology();
        String ID = newonto.getOntologyID().toString().replace("<", "").replace(">", "") + "#";

        if (result) {
            OWLNamedIndividual ruleind = newonto.getOWLOntologyManager().getOWLDataFactory()
                    .getOWLNamedIndividual(IRI.create(ID + "MyRuleA"));
            int axiom = newonto.getAxioms(ruleind).size();
            assertEquals(3, axiom);
            // TODO review the generated test code and remove the default call to fail.
        } else {
View Full Code Here
114
115
116
117
118
119
120
121
122
123
124
        boolean result = instance.addRule(ruleName, ruleBodyHead, ruleDescription);
        OWLOntology newonto = instance.getStore().getOntology();

        if (result) {
            OWLNamedIndividual ruleind = newonto.getOWLOntologyManager().getOWLDataFactory()
                    .getOWLNamedIndividual(ruleName);
            int axiom = newonto.getAxioms(ruleind).size();
            assertEquals(3, axiom);
            // TODO review the generated test code and remove the default call to fail.
        } else {
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
        if (result) {
            Iterator<String> keys = ruleBodyHeadMap.keySet().iterator();
            int axiom = 0;
            while (keys.hasNext()) {
                OWLNamedIndividual ruleind = newonto.getOWLOntologyManager().getOWLDataFactory()
                        .getOWLNamedIndividual(IRI.create(ID + keys.next()));
                axiom = axiom + newonto.getAxioms(ruleind).size();
            }
            assertEquals(6, axiom);
            // TODO review the generated test code and remove the default call to fail.
View Full Code Here
185
186
187
188
189
190
191
192
193
194
195
        if (result) {
            Iterator<IRI> keys = ruleBodyHeadMap.keySet().iterator();
            int axiom = 0;
            while (keys.hasNext()) {
                OWLNamedIndividual ruleind = newonto.getOWLOntologyManager().getOWLDataFactory()
                        .getOWLNamedIndividual(keys.next());
                axiom = axiom + newonto.getAxioms(ruleind).size();
            }
            assertEquals(6, axiom);
            // TODO review the generated test code and remove the default call to fail.
View Full Code Here
124
125
126
127
128
129
130
131
132
133
134
135
136
137
            assertEquals("file", o.getOWLOntologyManager().getOntologyDocumentIRI(o).getScheme());

        assertEquals(coreSource.getRootOntology().getOntologyID().getOntologyIRI(),
            IRI.create(Constants.PEANUTS_MAIN_BASE));
        // Linus is stated to be a foaf:Person
        OWLNamedIndividual iLinus = df.getOWLNamedIndividual(IRI.create(Constants.PEANUTS_MAIN_BASE
                                                                        + "#Linus"));
        // Lucy is stated to be a foaf:Perzon
        OWLNamedIndividual iLucy = df
                .getOWLNamedIndividual(IRI.create(Constants.PEANUTS_MAIN_BASE + "#Lucy"));
        OWLClass cPerzon = df.getOWLClass(IRI.create("http://xmlns.com/foaf/0.1/Perzon"));

        Set<OWLIndividual> instances = cPerzon.getIndividuals(coreSource.getRootOntology());
        assertTrue(!instances.contains(iLinus) && instances.contains(iLucy));
View Full Code Here
TOP

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

  • com.clarkparsia.modularity.IncrementalClassifier
  • com.clarkparsia.owlwg.testcase.AbstractBaseTestCase
  • com.clarkparsia.owlwg.TestCollection
  • com.clarkparsia.owlwg.testrun.TestRunResultParser
  • com.clarkparsia.pellet.owlapiv3.OWLClassTreePrinter
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • de.tudresden.inf.tcs.ontocomp.ui.action.NewCounterExampleUIAction
  • edu.stanford.bmir.protege.web.client.ui.ontology.individuals.IndividualsListPortlet
  • edu.stanford.bmir.protege.web.server.owlapi.GetDirectTypesStrategy
  • 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.