/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getBottomDataProperty
* Signature: ()Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getBottomDataProperty
(JNIEnv * env, jobject obj)
{
TRACE_JNI("getBottomDataProperty");
TJNICache* J = getJ(env,obj);
return J->DataProperty(J->getDName("http://www.w3.org/2002/07/owl#bottomDataProperty"));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: askDataProperties
* Signature: (Luk/ac/manchester/cs/factplusplus/IndividualPointer;)[Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;
*/
JNIEXPORT jobjectArray JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_askDataProperties
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("askDataProperties");
TRACE_ARG(env,obj,arg);
TJNICache* J = getJ(env,obj);
ReasoningKernel::NamesVector Rs;
PROCESS_QUERY ( J->K->getRelatedRoles ( getROIndividualExpr(env,arg), Rs, /*data=*/true, /*needI=*/false ) );
std::vector<TExpr*> acc;
for ( ReasoningKernel::NamesVector::const_iterator p = Rs.begin(), p_end = Rs.end(); p < p_end; ++p )
acc.push_back(J->getDName((*p)->getName()));
return J->buildArray ( acc, J->DataPropertyPointer );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataProperty
* Signature: (Ljava/lang/String;)Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataProperty
(JNIEnv * env, jobject obj, jstring str)
{
TRACE_JNI("getDataProperty");
TRACE_STR(env,str);
TJNICache* J = getJ(env,obj);
JString name(env,str);
jobject ret = (jobject)0;
try
{
ret = J->DataProperty(J->getDName(name()));
}
catch (const EFPPCantRegName&)
{
Throw ( env, "FaCT++ Kernel: Can not register new data property name" );
}
return ret;
}