Package org.mindswap.pellet.owlapi

Examples of org.mindswap.pellet.owlapi.AxiomConverter.convert()

1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
    ATermAppl[] head = new ATermAppl[] { ATermUtils.makeTypeAtom( x, D ) };
    ATermAppl[] body = new ATermAppl[] { ATermUtils.makeTypeAtom( x, C ) };

    ATermAppl rule = ATermUtils.makeRule( head, body );

    OWLAxiom actual = converter.convert( rule );

    Set<SWRLAtom<?>> antecedent = new HashSet<SWRLAtom<?>>();
    Set<SWRLAtom<?>> consequent = new HashSet<SWRLAtom<?>>();

    antecedent.add( classAtom( Class( "C" ), iVariable( "x" ) ) );
View Full Code Here
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
    ATermAppl[] head = new ATermAppl[] { ATermUtils.makeTypeAtom( x, D ) };
    ATermAppl[] body = new ATermAppl[] { ATermUtils.makeTypeAtom( x, C ) };

    ATermAppl rule = ATermUtils.makeRule( name, head, body );

    OWLAxiom actual = converter.convert( rule );

    Set<SWRLAtom<?>> antecedent = new HashSet<SWRLAtom<?>>();
    Set<SWRLAtom<?>> consequent = new HashSet<SWRLAtom<?>>();

    antecedent.add( classAtom( Class( "C" ), iVariable( "x" ) ) );
View Full Code Here
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
    ATermAppl[] head = new ATermAppl[] { ATermUtils.makeTypeAtom( x, D ) };
    ATermAppl[] body = new ATermAppl[] { ATermUtils.makeTypeAtom( x, C ) };

    ATermAppl rule = ATermUtils.makeRule( name, head, body );

    OWLAxiom actual = converter.convert( rule );

    Set<SWRLAtom<?>> antecedent = new HashSet<SWRLAtom<?>>();
    Set<SWRLAtom<?>> consequent = new HashSet<SWRLAtom<?>>();

    antecedent.add( classAtom( Class( "C" ), iVariable( "x" ) ) );
View Full Code Here
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
    ATermAppl[] head = new ATermAppl[] { ATermUtils.makeTypeAtom( i, D ) };
    ATermAppl[] body = new ATermAppl[] { ATermUtils.makeTypeAtom( i, C ) };

    ATermAppl rule = ATermUtils.makeRule( head, body );

    OWLAxiom actual = converter.convert( rule );

    Set<SWRLAtom<?>> antecedent = new HashSet<SWRLAtom<?>>();
    Set<SWRLAtom<?>> consequent = new HashSet<SWRLAtom<?>>();

    antecedent.add( classAtom( Class( "C" ), SWRL.individual( OWL.Individual( "i" ) ) ) );
View Full Code Here
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
    ATermAppl[] head = new ATermAppl[] { ATermUtils.makePropAtom( q, x, y ) };
    ATermAppl[] body = new ATermAppl[] { ATermUtils.makePropAtom( p, x, y ) };

    ATermAppl rule = ATermUtils.makeRule( head, body );

    OWLAxiom actual = converter.convert( rule );

    Set<SWRLAtom<?>> antecedent = new HashSet<SWRLAtom<?>>();
    Set<SWRLAtom<?>> consequent = new HashSet<SWRLAtom<?>>();

    antecedent.add( propertyAtom( ObjectProperty( "p" ), iVariable( "x" ), iVariable( "y" ) ) );
View Full Code Here
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
    ATermAppl[] head = new ATermAppl[] { ATermUtils.makePropAtom( r, x, y ) };
    ATermAppl[] body = new ATermAppl[] { ATermUtils.makePropAtom( s, x, y ) };

    ATermAppl rule = ATermUtils.makeRule( head, body );

    OWLAxiom actual = converter.convert( rule );

    Set<SWRLAtom<?>> antecedent = new HashSet<SWRLAtom<?>>();
    Set<SWRLAtom<?>> consequent = new HashSet<SWRLAtom<?>>();

    antecedent.add( propertyAtom( DataProperty( "s" ), iVariable( "x" ), dVariable( "y" ) ) );
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.