#include "id.idl"
#include "datatypes.idl"
#include "services.idl"


module org {
module omg {
module spec {
module api4kp {
module V20230201 {

module api {
module inference {
interface Model {
  org::omg::spec::api4kp::V20230201::services::KnowledgeCarrier getModel (
      in string modelid , 
      in string versiontag 
  );
  org::omg::spec::api4kp::V20230201::id::PointerList listModels (
  );
};
interface Reasoning {
  org::omg::spec::api4kp::V20230201::services::QueryResultsList askQuery (
      in string modelid , 
      in org::omg::spec::api4kp::V20230201::services::KnowledgeCarrier query , 
      in string xparams , 
      in string versiontag 
  );
  boolean checkConsistency (
      in string modelid , 
      in string xparams , 
      in string versiontag 
  );
  boolean checkMembership (
      in string classid , 
      in string modelid , 
      in string xparams , 
      in string entityid , 
      in string versiontag 
  );
  org::omg::spec::api4kp::V20230201::datatypes::BindingsList checkSatisfiability (
      in string modelid , 
      in string xparams , 
      in string versiontag 
  );
  boolean checkSubsumption (
      in string classid , 
      in string modelid , 
      in string xparams , 
      in string entityid , 
      in string versiontag 
  );
  boolean entails (
      in org::omg::spec::api4kp::V20230201::services::KnowledgeCarrier potentialconsequence , 
      in string modelid , 
      in string xparams , 
      in string versiontag 
  );
  org::omg::spec::api4kp::V20230201::datatypes::Bindings evaluate (
      in org::omg::spec::api4kp::V20230201::datatypes::Bindings features , 
      in string modelid , 
      in string xparams , 
      in string versiontag 
  );
  org::omg::spec::api4kp::V20230201::services::KnowledgeCarrier infer (
      in org::omg::spec::api4kp::V20230201::datatypes::Bindings features , 
      in string modelid , 
      in string xparams , 
      in string versiontag 
  );
  org::omg::spec::api4kp::V20230201::id::PointerList listMembership (
      in org::omg::spec::api4kp::V20230201::datatypes::Bindings features , 
      in string modelid , 
      in string xparams , 
      in string entityid , 
      in string versiontag 
  );
  org::omg::spec::api4kp::V20230201::id::PointerList listSubsumptions (
      in string modelid , 
      in string xparams , 
      in string entityid , 
      in string versiontag 
  );
};
}; // inference
}; // api
}; // V20230201
}; // api4kp
}; // spec
}; // omg
}; // org