Parallelization of conjunctive query answering over ontologies

E. Patrick Shironoshita, Da Zhang, Mansur R. Kabuka, Jia Xu

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

Abstract

Efficient query answering over Description Logic (DL) ontologies with very large datasets is becoming increasingly vital. Recent years have seen the development of various approaches to ABox partitioning to enable parallel processing. Instance checking using the enhanced most specific concept (MSC) method is a particularly promising approach. The applicability of these distributed reasoning methods to typical ontologies has been shown mainly through anecdotal observation. In this paper, we present a parallelizable, enhanced MSC method for the answering of ABox conjunctive queries, using a set of syntactic conditions that permit querying of large practical ontologies in reasonable time, and combining it with pattern matching to answer queries over role assertions. We also present execution time and efficiency of an implementation deployed over computing clusters of various sizes, showing the ability of the method to process instance checking for large scale datasets.

Original languageEnglish (US)
Title of host publicationInformation Management and Big Data - 4th Annual International Symposium, SIMBig 2017, Revised Selected Papers
PublisherSpringer Verlag
Pages1-14
Number of pages14
ISBN (Print)9783319905952
DOIs
StatePublished - Jan 1 2018
Event4th Annual International Symposium on Information Management and Big Data, SIMBig 2017 - Lima, Peru
Duration: Sep 4 2017Sep 6 2017

Publication series

NameCommunications in Computer and Information Science
Volume795
ISSN (Print)1865-0929

Other

Other4th Annual International Symposium on Information Management and Big Data, SIMBig 2017
CountryPeru
CityLima
Period9/4/179/6/17

Fingerprint

Parallelization
Ontology
Query
Cluster computing
Pattern matching
Syntactics
Cluster Computing
Description Logics
Pattern Matching
Parallel Processing
Assertion
Large Data Sets
Execution Time
Partitioning
Reasoning
Processing
Concepts

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Cite this

Shironoshita, E. P., Zhang, D., Kabuka, M. R., & Xu, J. (2018). Parallelization of conjunctive query answering over ontologies. In Information Management and Big Data - 4th Annual International Symposium, SIMBig 2017, Revised Selected Papers (pp. 1-14). (Communications in Computer and Information Science; Vol. 795). Springer Verlag. https://doi.org/10.1007/978-3-319-90596-9_1

Parallelization of conjunctive query answering over ontologies. / Shironoshita, E. Patrick; Zhang, Da; Kabuka, Mansur R.; Xu, Jia.

Information Management and Big Data - 4th Annual International Symposium, SIMBig 2017, Revised Selected Papers. Springer Verlag, 2018. p. 1-14 (Communications in Computer and Information Science; Vol. 795).

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

Shironoshita, EP, Zhang, D, Kabuka, MR & Xu, J 2018, Parallelization of conjunctive query answering over ontologies. in Information Management and Big Data - 4th Annual International Symposium, SIMBig 2017, Revised Selected Papers. Communications in Computer and Information Science, vol. 795, Springer Verlag, pp. 1-14, 4th Annual International Symposium on Information Management and Big Data, SIMBig 2017, Lima, Peru, 9/4/17. https://doi.org/10.1007/978-3-319-90596-9_1
Shironoshita EP, Zhang D, Kabuka MR, Xu J. Parallelization of conjunctive query answering over ontologies. In Information Management and Big Data - 4th Annual International Symposium, SIMBig 2017, Revised Selected Papers. Springer Verlag. 2018. p. 1-14. (Communications in Computer and Information Science). https://doi.org/10.1007/978-3-319-90596-9_1
Shironoshita, E. Patrick ; Zhang, Da ; Kabuka, Mansur R. ; Xu, Jia. / Parallelization of conjunctive query answering over ontologies. Information Management and Big Data - 4th Annual International Symposium, SIMBig 2017, Revised Selected Papers. Springer Verlag, 2018. pp. 1-14 (Communications in Computer and Information Science).
@inproceedings{4073f3b2745f4adca8e4abe225ff552b,
title = "Parallelization of conjunctive query answering over ontologies",
abstract = "Efficient query answering over Description Logic (DL) ontologies with very large datasets is becoming increasingly vital. Recent years have seen the development of various approaches to ABox partitioning to enable parallel processing. Instance checking using the enhanced most specific concept (MSC) method is a particularly promising approach. The applicability of these distributed reasoning methods to typical ontologies has been shown mainly through anecdotal observation. In this paper, we present a parallelizable, enhanced MSC method for the answering of ABox conjunctive queries, using a set of syntactic conditions that permit querying of large practical ontologies in reasonable time, and combining it with pattern matching to answer queries over role assertions. We also present execution time and efficiency of an implementation deployed over computing clusters of various sizes, showing the ability of the method to process instance checking for large scale datasets.",
author = "Shironoshita, {E. Patrick} and Da Zhang and Kabuka, {Mansur R.} and Jia Xu",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-319-90596-9_1",
language = "English (US)",
isbn = "9783319905952",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "1--14",
booktitle = "Information Management and Big Data - 4th Annual International Symposium, SIMBig 2017, Revised Selected Papers",
address = "Germany",

}

TY - GEN

T1 - Parallelization of conjunctive query answering over ontologies

AU - Shironoshita, E. Patrick

AU - Zhang, Da

AU - Kabuka, Mansur R.

AU - Xu, Jia

PY - 2018/1/1

Y1 - 2018/1/1

N2 - Efficient query answering over Description Logic (DL) ontologies with very large datasets is becoming increasingly vital. Recent years have seen the development of various approaches to ABox partitioning to enable parallel processing. Instance checking using the enhanced most specific concept (MSC) method is a particularly promising approach. The applicability of these distributed reasoning methods to typical ontologies has been shown mainly through anecdotal observation. In this paper, we present a parallelizable, enhanced MSC method for the answering of ABox conjunctive queries, using a set of syntactic conditions that permit querying of large practical ontologies in reasonable time, and combining it with pattern matching to answer queries over role assertions. We also present execution time and efficiency of an implementation deployed over computing clusters of various sizes, showing the ability of the method to process instance checking for large scale datasets.

AB - Efficient query answering over Description Logic (DL) ontologies with very large datasets is becoming increasingly vital. Recent years have seen the development of various approaches to ABox partitioning to enable parallel processing. Instance checking using the enhanced most specific concept (MSC) method is a particularly promising approach. The applicability of these distributed reasoning methods to typical ontologies has been shown mainly through anecdotal observation. In this paper, we present a parallelizable, enhanced MSC method for the answering of ABox conjunctive queries, using a set of syntactic conditions that permit querying of large practical ontologies in reasonable time, and combining it with pattern matching to answer queries over role assertions. We also present execution time and efficiency of an implementation deployed over computing clusters of various sizes, showing the ability of the method to process instance checking for large scale datasets.

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

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

U2 - 10.1007/978-3-319-90596-9_1

DO - 10.1007/978-3-319-90596-9_1

M3 - Conference contribution

SN - 9783319905952

T3 - Communications in Computer and Information Science

SP - 1

EP - 14

BT - Information Management and Big Data - 4th Annual International Symposium, SIMBig 2017, Revised Selected Papers

PB - Springer Verlag

ER -