/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getInverseProperty
* Signature: (Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;)Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getInverseProperty
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("getInverseProperty");
TJNICache* J = getJ(env,obj);
return J->ObjectProperty(J->EM->Inverse(getORoleExpr(env,arg)));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getTopObjectProperty
* Signature: ()Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getTopObjectProperty
(JNIEnv * env, jobject obj)
{
TRACE_JNI("getTopObjectProperty");
TJNICache* J = getJ(env,obj);
return J->ObjectProperty(J->getOName("http://www.w3.org/2002/07/owl#topObjectProperty"));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getObjectProperty
* Signature: (Ljava/lang/String;)Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getObjectProperty
(JNIEnv * env, jobject obj, jstring str)
{
TRACE_JNI("getObjectProperty");
TRACE_STR(env,str);
TJNICache* J = getJ(env,obj);
JString name(env,str);
jobject ret = (jobject)0;
try
{
ret = J->ObjectProperty(J->getOName(name()));
}
catch (const EFPPCantRegName&)
{
Throw ( env, "FaCT++ Kernel: Can not register new object property name" );
}
return ret;
}