/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataUnionOf
* Signature: ()Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataUnionOf
(JNIEnv * env, jobject obj)
{
TRACE_JNI("getDataUnionOf");
TJNICache* J = getJ(env,obj);
return J->DataTypeExpression(J->EM->DataOr());
}
/*
* 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: getConceptNot
* Signature: (Luk/ac/manchester/cs/factplusplus/ClassPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getConceptNot
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("getConceptNot");
TJNICache* J = getJ(env,obj);
return J->Class(J->EM->Not(getConceptExpr(env,arg)));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: tellHasKey
* Signature: (Luk/ac/manchester/cs/factplusplus/ClassPointer;Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;)Luk/ac/manchester/cs/factplusplus/AxiomPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_tellHasKey
(JNIEnv * env, jobject obj ATTR_UNUSED, jobject cls ATTR_UNUSED, jobject dataprops ATTR_UNUSED, jobject objectprops ATTR_UNUSED)
{
TRACE_JNI("tellHasKey");
Throw ( env, "FaCT++ Kernel: unsupported operation 'tellHasKey'" );
return NULL;
}
/*
* 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: getObjectValue
* Signature: (Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;Luk/ac/manchester/cs/factplusplus/IndividualPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getObjectValue
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getObjectValue");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->Value ( getORoleExpr(env,arg1), getIndividualExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getObjectPropertyKey
* Signature: ()Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getObjectPropertyKey
(JNIEnv * env, jobject obj ATTR_UNUSED)
{
TRACE_JNI("getObjectPropertyKey");
Throw ( env, "FaCT++ Kernel: unsupported operation 'getObjectPropertyKey'" );
return NULL;
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getPropertyComposition
* Signature: ()Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getPropertyComposition
(JNIEnv * env, jobject obj)
{
TRACE_JNI("getPropertyComposition");
TJNICache* J = getJ(env,obj);
return J->ObjectComplex(J->EM->Compose());
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getFractionDigitsFacet
* Signature: (Luk/ac/manchester/cs/factplusplus/DataValuePointer;)Luk/ac/manchester/cs/factplusplus/DataTypeFacet;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getFractionDigitsFacet
(JNIEnv * env, jobject obj ATTR_UNUSED, jobject arg ATTR_UNUSED)
{
TRACE_JNI("getFractionDigitsFacet");
Throw ( env, "FaCT++ Kernel: unsupported facet 'getFractionDigitsFacet'" );
return NULL;
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataNot
* Signature: (Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;)Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataNot
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("getDataNot");
TJNICache* J = getJ(env,obj);
return J->DataTypeExpression(J->EM->DataNot(getDataExpr(env,arg)));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getRestrictedDataType
* Signature: (Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;Luk/ac/manchester/cs/factplusplus/DataTypeFacet;)Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getRestrictedDataType
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getRestrictedDataType");
TJNICache* J = getJ(env,obj);
return J->DataTypeExpression ( J->EM->RestrictedType ( getDataTypeExpr(env,arg1), getFacetExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataAtMost
* Signature: (ILuk/ac/manchester/cs/factplusplus/DataPropertyPointer;Luk/ac/manchester/cs/factplusplus/DataTypePointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataAtMost
(JNIEnv * env, jobject obj, jint n, jobject arg1, jobject arg2)
{
TRACE_JNI("getDataAtMost");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->MaxCardinality ( n, getDRoleExpr(env,arg1), getDataExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getOneOf
* Signature: ()Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getOneOf
(JNIEnv * env, jobject obj)
{
TRACE_JNI("getOneOf");
TJNICache* J = getJ(env,obj);
return J->Class(J->EM->OneOf());
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: realise
* Signature: ()V
*/
JNIEXPORT void JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_realise
(JNIEnv * env, jobject obj)
{
MemoryStatistics MS("Realization");
TRACE_JNI("realise");
PROCESS_QUERY ( getK(env,obj)->realiseKB() );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getSelf
* Signature: (Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getSelf
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("getSelf");
TJNICache* J = getJ(env,obj);
return J->Class(J->EM->SelfReference(getORoleExpr(env,arg)));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: classify
* Signature: ()V
*/
JNIEXPORT void JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_classify
(JNIEnv * env, jobject obj)
{
MemoryStatistics MS("Classification");
TRACE_JNI("classify");
PROCESS_QUERY ( getK(env,obj)->classifyKB() );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: initArgList
* Signature: ()V
*/
JNIEXPORT void JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_initArgList
(JNIEnv * env, jobject obj)
{
TRACE_JNI("initArgList");
TJNICache* J = getJ(env,obj);
J->EM->newArgList();
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataAll
* Signature: (Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;Luk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataAll
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getDataAll");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->Forall ( getDRoleExpr(env,arg1), getDataExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getMaxInclusiveFacet
* Signature: (Luk/ac/manchester/cs/factplusplus/DataValuePointer;)Luk/ac/manchester/cs/factplusplus/DataTypeFacet;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getMaxInclusiveFacet
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("getMaxInclusiveFacet");
TJNICache* J = getJ(env,obj);
return J->Facet(J->EM->FacetMaxInclusive(getDataValueExpr(env,arg)));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getDataValue
* Signature: (Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;Luk/ac/manchester/cs/factplusplus/DataValuePointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getDataValue__Luk_ac_manchester_cs_factplusplus_DataPropertyPointer_2Luk_ac_manchester_cs_factplusplus_DataValuePointer_2
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getDataValue");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->Value ( getDRoleExpr(env,arg1), getDataValueExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: getObjectSome
* Signature: (Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;Luk/ac/manchester/cs/factplusplus/ClassPointer;)Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobject JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_getObjectSome
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("getObjectSome");
TJNICache* J = getJ(env,obj);
return J->Class ( J->EM->Exists ( getORoleExpr(env,arg1), getConceptExpr(env,arg2) ) );
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: arePropertiesDisjoint
* Signature: ()Z
*/
JNIEXPORT jboolean JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_arePropertiesDisjoint
(JNIEnv * env, jobject obj)
{
TRACE_JNI("arePropertiesDisjoint");
bool ret = false;
PROCESS_SIMPLE_QUERY ( ret=J->K->isDisjointRoles() );
return ret;
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: addArg
* Signature: (Luk/ac/manchester/cs/factplusplus/Pointer;)V
*/
JNIEXPORT void JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_addArg
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("addArg");
TRACE_ARG(env,obj,arg);
TJNICache* J = getJ(env,obj);
J->EM->addArg(getExpr(env,arg));
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: isDataPropertyFunctional
* Signature: (Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;)Z
*/
JNIEXPORT jboolean JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_isDataPropertyFunctional
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("isDataPropertyFunctional");
TRACE_ARG(env,obj,arg);
bool ret = false;
PROCESS_SIMPLE_QUERY ( ret=J->K->isFunctional(getRODRoleExpr(env,arg)) );
return ret;
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: isSubPropertyChainOf
* Signature: (Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;)Z
*/
JNIEXPORT jboolean JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_isSubPropertyChainOf
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("isSubPropertyChainOf");
TRACE_ARG(env,obj,arg);
bool ret = false;
PROCESS_SIMPLE_QUERY ( ret=J->K->isSubChain(getROORoleExpr(env,arg)) );
return ret;
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: isKBConsistent
* Signature: ()Z
*/
JNIEXPORT jboolean JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_isKBConsistent
(JNIEnv * env, jobject obj)
{
MemoryStatistics MS("Consistency Checking");
TRACE_JNI("isKBConsistent");
bool ret = false;
PROCESS_QUERY ( ret=getK(env,obj)->isKBConsistent() );
return ret;
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: isObjectPropertyDisjointWith
* Signature: (Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;Luk/ac/manchester/cs/factplusplus/ObjectPropertyPointer;)Z
*/
JNIEXPORT jboolean JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_isDataPropertyDisjointWith
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("isDataPropertyDisjointWith");
TRACE_ARG(env,obj,arg1);
TRACE_ARG(env,obj,arg2);
bool ret = false;
PROCESS_SIMPLE_QUERY ( ret=J->K->isDisjointRoles ( getRODRoleExpr(env,arg1), getRODRoleExpr(env,arg2) ) );
return ret;
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: askSameAs
* Signature: (Luk/ac/manchester/cs/factplusplus/IndividualPointer;)[Luk/ac/manchester/cs/factplusplus/IndividualPointer;
*/
JNIEXPORT jobjectArray JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_askSameAs
(JNIEnv * env, jobject obj, jobject arg)
{
TRACE_JNI("askSameAs");
TRACE_ARG(env,obj,arg);
TJNICache* J = getJ(env,obj);
JTaxonomyActor<IndividualPolicy</*plain=*/true> > actor(J);
PROCESS_QUERY ( J->K->getSameAs ( getROIndividualExpr(env,arg), actor ) );
return actor.getSynonyms();
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: isSameAs
* Signature: (Luk/ac/manchester/cs/factplusplus/IndividualPointer;Luk/ac/manchester/cs/factplusplus/IndividualPointer;)Z
*/
JNIEXPORT jboolean JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_isSameAs
(JNIEnv * env, jobject obj, jobject arg1, jobject arg2)
{
TRACE_JNI("isSameAs");
TRACE_ARG(env,obj,arg1);
TRACE_ARG(env,obj,arg2);
bool ret = false;
PROCESS_SIMPLE_QUERY ( ret=J->K->isSameIndividuals ( getROIndividualExpr(env,arg1), getROIndividualExpr(env,arg2) ) );
return ret;
}
/*
* Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus
* Method: askDataPropertyDomain
* Signature: (Luk/ac/manchester/cs/factplusplus/DataPropertyPointer;Z)[[Luk/ac/manchester/cs/factplusplus/ClassPointer;
*/
JNIEXPORT jobjectArray JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_askDataPropertyDomain
(JNIEnv * env, jobject obj, jobject arg, jboolean direct)
{
TRACE_JNI("askDataPropertyDomain");
TRACE_ARG(env,obj,arg);
TJNICache* J = getJ(env,obj);
JTaxonomyActor<ClassPolicy> actor(J);
PROCESS_QUERY ( J->K->getDRoleDomain ( getRODRoleExpr(env,arg), direct, actor ) );
return actor.getElements();
}
