Nalaganje...

Module Extraction for Efficient Object Queries over Ontologies with Large ABoxes

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

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
izdano v:Artif Intell Appl
Main Authors: Xu, Jia, Shironoshita, Patrick, Visser, Ubbo, John, Nigel, Kabuka, Mansur
Format: Artigo
Jezik:Inglês
Izdano: 2015
Teme:
Online dostop:https://ncbi.nlm.nih.gov/pmc/articles/PMC4736732/
https://ncbi.nlm.nih.gov/pubmed/26848490
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.15764/AIA.2015.01002
Oznake: Označite
Brez oznak, prvi označite!