ResearchSpace

Reachability modules for the description logic SRIQ

Show simple item record

dc.contributor.author Nortje, R
dc.contributor.author Britz, K
dc.contributor.author Meyer, T
dc.date.accessioned 2014-05-06T12:33:46Z
dc.date.available 2014-05-06T12:33:46Z
dc.date.issued 2013-12
dc.identifier.citation Nortje, R, Britz, K and Meyer, T. 2013. Reachability modules for the description logic SRIQ. In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) 19 Conference, 14-19 December 2013, Stellenbosch, South Africa en_US
dc.identifier.uri http://www.cair.za.net/sites/default/files/outputs/lpar-19.pdf
dc.identifier.uri http://link.springer.com/chapter/10.1007%2F978-3-642-45221-5_42
dc.identifier.uri http://hdl.handle.net/10204/7391
dc.description Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) 19 Conference, 14-19 December 2013, Stellenbosch, South Africa en_US
dc.description.abstract In this paper we investigate module extraction for the Description Logic SRIQ. We formulate modules in terms of the reachability problem for directed hypergraphs. Using inseperability relations, we investigate the module-theoretic properties of reachability modules and show by means of an empirical evaluation that these modules have the potential of being substantially smaller than syntactic locality modules. en_US
dc.language.iso en en_US
dc.publisher Springer Verlag en_US
dc.relation.ispartofseries Workflow;12369
dc.subject SRIQ description logic en_US
dc.subject Hypergraphs en_US
dc.subject Syntactic locality modules en_US
dc.title Reachability modules for the description logic SRIQ en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Nortje, R., Britz, K., & Meyer, T. (2013). Reachability modules for the description logic SRIQ. Springer Verlag. http://hdl.handle.net/10204/7391 en_ZA
dc.identifier.chicagocitation Nortje, R, K Britz, and T Meyer. "Reachability modules for the description logic SRIQ." (2013): http://hdl.handle.net/10204/7391 en_ZA
dc.identifier.vancouvercitation Nortje R, Britz K, Meyer T, Reachability modules for the description logic SRIQ; Springer Verlag; 2013. http://hdl.handle.net/10204/7391 . en_ZA
dc.identifier.ris TY - Conference Presentation AU - Nortje, R AU - Britz, K AU - Meyer, T AB - In this paper we investigate module extraction for the Description Logic SRIQ. We formulate modules in terms of the reachability problem for directed hypergraphs. Using inseperability relations, we investigate the module-theoretic properties of reachability modules and show by means of an empirical evaluation that these modules have the potential of being substantially smaller than syntactic locality modules. DA - 2013-12 DB - ResearchSpace DP - CSIR KW - SRIQ description logic KW - Hypergraphs KW - Syntactic locality modules LK - https://researchspace.csir.co.za PY - 2013 T1 - Reachability modules for the description logic SRIQ TI - Reachability modules for the description logic SRIQ UR - http://hdl.handle.net/10204/7391 ER - en_ZA


Files in this item

Thumbnail
Name: Nortje_2013_ABSTRACT ...
Size: 5.742Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record