Optimising ontology stream reasoning with truth maintenance system

Yuan Ren, Jeff Z. Pan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

51 Citations (Scopus)

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 languageEnglish
Title of host publicationCIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management
PublisherAssociation for Computing Machinery (ACM)
Pages831-836
Number of pages6
ISBN (Print)9781450307178
DOIs
Publication statusPublished - 13 Dec 2011
Event20th ACM Conference on Information and Knowledge Management, CIKM'11 - Glasgow, United Kingdom
Duration: 24 Oct 201128 Oct 2011

Conference

Conference20th ACM Conference on Information and Knowledge Management, CIKM'11
CountryUnited Kingdom
CityGlasgow
Period24/10/1128/10/11

Fingerprint

Ontology
System maintenance
Semantic web
Language
Management system
Description logics
Knowledge dynamics
Evaluation

Keywords

  • ontology
  • stream reasoning
  • truth maintenance system

ASJC Scopus subject areas

  • Decision Sciences(all)
  • Business, Management and Accounting(all)

Cite this

Ren, Y., & Pan, J. Z. (2011). Optimising ontology stream reasoning with truth maintenance system. In CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management (pp. 831-836). Association for Computing Machinery (ACM). https://doi.org/10.1145/2063576.2063696

Optimising ontology stream reasoning with truth maintenance system. / Ren, Yuan; Pan, Jeff Z.

CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management. Association for Computing Machinery (ACM), 2011. p. 831-836.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ren, Y & Pan, JZ 2011, Optimising ontology stream reasoning with truth maintenance system. in CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management. Association for Computing Machinery (ACM), pp. 831-836, 20th ACM Conference on Information and Knowledge Management, CIKM'11, Glasgow, United Kingdom, 24/10/11. https://doi.org/10.1145/2063576.2063696
Ren Y, Pan JZ. Optimising ontology stream reasoning with truth maintenance system. In CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management. Association for Computing Machinery (ACM). 2011. p. 831-836 https://doi.org/10.1145/2063576.2063696
Ren, Yuan ; Pan, Jeff Z. / Optimising ontology stream reasoning with truth maintenance system. CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management. Association for Computing Machinery (ACM), 2011. pp. 831-836
@inproceedings{41440925b7464a79b426cae08877472e,
title = "Optimising ontology stream reasoning with truth maintenance system",
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.",
keywords = "ontology, stream reasoning, truth maintenance system",
author = "Yuan Ren and Pan, {Jeff Z.}",
year = "2011",
month = "12",
day = "13",
doi = "10.1145/2063576.2063696",
language = "English",
isbn = "9781450307178",
pages = "831--836",
booktitle = "CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management",
publisher = "Association for Computing Machinery (ACM)",
address = "United States",

}

TY - GEN

T1 - Optimising ontology stream reasoning with truth maintenance system

AU - Ren, Yuan

AU - Pan, Jeff Z.

PY - 2011/12/13

Y1 - 2011/12/13

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

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

KW - ontology

KW - stream reasoning

KW - truth maintenance system

UR - http://www.scopus.com/inward/record.url?scp=83055191288&partnerID=8YFLogxK

U2 - 10.1145/2063576.2063696

DO - 10.1145/2063576.2063696

M3 - Conference contribution

SN - 9781450307178

SP - 831

EP - 836

BT - CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management

PB - Association for Computing Machinery (ACM)

ER -