Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the b Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations.  thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge,  present the very first agorithm for using OBDDs for reasoning with general Tboxes.
['Sebastian Rudolph', 'Markus Krötzsch', 'Pascal Hitzler']
I am writing a research paper on a idea Terminological reasoning in SHIQ with ordered binary decision diagrams
[{"from": "human", "value": "I am writing a research paper on a idea Terminological reasoning in SHIQ with ordered binary decision diagrams"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the b Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations.  thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge,  present the very first agorithm for using OBDDs for reasoning with general Tboxes."}]