Artificial Intelligence
Maintenance of stratified databases viewed as a belief revision system
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Maintaining views incrementally
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
ConceptBase—a deductive object base for meta data management
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Adapting materialized views after redefinitions
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Continual Queries for Internet Scale Event-Driven Information Delivery
IEEE Transactions on Knowledge and Data Engineering
OntoWeb - A Semantic Web Community Portal
PAKM '02 Proceedings of the 4th International Conference on Practical Aspects of Knowledge Management
Incremental Maintenance of Externally Materialized Views
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Managing Multiple Ontologies and Ontology Evolution in Ontologging
Proceedings of the IFIP 17th World Computer Congress - TC12 Stream on Intelligent Information Processing
Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information
DS-8 Proceedings of the IFIP TC2/WG2.6 Eighth Working Conference on Database Semantics- Semantic Issues in Multimedia Systems
OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
An infrastructure for searching, reusing and evolving distributed ontologies
WWW '03 Proceedings of the 12th international conference on World Wide Web
Fast context switching in real-time propositional reasoning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A First Step Towards Stream Reasoning
Future Internet --- FIS 2008
Supporting complex thematic, spatial and temporal queries over semantic web data
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
RDFProv: A relational RDF store for querying and managing scientific workflow provenance
Data & Knowledge Engineering
Reasoning as axioms change: incremental view maintenance reconsidered
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Optimising ontology stream reasoning with truth maintenance system
Proceedings of the 20th ACM international conference on Information and knowledge management
Incremental reasoning on streams and rich background knowledge
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform
Proceedings of the 21st international conference companion on World Wide Web
SensorStream: a semantic real-time stream management system
International Journal of Ad Hoc and Ubiquitous Computing
Hi-index | 0.00 |
This article presents a technique to incrementally maintain materializations of ontological entailments. Materialization consists in precomputing and storing a set of implicit entailments, such that frequent and/or crucial queries to the ontology can be solved more efficiently. The central problem that arises with materialization is its maintenance when axioms change, viz. the process of propagating changes in explicit axioms to the stored implicit entailments. When considering rule-enabled ontology languages that are operationalized in logic databases, we can distinguish two types of changes. Changes to the ontology will typically manifest themselves in changes to the rules of the logic program, whereas changes to facts will typically lead to changes in the extensions of logical predicates. The incremental maintenance of the latter type of changes has been studied extensively in the deductive database context and we apply the technique proposed in [30] for our purpose. The former type of changes has, however, not been tackled before. In this article we elaborate on our previous papers [32, 33], which extend the approach of [30] to deal with changes in the logic program. Our approach is not limited to a particular ontology language but can be generally applied to arbitrary ontology languages that can be translated to Datalog programs, i.e. such as O-Telos, F-Logic [16] RDF(S), or Description Logic Programs [34].