Display options
Cite
Xu J, Shironoshita P, Visser U, et al. Module Extraction for Efficient Object Queries over Ontologies with Large ABoxes. Artif Intell Appl. 2015;2(1):8-31doi: 10.15764/AIA.2015.01002.
Xu, J., Shironoshita, P., Visser, U., John, N., & Kabuka, M. (2015). Module Extraction for Efficient Object Queries over Ontologies with Large ABoxes. Artificial intelligence and applications (Commerce, Calif.), 2(1), 8-31. https://doi.org/10.15764/AIA.2015.01002
Xu, Jia, et al. "Module Extraction for Efficient Object Queries over Ontologies with Large ABoxes." Artificial intelligence and applications (Commerce, Calif.) vol. 2,1 (2015): 8-31. doi: https://doi.org/10.15764/AIA.2015.01002
Xu J, Shironoshita P, Visser U, John N, Kabuka M. Module Extraction for Efficient Object Queries over Ontologies with Large ABoxes. Artif Intell Appl. 2015 Feb;2(1):8-31. doi: 10.15764/AIA.2015.01002. PMID: 26848490; PMCID: PMC4736732.
Copy Download .nbib Format: NLM
Share it on

Artif Intell Appl. 2015 Feb;2(1):8-31. doi: 10.15764/AIA.2015.01002.

Module Extraction for Efficient Object Queries over Ontologies with Large ABoxes.

Artificial intelligence and applications (Commerce, Calif.)

Jia Xu, Patrick Shironoshita, Ubbo Visser, Nigel John, Mansur Kabuka

Affiliations

  1. Electrical and Computer Engineering Department, University of Miami, Coral Gables, FL 33146.
  2. Department of Computer Science, University of Miami, Coral Gables, FL 33146.

PMID: 26848490 PMCID: PMC4736732 DOI: 10.15764/AIA.2015.01002

Abstract

The extraction of logically-independent fragments out of an ontology ABox can be useful for solving the tractability problem of querying ontologies with large ABoxes. In this paper, we propose a formal definition of an ABox module, such that it guarantees complete preservation of facts about a given set of individuals, and thus can be reasoned independently w.r.t. the ontology TBox. With ABox modules of this type, isolated or distributed (parallel) ABox reasoning becomes feasible, and more efficient data retrieval from ontology ABoxes can be attained. To compute such an ABox module, we present a theoretical approach and also an approximation for

Keywords: ABox Module; Ontology Querying; SHIQ

References

  1. Nat Biotechnol. 2010 Sep;28(9):935-42 - PubMed
  2. BMC Bioinformatics. 2011 Jun 24;12:257 - PubMed

Publication Types

Grant support