Subject Terms: SRIQ description logic, Hypergraphs, Syntactic locality modules
File Description: application/pdf
Relation: Workflow;12369; 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; http://www.cair.za.net/sites/default/files/outputs/lpar-19.pdf; http://link.springer.com/chapter/10.1007%2F978-3-642-45221-5_42; http://hdl.handle.net/10204/7391
Availability:
http://hdl.handle.net/10204/7391
http://www.cair.za.net/sites/default/files/outputs/lpar-19.pdf
