Publications

Export 2 results:
Filters: Keyword is Reasoning  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Reasoning
D. Carral, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.PDF icon PhD Dissertation Carral.pdf (578.29 KB)
A. Eberhart, Ebrahimi, M., Zhou, L., Shimizu, C., and Hitzler, P., “Completion Reasoning Emulation for the Description Logic EL+”, Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, vol. 2600. CEUR-WS.org, Stanford University, Palo Alto, California, USA, 2020.PDF icon paper5.pdf (1.89 MB)