Ontological Stream Reasoning via Syntactic Approximation

Traditionally Description Logic (DL)-based ontologies are only used to capture static knowledge. Recently the fast development of the Semantic Web and its evolving data raises the requirements of reasoning services on dynamic knowledge streams. In this paper, we present an efficient ontology stream reasoning approach which combines the delete and re-derive algorithm and the syntactic approximation to guarantee soundness and tractability. Compared with existing works, it allows stream reasoning for ontologies in very expressive language profiles and requires no prior knowledge about the streams.

[1]  Dieter Fensel,et al.  It's a Streaming World! Reasoning upon Rapidly Changing Information , 2009, IEEE Intelligent Systems.

[2]  Jeff Z. Pan,et al.  A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[3]  Jeff Z. Pan,et al.  Soundness Preserving Approximation for TBox Reasoning , 2010, AAAI.

[4]  Boontawee Suntisrivaraporn.  Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies , 2008, ESWC.

[5]  Bernhard Hollunder,et al.  Subsumption Algorithms for Concept Description Languages , 1990, ECAI.

[6]  Daniele Braga,et al.  C-SPARQL: SPARQL for continuous querying , 2009, WWW '09.

[7]  Steffen Staab,et al.  Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases , 2005, J. Data Semant..

[8]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[9]  Daniele Braga,et al.  Incremental Reasoning on Streams and Rich Background Knowledge , 2010, ESWC.

[10]  Andre Bolles,et al.  Streaming SPARQL - Extending SPARQL to Process Data Streams , 2008, ESWC.

[11]  Daniele Braga,et al.  Research chapters in the area of stream reasoning , 2009 .

[12]  Daniele Braga,et al.  An execution environment for C-SPARQL queries , 2010, EDBT '10.

[13]  Franz Baader,et al.  Pushing the EL Envelope Further , 2008, OWLED.

[14]  Sebastian Böhm,et al.  Situation-Aware Mobility An Application for Stream Reasoning , 2009 .

[15]  Jeff Z. Pan,et al.  A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2008, J. Data Semant..

[16]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[17]  Jeff Z. Pan,et al.  Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 , 2010, Description Logics.

[18]  V. S. Subrahmanian,et al.  Maintaining views incrementally , 1993, SIGMOD Conference.

[19]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.