Publications
“Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog”, Logical Methods in Computer Science, vol. 8, 2012.
type-elimination-2012.pdf (368.62 KB)
, 
“Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.
PhD Dissertation Carral.pdf (578.29 KB)
, 