A Customized ILP-Based Solver for Description Logic Reasoners
Artificial intelligence based systems are known for conveying knowledge through machines. This knowledge is often represented using logic representation languages. One of the well-known families of such languages is called Description Logic (DL) which formally reasons and represents knowledge on the...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2014
|
| Online Access: | http://spectrum.library.concordia.ca/978501/1/Mina_Kazemi_Zanjani.pdf Kazemi Zanjani, Mina <http://spectrum.library.concordia.ca/view/creators/Kazemi_Zanjani=3AMina=3A=3A.html> (2014) A Customized ILP-Based Solver for Description Logic Reasoners. Masters thesis, Concordia University. |