Module extraction for inexpressive description logics
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 algo...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
2011
|
| Subjects: | |
| Online Access: | Nortje, Riku (2011) Module extraction for inexpressive description logics, University of South Africa, Pretoria, <http://hdl.handle.net/10500/4876> http://hdl.handle.net/10500/4876 |