Package com.hp.hpl.jena.ontology

Examples of com.hp.hpl.jena.ontology.Individual

724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
    model.read( base + "3Sat.owl" );

    String solution = "101";
    int n = solution.length();

    Individual T = model.getIndividual( ns + "T" );
    Individual F = model.getIndividual( ns + "F" );

    model.prepare();

    assertTrue( ((PelletInfGraph) model.getGraph()).getKB().isConsistent() );

    Individual[] positives = new Individual[n + 1];
    Individual[] negatives = new Individual[n + 1];

    positives[0] = T;
    negatives[0] = F;

    for( int i = 1; i <= n; i++ ) {
      boolean t = solution.charAt( i - 1 ) == '1';

      if( t ) {
        positives[i] = model.getIndividual( ns + "plus" + i );
        negatives[i] = model.getIndividual( ns + "minus" + i );
      }
      else {
        positives[i] = model.getIndividual( ns + "minus" + i );
        negatives[i] = model.getIndividual( ns + "plus" + i );
      }

      assertTrue( T + " = " + positives[i], T.isSameAs( positives[i] ) );
      assertTrue( F + " = " + negatives[i], F.isSameAs( negatives[i] ) );
    }

    // System.out.println(
    // ((org.mindswap.pellet.Individual)((PelletInfGraph)model.getGraph()).getKB().getABox().pseudoModel.
    // getIndividual(ATermUtils.makeTermAppl(ns+"T")).getSame()).getTypes(Node.NOM));
    //       
    // System.out.println(
    // ((org.mindswap.pellet.Individual)((PelletInfGraph)model.getGraph()).getKB().getABox().pseudoModel.
    // getIndividual(ATermUtils.makeTermAppl(ns+"F")).getSame()).getTypes(Node.NOM));

    assertIteratorValues( T.listSameAs(), positives );
    assertIteratorValues( F.listSameAs(), negatives );
  }
View Full Code Here
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
    ObjectProperty p = ont.createInverseFunctionalProperty( ns + "p1", /*
                                       * functional
                                       * =
                                       */true );

    Individual s1 = ont.createIndividual( ns + "s1", OWL.Thing );
    Individual s2 = ont.createIndividual( ns + "s2", OWL.Thing );
    s1.addDifferentFrom( s2 );
    Individual o1 = ont.createIndividual( ns + "o1", OWL.Thing );
    Individual o2 = ont.createIndividual( ns + "o2", OWL.Thing );
    s1.addProperty( p, o1 );
    s2.addProperty( p, o2 );

    Model values = ModelFactory.createDefaultModel();
    addStatements( values, s1, OWL.differentFrom, s2 );
View Full Code Here
817
818
819
820
821
822
823
824
825
826
827
828
829
    OntModel ont = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );

    ObjectProperty p = ont.createObjectProperty( ns + "p", /* functional = */true );

    Individual s = ont.createIndividual( ns + "s", OWL.Thing );
    Individual o1 = ont.createIndividual( ns + "o1", OWL.Thing );
    Individual o2 = ont.createIndividual( ns + "o2", OWL.Thing );
    s.addProperty( p, o1 );
    s.addProperty( p, o2 );

    ont.prepare();

View Full Code Here
838
839
840
841
842
843
844
845
846
847
848
849
  public void testAnonTypes() {
    String ns = "urn:test:";
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    OntClass c = model.createClass( ns + "C" );

    Individual anon = model.createIndividual( c );
    Individual x = model.createIndividual( ns + "x", c );

    model.contains( OWL.Nothing, RDF.type, OWL.Class );
   
    assertIteratorValues( model.listStatements( x, RDF.type, (Resource) null ), new Object[] {
      model.createStatement( x, RDF.type, OWL.Thing ),
View Full Code Here
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
    OntModel model = ModelFactory.createOntologyModel();

    OntClass A = model.createClass( ns + "A" );
    ObjectProperty P = model.createObjectProperty( ns + "P" );
    P.addDomain( A );
    Individual x = model.createIndividual( ns + "x", OWL.Thing );
    Individual y = model.createIndividual( ns + "y", OWL.Thing );
    x.addProperty( P, y );

    assertTrue( x.hasRDFType( A ) );

    x.removeRDFType( A );
View Full Code Here
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );

    OntClass C = model.createClass( ns + "C" );
    OntClass D = model.createClass( ns + "D" );

    Individual a = model.createIndividual( ns + "a", C );
    Individual b = model.createIndividual( ns + "b", C );
    Individual c = model.createIndividual( ns + "c", D );
    Individual d = model.createIndividual( ns + "d", OWL.Thing );

    ObjectProperty p = model.createObjectProperty( ns + "p" );

    C.addDisjointWith( D );

    a.addProperty( p, b );

    d.addRDFType( model.createAllValuesFromRestriction( null, p, OWL.Nothing ) );

    model.prepare();

    assertIteratorValues( a.listDifferentFrom(), new Resource[] { c, d } );
View Full Code Here
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
  public void testSameAs1() {
    String ns = "urn:test:";

    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );

    Individual a = model.createIndividual( ns + "a", OWL.Thing );
    Individual b = model.createIndividual( ns + "b", OWL.Thing );
    Individual c = model.createIndividual( ns + "c", OWL.Thing );

    ObjectProperty p = model.createObjectProperty( ns + "p" );
    ObjectProperty q = model.createObjectProperty( ns + "q" );

    a.addProperty( p, c );

    b.addProperty( p, b );
    c.addProperty( q, a );

    c.addSameAs( b );

    a.addProperty( q, c );

    model.prepare();

    assertIteratorValues( a.listPropertyValues( p ), new Resource[] { b, c } );

    assertIteratorValues( a.listPropertyValues( q ), new Resource[] { b, c } );

    assertIteratorValues( b.listPropertyValues( p ), new Resource[] { b, c } );

    assertIteratorValues( b.listPropertyValues( q ), new Resource[] { a } );

    assertIteratorValues( c.listPropertyValues( p ), new Resource[] { b, c } );

    assertIteratorValues( c.listPropertyValues( q ), new Resource[] { a } );

  }
View Full Code Here
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
  @Test
  public void testSameAs2() {
    OntModelSpec ontModelSpec = new OntModelSpec( OntModelSpec.OWL_DL_MEM_RULE_INF );
    ontModelSpec.setReasoner( new PelletReasoner() );
    OntModel model = ModelFactory.createOntologyModel( ontModelSpec );
    Individual i1 = model.createIndividual( "http://test#i1", OWL.Thing );
    Individual i2 = model.createIndividual( "http://test#i2", OWL.Thing );
    Property prop = model.createProperty( "http://test#prop" );
    i1.addProperty( prop, "test" );
    i1.addSameAs( i2 );

    // confirm that sameAs was created
    assertTrue( i1.isSameAs( i2 ) );

    // confirm that symmetric sameAs inferred
    assertTrue( i2.isSameAs( i1 ) );

    // confirm that the property is there
    assertTrue( i1.hasProperty( prop, "test" ) );

    // confirm that the property is there when querying with a predicate
    assertIteratorContains( i1.listProperties(), model.createStatement( i1, prop, "test" ) );

    // confirm that the property is copied over when querying with a
    // predicate
    assertTrue( i2.hasProperty( prop, "test" ) );

    // confirm that the property is copied over when querying with a
    // predicate
    assertIteratorContains( i2.listProperties(), model.createStatement( i2, prop, "test" ) );
  }
View Full Code Here
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
  @Test
  public void testSameAs3() {
    OntModelSpec ontModelSpec = new OntModelSpec( OntModelSpec.OWL_DL_MEM_RULE_INF );
    ontModelSpec.setReasoner( new PelletReasoner() );
    OntModel model = ModelFactory.createOntologyModel( ontModelSpec );
    Individual i1 = model.createIndividual( "http://test#i1", OWL.Thing );
    Individual i2 = model.createIndividual( "http://test#i2", OWL.Thing );
    OntClass c = model.createEnumeratedClass( "http://test#C", model.createList( new RDFNode[] {
        i1, i2 } ) );
    Individual i3 = model.createIndividual( "http://test#i3", c );

    assertTrue( !i1.isSameAs( i2 ) );
    assertTrue( !i1.isSameAs( i3 ) );
    assertIteratorValues( i1.listSameAs(), new Resource[] { i1 } );

    assertTrue( !i2.isSameAs( i1 ) );
    assertTrue( !i2.isSameAs( i3 ) );
    assertIteratorValues( i2.listSameAs(), new Resource[] { i2 } );

    assertTrue( !i3.isSameAs( i1 ) );

    assertTrue( !i3.isSameAs( i2 ) );
    assertIteratorValues( i3.listSameAs(), new Resource[] { i3 } );
  }
View Full Code Here
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
    Individual[][] eq = new Individual[][] {
        { V[1][1], V[2][2], V[3][3], N[1] }, { V[1][3], V[2][1], V[3][2], N[2] },
        { V[1][2], V[2][3], V[3][1], N[3] } };
    for( int k = 0; k < 3; k++ ) {
      for( int i = 0; i < 4; i++ ) {
        Individual ind = eq[k][i];
        for( int j = 0; j < 4; j++ ) {
          // System.out.println( ind + " = " + eq[k][j] );
          assertTrue( ind.isSameAs( eq[k][j] ) );
        }
        assertIteratorValues( ind.listSameAs(), eq[k] );
      }
    }
  }
View Full Code Here
TOP

Related Classes of com.hp.hpl.jena.ontology.Individual

  • br.uniriotec.orion.control.OntologyParser
  • enzyme.ontology.OntologyDataSource
  • net.nutch.ontology.OntologyImpl
  • net.nutch.ontology.OwlParser
  • org.apache.jena.examples.ExampleONT_01
  • org.apache.lucene.analysis.ontology.OntologyElementTree
  • org.apache.lucene.analysis.ontology.OntologyFilter
  • org.apache.nutch.ontology.jena.OntologyImpl
  • org.apache.nutch.ontology.jena.OwlParser
  • org.apache.nutch.ontology.OntologyImpl
    • 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.