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 |