Journal article

Unchain My EL Reasoner.

Abstract:: We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a "left-linear" way in analogy with the well-known procedure for computing the transitive closure of a binary relation. We introduce a notion of left-admissibility for a set of RIAs, which specifies when a subset of RIAs can be used in a left-linear way without loosing consequences, prove a criterion which can be used to effectively check this property, and describe some preliminary experimental results analyzing when the restricted procedure can give practical improvements.

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Kazakov, Y., Krötzsch, M., & Simancik, F. (2011). Unchain My EL Reasoner. Description Logics, 745, 202–212.

MLA Style

Kazakov, Y., et al. “Unchain My EL Reasoner.” Description Logics, edited by R Rosati et al., vol. 745, CEUR-WS.org, 2011, pp. 202–12.

Chicago Style

Kazakov, Y, M Krötzsch, and F Simancik. 2011. “Unchain My EL Reasoner.” Edited by R Rosati, S Rudolph, and M Zakharyaschev. Description Logics 745: 202–12.
Share
Print

Authors

+ Kazakov, Y More by this author

Role:: Author

+ Krötzsch, M More by this author

Role:: Author

+ Simancik, F More by this author

Role:: Author

Contributors

Role:: Editor

Role:: Editor

+ Zakharyaschev, M

Role:: Editor

Publisher:: CEUR-WS.org
Journal:: Description Logics More from this journal
Volume:: 745
Pages:: 202-212
Publication date:: 2011-01-01
ISSN:: 1613-0073

Language:: English
Pubs id:: pubs:385253
UUID:: uuid:7e05e7f6-9424-4e1f-8cbb-46a681d5c537
Local pid:: pubs:385253
Source identifiers:: 385253
Deposit date:: 2013-11-17

Terms of use

Copyright date:: 2011

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP