Nortje, RBritz, KMeyer, T2013-03-252013-03-252012-12Nortje, R, Britz, K and Meyer, T. 2012. A normal form for hypergraph-based module extraction for SROIQ. In: 8th Australasian Ontology Workshop, Sydney, Australia, 4 December 2012http://www.cair.za.net/research/outputs/normal-form-hypergraph-based-module-extraction-sroiqhttp://hdl.handle.net/10204/65958th Australasian Ontology Workshop, Sydney, Australia, 4 December 2012. Published in CAIR 2012Modularization 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 modularization, partitioning and reasoning tasks such as classification. It has been shown that, for the DL EL+, the syntactic locality module extraction problem is equivalent to the reachability problem for hypergraphs. In this paper we investigate and introduce a normal form for the DL SROIQ which allows us to map any SROIQ ontology to an equivalent hypergraph. We then show that standard hyperpath search algorithms can be used to extract modules similar to syntactic locality modules for SROIQ ontologies.enModularizationModularizationSROIQ ontologiesConference PresentationNortje, R., Britz, K., & Meyer, T. (2012). A normal form for hypergraph-based module extraction for SROIQ. Centre for Artificial Intelligence Research. http://hdl.handle.net/10204/6595Nortje, R, K Britz, and T Meyer. "A normal form for hypergraph-based module extraction for SROIQ." (2012): http://hdl.handle.net/10204/6595Nortje R, Britz K, Meyer T, A normal form for hypergraph-based module extraction for SROIQ; Centre for Artificial Intelligence Research; 2012. http://hdl.handle.net/10204/6595 .TY - Conference Presentation AU - Nortje, R AU - Britz, K AU - Meyer, T AB - 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 modularization, partitioning and reasoning tasks such as classification. It has been shown that, for the DL EL+, the syntactic locality module extraction problem is equivalent to the reachability problem for hypergraphs. In this paper we investigate and introduce a normal form for the DL SROIQ which allows us to map any SROIQ ontology to an equivalent hypergraph. We then show that standard hyperpath search algorithms can be used to extract modules similar to syntactic locality modules for SROIQ ontologies. DA - 2012-12 DB - ResearchSpace DP - CSIR KW - Modularization KW - Modularization KW - SROIQ ontologies LK - https://researchspace.csir.co.za PY - 2012 T1 - A normal form for hypergraph-based module extraction for SROIQ TI - A normal form for hypergraph-based module extraction for SROIQ UR - http://hdl.handle.net/10204/6595 ER -