Capturing the pulse of cities: Opportunity and research challenges for robust stream data reasoning

AAAI Workshop - Technical Report

Volumn WS-12-13, Issue , 2012, Pages 9-14

  Lécué, Freddy ^a   Kotoulas, Spyros ^a   Aonghusa, Pól Mac ^a  

^a IBM RESEARCH   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

DATA AND INFORMATION; INFORMATION RESOURCE; PRIVATE DATA; RESEARCH CHALLENGES; RESEARCH ISSUES; ROBUST STREAM; STREAM DATA; SUSTAINABLE TECHNOLOGY;

SEMANTICS;

DIGITAL STORAGE;

EID: 84876155629     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (44)

1. Baader, F.; Lutz, C.; and Suntisrivaraporn, B. 2006. Cel - a polynomial-time reasoner for life science ontologies. In IJCAR, 287-291.
2. Baader, F. 2003. Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In IJCAI, 319-324.
3. Babu, S., and Widom, J. 2001. Continuous queries over data streams. SIGMOD Record 30(3):109-120.
4. Barbieri, D. F.; Braga, D.; Ceri, S.; Valle, E. D.; and Grossniklaus, M. 2009. C-sparql: Sparql for continuous querying. In WWW, 1061-1062.
5. Barbieri, D. F.; Braga, D.; Ceri, S.; Valle, E. D.; and Grossniklaus, M. 2010a. Incremental reasoning on streams and rich background knowledge. In ESWC (1), 1-15.
6. Barbieri, D. F.; Braga, D.; Ceri, S.; Valle, E. D.; Huang, Y.; Tresp, V.; Rettinger, A.; and Wermser, H. 2010b. Deductive and inductive stream reasoning for semantic social media analytics. IEEE Intelligent Systems 25(6):32-41.
7. Benatallah, B.; Hacid, M.; Leger, A.; Rey, C.; and Toumani, F. 2002. On automating web services discovery. VLDB Journal 1-26
8. Biem, A.; Bouillet, E.; Feng, H.; Ranganathan, A.; Riabov, A.; Verscheure, O.; Koutsopoulos, H. N.; and Moran, C. 2010. Ibm infosphere streams for scalable, real-time, intelligent transportation services. In SIGMOD, 1093-1104.
9. Bolles, A.; Grawunder, M.; and Jacobi, J. 2008. Streaming sparql - extending sparql to process data streams. In ESWC, 448-462.
10. Bonifacio, M.; Bouquet, P.; Mameli, G.; and Nori, M. 2002. Kex: A peer-to-peer solution for distributed knowledge management. In PAKM, 490-500.
11. Borgida, A.; Walsh, T; and Hirsh, H. 2005. Towards measuring similarity in description logics. In Description Logics.
12. Brandt, S.; Kusters, R.; and Turhan, A. 2002. Approximation and difference in description logics. In KR, 203-214.
13. Carney, D.; Çetintemel, U.; Cherniack, M.; Convey, C.; Lee, S.; Seidman, G.; Stonebraker, M.; Tatbul, N.; and Zdonik, S. B. 2002. Monitoring streams - a new class of data management applications. In VLDB, 215-226.
14. Chandrasekaran, S.; Cooper, O.; Deshpande, A.; Franklin, M. J.; Hellerstein, J. M.; Hong, W.; Krishnamurthy, S.; Madden, S.; Reiss, F.; and Shah, M. A. 2003. Telegraphcq: Continuous dataflow processing. In SIGMOD Conference, 668.
15. Cohen, W. W.; Borgida, A.; and Hirsh, H. 1992. Computing least common subsumers in description logics. In AAAI, 754-760.
16. Colucci, S.; Noia, T. D.; Sciascio, E. D.; Donini, F. M.; and Mongiello, M. 2004. A uniform tableaux-based method for concept abduction and contraction in description logics. In ECAI, 975-976.
17. Colucci, S.; Noia, T. D.; Sciascio, E. D.; Donini, F. M.; and Ragone, A. 2010. A unified framework for non-standard reasoning services in description logics. In ECAI, 479-184.
18. Dean, J., and Ghemawat, S. 2004. Mapreduce: Simplified data processing on large clusters. In Operating Systems Design and Implementation, 137-147.
19. Deshpande, A., and Madden, S. 2006. Mauvedb: supporting model-based user views in database systems. In SIGMOD Conference, 73-84.
20. Dolby, J.; Fokoue, A.; Kalyanpur, A.; Schonberg, E.; and Srinivas, K. 2009. Scalable highly expressive reasoner (sher). J. Web Sem. 7(4):357-361.
21. Goodman, E. L., and Mizell, D. 2010. Scalable in-memory rdfs closure on billions of triples.
22. Haarslev, V, and Möller, R. 2001. Description of the racer system and its applications. In Description Logics.
23. Horrocks, I. 1998. Using an expressive description logic: Fact or fiction? In KR, 636-649.
24. Horrocks, I. 2002. Reasoning with expressive description logics: Theory and practice. In CADE, 1-15.
25. Kotoulas, S.; Oren, E.; and van Harmelen, F. 2010. Mind the data skew: distributed inferencing by speeddating in elastic regions. In WWW, 531-540.
26. Lakshman, A., and Malik, P. 2009. Cassandra: structured storage system on a p2p network. In PODC, 5.
27. Lécué, F. 2012. Diagnosing changes in an ontology stream: A d1 reasoning approach. In AAAI, (to appear).
28. Liu, L.; Pu, C.; and Tang, W. 2000. Correction to "continual queries for internet scale event-driven information delivery". IEEE Trans. Knowl. Data Eng. 12(5):861.
29. Luo, C.; Thakkar, H.; Wang, H.; and Zaniolo, C. 2005. A native extension of sql for mining data streams. In SIGMOD Conference, 873-875.
30. McGuinness, D. L., and Borgida, A. 1995. Explaining subsumption in description logics. In IJCAI (1), 816-821.
31. Motik, B.; Grau, B. C.; and Sattler, U. 2008. Structured objects in owl: representation and reasoning. In WWW, 555-564.
32. Noia, T. D.; Sciascio, E. D.; and Donini, F. M. 2007. Semantic matchmaking as non-monotonic reasoning: A description logic approach. J. Artifi Intell. Res. (JAIR) 29:269-307.
33. Ren, Y., and Pan, J. Z. 2011. Optimising ontology stream reasoning with truth maintenance system. In CIKM, 831-836.
34. Rodriguez, A.; McGrath, R. E.; Liu, Y; and Myers, J. D. 2009. Semantic management of streaming data. In International Workshop on Semantic Sensor Networks at the International Semantic Web Conference.
35. Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; and Teneketzis, D. 1996. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology 4(2):105-124.
36. Serafini, L., and Tamilin, A. 2005. Drago: Distributed reasoning architecture for the semantic web. In ESWC, 361-376
37. Sirin, E.; Parsia, B.; Grau, B. C.; Kalyanpur, A.; and Katz, Y. 2007. Pellet: A practical owl-d1 reasoner. J. Web Sem. 5(2):51-53.
38. Stonebraker, M.; Abadi, D. J.; Batkin, A.; Chen, X.; Cherniack, M.; Ferreira, M.; Lau, E.; Lin, A.; Madden, S.; O'Neil, E. J.; O'Neil, P. E.; Rasin, A.; Tran, N.; and Zdonik, S. B. 2005. C-store: A column-oriented dbms. In VLDB, 553-564.
39. Straccia, U. 1998. A fuzzy description logic. In AAAI/IAAI, 594-599.
40. Stuckenschmidt, H. 2007. Partial matchmaking using approximate subsumption. In AAAI, 1459-1464.
41. Teege, G. 1994. Making the difference: A subtraction operation for description logics. In KR, 540-550.
42. Urbani, J.; Kotoulas, S.; Maassen, J.; van Harmelen, F.; and Bal, H. 2010. Owl reasoning with webpie: calculating the closure of 100 billion triples. In Proceedings of the Seventh European Semantic Web Conference, LNCS. Springer.
43. Valle, E. D.; Ceri, S.; van Harmelen, F.; and Fensel, D. 2009. It's a streaming world! reasoning upon rapidly changing information. IEEE Intelligent Systems 24(6):83-89.
44. Widom, J. 2005. Trio: A system for integrated management of data, accuracy, and lineage. In CIDR, 262-276.