Detecting Termination of Active Database Rules Using Symbolic Model Checking
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
SEQUEL: A structured English query language
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Hi-index | 0.00 |
Ontologies, as reliable resources in decision making processes, need to be accurate and up-to-date. For this purpose, ontologies have to be maintained regularly. Manual updating is tedious and time consuming, therefore we propose an event-driven automated ontology updating approach. The Ontology Update Language (OUL) and our proposed extensions are inspired by the existing SQL-triggers mechanism and make use of SPARQL and SPARQL/Update statements. We propose different execution models, providing flexibility with respect to the update process. As a proof-of-concept, we implement the language and its execution models in the Hermes News Portal (HNP), an ontology-based news personalization service.