Institutional Repository

Module extraction for inexpressive description logics

Show simple item record

dc.contributor.advisor Britz, Katarina
dc.contributor.advisor Meyer, Thomas Andreas
dc.contributor.author Nortje, Riku
dc.date.accessioned 2011-10-03T08:39:09Z
dc.date.available 2011-10-03T08:39:09Z
dc.date.issued 2011-08
dc.identifier.citation Nortje, Riku (2011) Module extraction for inexpressive description logics, University of South Africa, Pretoria, <http://hdl.handle.net/10500/4876> en
dc.identifier.uri http://hdl.handle.net/10500/4876
dc.description.abstract Module extraction is an important reasoning task, aiding in the design, reuse and maintenance of ontologies. Reasoning services such as subsumption testing and MinA extraction have been shown to bene t from module extraction methods. Though various syntactic traversal-based module extraction algorithms exist for extracting modules, many only consider the subsumee of a subsumption statement as a selection criterion for reducing the axioms in the module. In this dissertation we extend the bottom-up reachability-based module extraction heuristic for the inexpressive Description Logic EL, by introducing a top-down version of the heuristic which utilises the subsumer of a subsumption statement as a selection criterion to minimize the number of axioms in a module. Then a combined bidirectional heuristic is introduced which uses both operands of a subsumption statement in order to extract very small modules. We then investigate the relationship between MinA extraction and bidirectional reachabilitybased module extraction. We provide empirical evidence that bidirectional reachability-based module extraction for subsumption entailments in EL provides a signi cant reduction in the size of modules for almost no additional costs in the running time of the original algorithms. en
dc.format.extent 1 online resource (vi, 109 leaves) : illustrations en
dc.language.iso en en
dc.subject.ddc 006.332
dc.subject.lcsh Description logics en
dc.subject.lcsh Ontologies (Information retrieval) en
dc.title Module extraction for inexpressive description logics en
dc.type Dissertation en
dc.description.department Computer Science
dc.description.degree M. Sc. (Computer Science)


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


Browse

My Account

Statistics