Recently, many methods have been developed for representing knowledge, reasoning, and result extraction extracting results based on the respective domain knowledge in question. Despite the ontological success in knowledge representation, the reasoning method has faces some challenges. The main challenge in ontology reasoning methods is the failure in solving realization problems in the reasoning process. Apart from the complexity of solving realization problems, this already daunting challenge is compounded by computational complexity the time complexity of the solving realization problem solving process problems is equal to that of NEXP TIME. This important issue problem is achieved solved by solving the subsumption and satisfiability problems. Thus, to solve the realization problem, we first partition the ontology or extract partitions related to the query. Then, the satisfiability problem is solved by extracting partitions, and all concepts related to the query are extracted. This study proposes a method to overcome this problem, where a new solution is proposed with an appropriate time position. Finally, the efficiency of the proposed method, is evaluated against other reasoning engines, and the results show optimized performance vis-a-vis previous studies.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.