dc.contributor.author |
Nortje, R
|
|
dc.contributor.author |
Britz, K
|
|
dc.contributor.author |
Meyer, T
|
|
dc.date.accessioned |
2010-08-18T11:18:53Z |
|
dc.date.available |
2010-08-18T11:18:53Z |
|
dc.date.issued |
2009-12 |
|
dc.identifier.citation |
Nortje, R, Britz, K, and Meyer, T. 2009. Finding EL+ justifications using the Earley parsing algorithm. 5th Australasian Ontology Workshop (AOW 2009), Melbourne, Australia, 1 December 2009. Published in 'Conferences in Research and Practice in Information Technology (CRPIT)' series, vol. 112, pp 10 |
en |
dc.identifier.isbn |
9781920682910 |
|
dc.identifier.uri |
http://ksg.meraka.org.za/~aow2009/aow09-preproceedings.pdf
|
|
dc.identifier.uri |
http://ksg.meraka.org.za/~aow2009/Nortje-ea_AOW2009.pdf
|
|
dc.identifier.uri |
http://hdl.handle.net/10204/4156
|
|
dc.description |
5th Australasian Ontology Workshop (AOW 2009), Melbourne, Australia, 1 December 2009 |
en |
dc.description.abstract |
Module extraction plays an important role in the reuse of ontologies as well as in the simplification and optimization of some reasoning tasks such as finding justifications for entailments. In this paper the authors focus on the paper of extracting small modules for EL+ entailment based on reachability. The authors extend the current notion of forward reachability to obtain a bi-directional version, and show that the bi-directional reachability algorithm allows the authors to transform EL+ ontology into a reachability preserving context free grammar (CFG). The well known earley algorithm for parsing strings, given some CFG, is then applied to the problem of extracting minimal reachability-based axiom sets for subsumption entailments. The author has shown that each reachability-based axiom set produced by the early algorithm corresponds to a possible Minimal Axiom Set (Mena) that preserves the given entailment. This approach has two advantages - it has the potential to reduce the number of subsumption tests performed during MinA during extraction, as well to minimize the number of axioms for each such test. |
en |
dc.language.iso |
en |
en |
dc.subject |
Ontologies |
en |
dc.subject |
Earley parsing algorithm |
en |
dc.subject |
Context free grammar |
en |
dc.subject |
CFG |
en |
dc.subject |
Minimal axiom set |
en |
dc.subject |
MinA |
en |
dc.subject |
5th Australasian Ontology Workshop |
en |
dc.subject |
AOW 2009 |
en |
dc.title |
Finding EL+ justifications using the Earley parsing algorithm |
en |
dc.type |
Conference Presentation |
en |
dc.identifier.apacitation |
Nortje, R., Britz, K., & Meyer, T. (2009). Finding EL+ justifications using the Earley parsing algorithm. http://hdl.handle.net/10204/4156 |
en_ZA |
dc.identifier.chicagocitation |
Nortje, R, K Britz, and T Meyer. "Finding EL+ justifications using the Earley parsing algorithm." (2009): http://hdl.handle.net/10204/4156 |
en_ZA |
dc.identifier.vancouvercitation |
Nortje R, Britz K, Meyer T, Finding EL+ justifications using the Earley parsing algorithm; 2009. http://hdl.handle.net/10204/4156 . |
en_ZA |
dc.identifier.ris |
TY - Conference Presentation
AU - Nortje, R
AU - Britz, K
AU - Meyer, T
AB - Module extraction plays an important role in the reuse of ontologies as well as in the simplification and optimization of some reasoning tasks such as finding justifications for entailments. In this paper the authors focus on the paper of extracting small modules for EL+ entailment based on reachability. The authors extend the current notion of forward reachability to obtain a bi-directional version, and show that the bi-directional reachability algorithm allows the authors to transform EL+ ontology into a reachability preserving context free grammar (CFG). The well known earley algorithm for parsing strings, given some CFG, is then applied to the problem of extracting minimal reachability-based axiom sets for subsumption entailments. The author has shown that each reachability-based axiom set produced by the early algorithm corresponds to a possible Minimal Axiom Set (Mena) that preserves the given entailment. This approach has two advantages - it has the potential to reduce the number of subsumption tests performed during MinA during extraction, as well to minimize the number of axioms for each such test.
DA - 2009-12
DB - ResearchSpace
DP - CSIR
KW - Ontologies
KW - Earley parsing algorithm
KW - Context free grammar
KW - CFG
KW - Minimal axiom set
KW - MinA
KW - 5th Australasian Ontology Workshop
KW - AOW 2009
LK - https://researchspace.csir.co.za
PY - 2009
SM - 9781920682910
T1 - Finding EL+ justifications using the Earley parsing algorithm
TI - Finding EL+ justifications using the Earley parsing algorithm
UR - http://hdl.handle.net/10204/4156
ER -
|
en_ZA |