Optimising ontology stream reasoning with truth maintenance system

International Conference on Information and Knowledge Management, Proceedings

Volumn , Issue , 2011, Pages 831-836

  Ren, Yuan ^a   Pan, Jeff Z ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

ontology; stream reasoning; truth maintenance system

Indexed keywords

DESCRIPTION LOGIC; MEMORY CONSUMPTION; OPTIMISATIONS; RAPID DEVELOPMENT; STREAM MANAGEMENT; STREAM REASONING; TRUTH MAINTENANCE;

ARTIFICIAL INTELLIGENCE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA DESCRIPTION; KNOWLEDGE MANAGEMENT; MAINTENANCE; OPTIMIZATION; SEMANTIC WEB;

ONTOLOGY;

EID: 83055191288     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2063576.2063696     Document Type: Conference Paper

References (14)

1. F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope. In Proceedings IJCAI-05, 2005.
2. F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope Further. In K. Clark and P. F. Patel-Schneider, editors, In OWLED-2008, 2008.
3. F. Baader, C. Lutz, and B. Suntisrivaraporn. Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? In Proceedings of the 2005 International Workshop on Methods for Modalities (M4M-05), 2005.
4. F. Baader and B. Suntisrivaraporn. Debugging SNOMED CT using axiom pinpointing in the description logic ℰℒ+. In Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED, volume 410 of CEUR-WS, 2008.
5. D. F. Barbieri, D. Braga, S. Ceri, E. D. Valle, and M. Grossniklaus. C-sparql: Sparql for continuous querying. In WWW2009, 2009.
6. D. F. Barbieri, D. Braga, S. Ceri, E. D. Valle, and M. Grossniklaus. Incremental reasoning on streams and rich background knowledge. In ESWC2010, 2010.
7. A. Bolles, M. Grawunder, and J. Jacobi. Streaming sparql extending sparql to process data streams. In ESWC08, 2008.
8. J. Doyle. A truth maintenance system. Artificial Intelligence, 12:231-272, 1979.
9. A. Gupta, I. S. Mumick, and V. S. Subrahmanian. Maintaining views incrementally. In SIGMOD '93, 1993.
10. Z. Huang and H. Stuckenschmidt. Reasoning with multi-version ontologies: A temporal logic approach. In In Proceeding of ISWC2005, 2005.
11. M. Luther and S. Bohm. Situation-Aware Mobility: An Application for Stream Reasoning. In in Proc. of 1st International Workshop on Stream Reasoning (SR2009), 2009.
12. B. Parsia, C. Halaschek-wiener, and E. Sirin. E.s.: Towards incremental reasoning through updates. In in OWL DL. In: Proc. WWW-2006. (2006), 2006.
13. Y. Ren, J. Z. Pan, and Y. Zhao. Towards Scalable Reasoning on Ontology Streams via Syntactic Approximation. In the Proc. of IWOD2010, 2010.
14. R. Volz, S. Staab, and B. Motik. Incementally maintaining materializations of ontologies stored in logic databases. In Journal of Data Semantics II, LNCS, Vol 3360, 2:1-34, 2005. (Pubitemid 350227598)