ResearchSpace
→
Browsing by Subject

Browsing by Subject "Modularization"

Now showing items 1-2 of 2

Module-theoretic properties of reachability modules for SRIQ

Author: Nortje, R ; Britz, K ; Meyer, T Date: Jul 2013 In this paper we investigate the module-theoretic properties of bot and top-reachability modules in terms of inseparability relations for the DL SRIQ. We show that, although these modules are not depleting or self-contained, they share the ... Read more
A normal form for hypergraph-based module extraction for SROIQ

Author: Nortje, R ; Britz, K ; Meyer, T Date: Dec 2012 Modularization is an important part of the modular design and maintenance of large scale ontologies. Syntactic locality modules, with their desirable model theoretic properties, play an ever increasing role in the design of algorithms for ... Read more

Now showing items 1-2 of 2

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Subject "Modularization"

Browsing by Subject "Modularization"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect