首页|Effective and fast module extraction for nonempty ABoxes
Effective and fast module extraction for nonempty ABoxes
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
NSTL
Elsevier
A deductive module of a knowledge base KB is a subset of KB that preserves a specified class of consequences. Module extraction is applied in ontology design, debugging, and reasoning. The locality-based module extractors of the OWL API are less effective when the knowledge base contains facts such as ABox assertions. The competing module extractor PrisM computes smaller modules at the cost of higher computation time. In this paper, we introduce and study a novel module extraction technique, called conditional module extraction, that can be applied to satisfiable SRIQ(D) knowledge bases. Experimental analysis shows that conditional module extraction constitutes an appealing alternative to PrisM and to the locality-based extractors of the OWL API, when the ABox is nonempty.
Description logicsModule extraction
Piero Andrea Bonatti、Francesco Magliocca、Iliana Mineva Petrova、Luigi Sauro
展开 >
Dept of Electrical Eng. and Information Technologies, Universita di Napoli Federico Ⅱ, Italy
Dept of Mathematics and Applications 'Renato Caccioppoli', Universita. di Napoti Federico Ⅱ, Italy
NETL
NSTL
Elsevier
