ResearchSpace

Module-theoretic properties of reachability modules for SRIQ

Show simple item record

dc.contributor.author Nortje, R
dc.contributor.author Britz, K
dc.contributor.author Meyer, T
dc.date.accessioned 2013-11-06T09:15:18Z
dc.date.available 2013-11-06T09:15:18Z
dc.date.issued 2013-07
dc.identifier.citation Nortje, R, Britz, K and Meyer, T. 2013. Module-theoretic properties of reachability modules for SRIQ. In: 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013 en_US
dc.identifier.uri http://www.cair.za.net/sites/default/files/outputs/DL2013.pdf
dc.identifier.uri http://hdl.handle.net/10204/7034
dc.description 26th International Workshop on Description Logics (DL2013), Germany, 23-26 July 2013 en_US
dc.description.abstract 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 robustness properties of syntactic locality modules and preserve all justifications for an entailment. en_US
dc.language.iso en en_US
dc.publisher CAIR (Centre for Artificial Intelligence Research) en_US
dc.relation.ispartofseries Workflow;11668
dc.subject Ontologies en_US
dc.subject Modularization en_US
dc.subject Description logics en_US
dc.title Module-theoretic properties of reachability modules for SRIQ en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Nortje, R., Britz, K., & Meyer, T. (2013). Module-theoretic properties of reachability modules for SRIQ. CAIR (Centre for Artificial Intelligence Research). http://hdl.handle.net/10204/7034 en_ZA
dc.identifier.chicagocitation Nortje, R, K Britz, and T Meyer. "Module-theoretic properties of reachability modules for SRIQ." (2013): http://hdl.handle.net/10204/7034 en_ZA
dc.identifier.vancouvercitation Nortje R, Britz K, Meyer T, Module-theoretic properties of reachability modules for SRIQ; CAIR (Centre for Artificial Intelligence Research); 2013. http://hdl.handle.net/10204/7034 . en_ZA
dc.identifier.ris TY - Conference Presentation AU - Nortje, R AU - Britz, K AU - Meyer, T AB - 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 robustness properties of syntactic locality modules and preserve all justifications for an entailment. DA - 2013-07 DB - ResearchSpace DP - CSIR KW - Ontologies KW - Modularization KW - Description logics LK - https://researchspace.csir.co.za PY - 2013 T1 - Module-theoretic properties of reachability modules for SRIQ TI - Module-theoretic properties of reachability modules for SRIQ UR - http://hdl.handle.net/10204/7034 ER - en_ZA


Files in this item

Thumbnail
Name: Nortje1_2013.pdf
Size: 332.1Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record