Toward expressive syndication on the web

Abstract

Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive syndication approaches; that is, subscribers and publishers are provided with more expressive means of describing their interests and published content, enabling more accurate information filtering. In this paper, we formalize a syndication architecture that utilizes expressive Web ontologies and logic-based reasoning for selective content dissemination. This provides finer grained control for filtering and automated reasoning for discovering implicit subscription matches, both of which are not achievable in less expressive approaches. We then address one of the main limitations with such a syndication approach, namely matching newly published information with subscription requests in an efficient and practical manner. To this end, we investigate continuous query answering for a large subset of the Web Ontology Language (OWL); specifically, we formally define continuous queries for OWL knowledge bases and present a novel algorithm for continuous query answering in a large subset of this language. Lastly, an evaluation of the query approach is shown, demonstrating its effectiveness for syndication purposes.

Incremental Classification of Description Logics Ontologies

“…Here, the "evidence" might be, for example, a (part of a) counter-model for α in O 1 that is constructed by tableau-based procedures. Such techniques based on model caching have been recently proposed in the context of incremental reasoning [19]. These techniques apply, however, only to additions and deletions of ABox assertions since changes in general axioms often require considerable modifications of the models.…”

“…Notable exceptions include [18][19][20]31]; these papers, however, investigate the problem of incremental reasoning using model-caching techniques in application scenarios that involve changes only in the ABox.…”

History Matters: Incremental Ontology Reasoning Using Modules

“…Here, the "evidence" might be, for example, a (part of a) counter-model for α in O 1 that is constructed by tableau-based procedures. Such techniques based on model caching have been recently proposed in the context incremental reasoning [8]. These techniques, however, have only been applied so far to additions and deletions of ABox assertions, since changes in general axioms often require considerable modifications of the models.…”

“…NCI 6 , and the Gene Ontology 7 are expressed in a simple fragment of OWL DL. In contrast, GALEN 8 , and NASA's SWEET ontology 9 are written in a more expressive language. Table 5 includes their expressivity, number of atomic concepts and axioms, total classification time in Pellet, and the percentage of possible subsumption relations that actually hold between atomic concepts.…”

“…Notable exceptions include [7,8,9,12]; these papers, however, investigate the problem of incremental reasoning using model-caching techniques in application scenarios that involve changes only in the ABox.…”