Deciding Unifiability And Computing Local Unifiers In The Description Logic EL Without Top Constructor.pdf
"Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor" is owned and hosted by ins.jku.at, this file has been downloaded 49 times, the last time was in 2024-12-13.
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt and Barbara Morawska is the creator of BBBM-NDJFL15.pdf.
The pdf has been created in 2014-01-06, if you want to preview or download it, just click the link below.
| Download | ||
| Title | Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor | |
| File Name | BBBM-NDJFL15.pdf - 466.29 KB | |
| Pages | 34 pages | |
| Owner | ins.jku.at | |
| Author | Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt and Barbara Morawska | |
| Creation date | 11 years ago | |
| Nb of downloads | 49 | |
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor" does not meet your expectations, we invite you to take a look at the similar files below :