Abstract
In the last years, integrity constraint validation over the ontology with expressive description logics is a prominent reasoning service in ontology engineering, as integrity constraints are added into the ontology to guarantee the legal states of ontology data. The integrity constraint validation can be converted into the conjunctive query answering, we thus check the satisfaction of integrity constraints in ontology knowledge base based on the tableau algorithm and further use the existing reasoning systems. With the increase of the ontology data set, however, these reasoning systems reveal the bad performance in real-life ontologies. In order to reduce the amount of information that must be taken into account, we apply the idea of modularization to break down the terminologies and assertions with respect to integrity constraints, and get smaller chunks for them. The empirical results are presented to demonstrate the high efficiency and an improvement of integrity constraint validation.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call