@Techreport{ma2006prwoaatpr, author = "Yue Ma and Pascal Hitzler and Zuoquan Lin", institution = "AIFB, University of Karlsruhe", title = "Paraconsistent Reasoning with OWL - Algorithms and the ParOWL Reasoner", year = "2006", }