Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Active Databases as a Paradigm for Enhanced Computing Environments
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Active rules for XML: A new paradigm for E-services
The VLDB Journal — The International Journal on Very Large Data Bases
Transformation and reaction rules for data on the web
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Guest editorial: special issue on web dynamics
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
An Ontology-Driven Mediator for Querying Time-Oriented Biomedical Data
CBMS '06 Proceedings of the 19th IEEE Symposium on Computer-Based Medical Systems
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Query evaluation and optimization in the semantic web
Theory and Practice of Logic Programming
Estimating the size of the transitive closure in linear time
SFCS '94 Proceedings of the 35th Annual Symposium on Foundations of Computer Science
Dynamic Aspects of OPJK Legal Ontology
Computable Models of the Law
Magic Rewritings for Efficiently Processing Reactivity on Web Ontologies
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
RiMOM: A Dynamic Multistrategy Ontology Alignment Framework
IEEE Transactions on Knowledge and Data Engineering
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
Event-condition-action rule languages for the semantic web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
ActiveXQBE: a visual paradigm for triggers over XML data
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Reactive policies for the semantic web
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
| Hi-index | 0.00 |
Ontological knowledge and reasoning provide the basis to define the semantics and static properties of Web resources. However, in existing approaches data reactivity is encoded in a different formalism by using rules, and the integration of ontologies and rules is not always natural or user-friendly. In this paper we present an alternative approach to represent active knowledge in ontologies. First, the ACTION formalism, in which events are categorized as ontological concepts, is proposed. Events are used in conjunction with classes, properties and instances during reasoning tasks and query answering. ACTION ontologies are processed within the REACTIVE framework. The REACTIVE reasoning and query engine supports the discovery tasks required to identify the effects of a given set of fired events. Additionally, an optimization strategy named IMR (Intersection of Magic Rewritings) is implemented. IMR identifies the events and properties that need to be considered multiple times and constructs the minimal set of rules that will produce the required result. The expressiveness of the ACTION formalism was empirically studied as well as the performance of the optimization and evaluation strategies. Initial experimental results suggest that ACTION is more expressive than rule-based formalisms; in addition, the REACTIVE engine in conjunction with IMR strategies reduce execution time to at least 50% of the execution time of traditional strategies.