static void Main(string[] args)
{
KnowledgeManager knowledgeManager = new KnowledgeManager(@"C:\Users\ShichiKi\AppData\Roaming\Skype\My Skype Received Files\SimpleOwlOntology(5).owl");
EngineManager engineManager = new EngineManager(knowledgeManager);
// Input nguoi dung
List <Fact> inputs = CreateMockInputs();
// Yeu cau nguoi dung
List <Request> outputs = CreateMockRequests();
// Suy dien tien
engineManager.CompleteInfer(inputs, outputs);
// Hoi y kien nguoi dung va them su kien
List <CrispFact> newFacts = engineManager.MakeFactsFromIncompleteRules(outputs);
List <Fact> choseFacts = new List <Fact>()
{
newFacts[0]
}; // workaround, chon dai 1 sk dau tien trong tap su kien moi bo sung cho luat ko day du
engineManager.AddNewFacts(choseFacts);
// Suy dien tien lai voi su kien moi
engineManager.CompleteInfer(inputs, outputs);
// Suy dien tien khong day du
engineManager.IncompleteInfer(inputs, outputs);
}
