Abstract
So far researchers in the Description Logics / Ontology communities mainly consider ontology reasoning services for static ontologies. The rapid development of the Semantic Web and its emerging data ask for reasoning technologies for dynamic knowledge streams. Existing work on stream reasoning is focused on lightweight languages such as RDF and RDFS. In this paper, we introduce the notion of Ontology Stream Management System (OSMS) and present a stream-reasoning approach based on Truth Maintenance System (TMS). We present optimised EL++ algorithm to reduce memory consumption. Our evaluations show that the optimisation improves TMS-enabled EL++ reasoning to deal with relatively large volumes of data and update efficiently.
| Original language | English |
|---|---|
| Title of host publication | CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management |
| Publisher | Association for Computing Machinery (ACM) |
| Pages | 831-836 |
| Number of pages | 6 |
| ISBN (Print) | 9781450307178 |
| DOIs | |
| Publication status | Published - 13 Dec 2011 |
| Event | 20th ACM Conference on Information and Knowledge Management, CIKM'11 - Glasgow, United Kingdom Duration: 24 Oct 2011 → 28 Oct 2011 |
Conference
| Conference | 20th ACM Conference on Information and Knowledge Management, CIKM'11 |
|---|---|
| Country/Territory | United Kingdom |
| City | Glasgow |
| Period | 24/10/11 → 28/10/11 |
Keywords
- ontology
- stream reasoning
- truth maintenance system