Package org.mindswap.pellet

Examples of org.mindswap.pellet.KnowledgeBase.addType()

678
679
680
681
682
683
684
685
686
687
688
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );

    // kb.addType( a, D );
    kb.addType( b, C );
    kb.addType( c, C );

    kb.addEquivalentClass( D, min( p, 2, E ) );
    kb.addEquivalentClass( E, some( p, C ) );
View Full Code Here
679
680
681
682
683
684
685
686
687
688
689
    kb.addIndividual( b );
    kb.addIndividual( c );

    // kb.addType( a, D );
    kb.addType( b, C );
    kb.addType( c, C );

    kb.addEquivalentClass( D, min( p, 2, E ) );
    kb.addEquivalentClass( E, some( p, C ) );

    kb.addObjectProperty( p );
View Full Code Here
730
731
732
733
734
735
736
737
738
739
740
    kb.addClass( D );

    kb.addIndividual( a );
    kb.addIndividual( b );

    kb.addType( b, C );

    {
      AtomIVariable x = new AtomIVariable( "x" );
      List<RuleAtom> body = new ArrayList<RuleAtom>();
      body.add( new ClassAtom( C, x ) );
View Full Code Here
768
769
770
771
772
773
774
775
776
777
778
    ATermAppl C = term( "C" );
    AtomIVariable x = new AtomIVariable( "x" );

    kb.addClass( C );
    kb.addIndividual( i );
    kb.addType( i, C );

    List<RuleAtom> body = new ArrayList<RuleAtom>();
    List<RuleAtom> head = new ArrayList<RuleAtom>();

    body.add( new ClassAtom( C, x ) );
View Full Code Here
793
794
795
796
797
798
799
800
801
802
803
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, D );
    kb.addIndividual( i );
    kb.addType( i, C );

    List<RuleAtom> body = new ArrayList<RuleAtom>();
    List<RuleAtom> head = new ArrayList<RuleAtom>();

    body.add( new ClassAtom( C, x ) );
View Full Code Here
818
819
820
821
822
823
824
825
826
827
828
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, D );
    kb.addIndividual( i );
    kb.addType( i, D );

    List<RuleAtom> body = new ArrayList<RuleAtom>();
    List<RuleAtom> head = new ArrayList<RuleAtom>();

    body.add( new ClassAtom( D, x ) );
View Full Code Here
716
717
718
719
720
721
722
723
724
725
726
    kb.addDatatypeProperty(v);
    kb.addIndividual(i);

    kb.addSubClass(c, TermFactory.min(v, 1, INTEGER));
    kb.addRange(v, TermFactory.oneOf(one));
    kb.addType(i, c);

    assertTrue(kb.hasPropertyValue(i, v, one));

  }
View Full Code Here
737
738
739
740
741
742
743
744
745
746
747
    kb.addDatatypeProperty(v);
    kb.addIndividual(i);

    kb.addSubClass(c, TermFactory.some(v, INTEGER));
    kb.addRange(v, TermFactory.oneOf(one));
    kb.addType(i, c);

    assertTrue(kb.hasPropertyValue(i, v, one));

  }
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
            switch(queryAtom.getPredicate()){
              case Type:
                ind1 = TermFactory.term(arguments.get(0).toString());
                cl = arguments.get(1);
                kb.addIndividual(ind1);
                kb.addType(ind1, cl);
                break;
              case PropertyValue:
                ind1 = TermFactory.term(arguments.get(0).toString());
                pr = arguments.get(1);
                ind2 = TermFactory.term(arguments.get(2).toString());
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
    ATermAppl C = term( "C" );
    ATermAppl i = term( "i" );

    kb.addClass( C );
    kb.addIndividual( i );
    kb.addType( i, C );
   
    Set<ATermAppl> expected = new HashSet<ATermAppl>();
    expected.add( i );

    // Named concept, all instances
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.