Ontological Stream Reasoning via Syntactic Approximation

Yuan Ren; Jeff Z Pan; Yuting Zhao

Ontological Stream Reasoning via Syntactic Approximation

Yuan Ren, Jeff Z Pan, Yuting Zhao

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English
Title of host publication	Proceedings of the 4th International Workshop on Ontology Dynamics
Editors	Giorgos Flouris, Guilin Qi
Publisher	CEUR-WS.org
Number of pages	14
Publication status	Published - 20 Oct 2010
Event	4th International Workshop on Ontology Dynamics - Shanghai, China Duration: 8 Nov 2010 → 8 Nov 2010 Conference number: 4

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS
Volume	651
ISSN (Electronic)	1613-0073

Workshop

Workshop	4th International Workshop on Ontology Dynamics
Abbreviated title	IWOD 2010
Country/Territory	China
City	Shanghai
Period	8/11/10 → 8/11/10

Access to Document

http://ceur-ws.org/Vol-651/Licence: All Rights Reserved

Cite this

@inproceedings{93eb7c5c45d14260add81ab0aa5e518b,

title = "Ontological Stream Reasoning via Syntactic Approximation",

abstract = "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.",

author = "Yuan Ren and Pan, {Jeff Z} and Yuting Zhao",

year = "2010",

month = oct,

day = "20",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

editor = "Giorgos Flouris and Guilin Qi",

booktitle = "Proceedings of the 4th International Workshop on Ontology Dynamics",

note = "4th International Workshop on Ontology Dynamics, IWOD 2010 ; Conference date: 08-11-2010 Through 08-11-2010",

}

TY - GEN

T1 - Ontological Stream Reasoning via Syntactic Approximation

AU - Ren, Yuan

AU - Pan, Jeff Z

AU - Zhao, Yuting

N1 - Conference code: 4

PY - 2010/10/20

Y1 - 2010/10/20

N2 - 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.

AB - 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.

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

BT - Proceedings of the 4th International Workshop on Ontology Dynamics

A2 - Flouris, Giorgos

A2 - Qi, Guilin

PB - CEUR-WS.org

T2 - 4th International Workshop on Ontology Dynamics

Y2 - 8 November 2010 through 8 November 2010

ER -

Ontological Stream Reasoning via Syntactic Approximation

Abstract

Publication series

Workshop

Access to Document

Fingerprint

Cite this